什么时候隐式move构造函数不够好?
我是否应该像对待析构函数和复制构造函数一样对待它,只有在管理自己的内存时才需要它?
隐式移动构造函数在这个(非常人为的)场景中足够好吗?
class A
{
private:
B b;
std::string name;
public:
A();
std::string getName() const {
return name;
}
B getB() const {
return b;
}
};
class B
{
private:
std::vector list;
public:
B();
std::vector getList() const {
return list;
}
};
这里的答案是基于Google搜索的结果。
引自Andrzej的c++博客
>我应该什么时候为我的类定义移动构造函数?
这很大程度上取决于你的类做什么以及它是如何实现的。首先,对于"聚合"类,它只是为了方便/清晰地对其他数据进行分组,move构造函数将由编译器隐式生成。考虑下面的类:
在典型的c++结构体中,许多特殊的成员函数(如复制构造函数、复制赋值函数、析构函数)是自动生成的。这也包括move构造函数(和move赋值)。struct Country { std::string name; std::vector<std::string> cities; };
对于更复杂的类,它们封装了它们的实现细节,答案更有趣。移动语义(移动构造函数,移动赋值)的主要目标之一是为编译器提供两种工具来实现用户定义类型的值语义(按值传递参数,按值返回):
- 用一个物体制造两个相同的物体——这需要很昂贵。
- 将一个对象从一个内存位置移动到另一个内存位置-可以
如果你的类可以实现移动构造函数,它比复制构造函数更快,你应该实现它,以优化运行时的速度。在这个链接中,我们已经看到了如何在vector中实现它。然而,并不是对所有类型都可以实现这样的移动构造函数,它比复制构造函数更快。考虑下面的矩阵表示。
class Matrix { std::complex<long double> data[1000][1000]; };
因为矩阵表示所需的所有内存都是在类范围内声明的(不像vector,它使用堆分配的内存),所以不可能只应用少量的赋值。我们需要对每个数组元素进行复制。定义move构造函数没有意义,因为它不会比复制快。
另一个提供move构造函数的有效理由是,如果您希望启用不可复制的类型(因为它类似raii并代表资源),在不需要复制的地方仍然通过值传递,并存储在STL容器中。这种独特的所有权语义在这个链接中有更详细的解释。
强制性零规则答案:要么设计管理单个资源的类——从而重写move/copy/析构/赋值——要么设计聚合资源管理器且不需要重写的类