当隐式move构造函数不够好时
When are implicit move constructors not good enough?
什么时候隐式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/析构/赋值——要么设计聚合资源管理器且不需要重写的类
- "error: no matching function for call to"构造函数错误
- C++17复制构造函数,在std::unordereded_map上进行深度复制
- 如果C++类在类方法中具有动态分配,但没有构造函数/析构函数或任何非静态成员,那么它仍然是POD类型吗
- 为什么在没有显式默认构造函数的情况下,将另一个结构封装在联合中作为成员的结构不能编译
- 为什么在C++中使用私有复制构造函数与删除复制构造函数
- 选择要调用的构造函数
- 如何委托派生类使用其父构造函数?
- 构造函数正在调用一个使用当前类类型的函数
- 没有用于初始化C++中的变量模板的匹配构造函数
- 初始化具有非默认构造函数的std::数组项的更好方法
- 当从函数参数中的临时值调用复制构造函数时
- 在c++构造函数中使用随机字符串生成器
- 一对向量构造函数:初始值设定项列表与显式构造
- 从构造函数抛出异常时如何克服内存泄漏
- 我不明白为什么我声明一个空的内部结构并将其传递给构造函数
- 继承:构造函数,初始化C++11中基类的类C数组成员
- 具有默认模板类型的默认构造函数的类型推导
- 使用dynamic_cast和构造函数时出错
- 在c++中使用向量时,如何调用构造函数和析构函数
- 当隐式move构造函数不够好时