c++ - C++11 中的高效算术运算符重载

Question

我有一个包含多个成员的 POD 结构，我想知道 C++11 中实现其算术运算符的最有效方法。

此结构旨在代替数学上下文中的基元；例如:

template<typename Double>
Double calcSomething(const Double& d0, const Double& d1, const Double& d2)
{
    return d0*d1 + 3*d2 - 6;
}

其中 Double 要么只是一个普通的 double，要么是一个包含所有相关重载运算符的 POD 结构:

struct MyDouble
{
    MyDouble(double a, double b) : _a(a), _b(b) {}
    double _a;
    double _b;
};
MyDouble operator+(const MyDouble& d0, const MyDouble& d1) 
{
    return MyDouble(d0._a + d1._a, d0._b + d1._b);
}

在 C++11 中是否有一种非常好的、有效的方法使用 move 构造函数和右值引用来实现它？请记住，MyDouble 可能是一个大型 POD 结构(即不仅仅是两个 double )。

我想继续讨论没有指针指向堆分配内存的结构。

Answer 1

如果结构不拥有任何其他对象或资源，则 move 语义和复制语义是相同的。即使是 move 构造函数或 move 赋值运算符也需要将所有数据成员复制到目标对象。它只是不必执行深复制，即拥有的子对象只是转移到目标对象，而不是被复制。

如果你的结构真的很大，你可以创建一个持有者类型，它包含一个指向堆分配实例的指针(最好使用 scoped_ptr)。然后，您可以支持该持有人类型的 move - 实际上，如果您使用 scoped_ptr 管理实际实例，我认为您将自动获得 move 支持。