c++ - 自动生成默认/复制/移动构造函数和复制/移动赋值运算符的条件？

Question

我想重温一下编译器通常会自动生成默认构造函数、复制构造函数和赋值运算符的条件。

我记得有一些规则，但我不记得了，也无法在网上找到有信誉的资源。谁能帮忙？

Answer 1

在下文中，“自动生成”是指“隐式声明为默认，但未定义为已删除”。在某些情况下，特殊成员函数已声明，但定义为已删除。

• 如果没有用户声明的构造函数 (§12.1/5)，则自动生成默认构造函数。
• 如果没有用户声明的移动构造函数或移动赋值运算符，则自动生成复制构造函数(因为在 C++03 中没有移动构造函数或移动赋值运算符，这在 C++ 中简化为“始终” 03) (§12.8/8).
• 如果没有用户声明的移动构造函数或移动赋值运算符，则自动生成复制赋值运算符 (§12.8/19)。
• 如果没有用户声明的析构函数 (§12.4/4)，则自动生成析构函数。

仅限 C++11 及更高版本:

• 如果没有用户声明的复制构造函数、复制赋值运算符或析构函数，并且生成的移动构造函数有效 (§12.8/10)，则自动生成移动构造函数。
• 如果没有用户声明的复制构造函数、复制赋值运算符或析构函数，并且生成的移动赋值运算符有效(例如，如果它不需要分配常量成员)，则自动生成移动赋值运算符( §12.8/21).