自动生成默认/复制/移动 ctor 和复制/移动分配运算符的条件？

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

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

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

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

我发现下面的图表非常有用。

来自 Sticky Bits - 成为零英雄的规则

C++17 N4659标准草案

有关快速交叉标准参考，请查看以下 cppreference 条目的“隐式声明”部分：

• https://en.cppreference.com/w/cpp/language/copy_constructor
• https://en.cppreference.com/w/cpp/language/move_constructor
• https://en.cppreference.com/w/cpp/language/copy_assignment
• https://en.cppreference.com/w/cpp/language/move_assignment

当然，可以从标准中获得相同的信息。例如，在 C++17 N4659 标准草案中：

15.8.1 “复制/移动构造函数”表示 对于复制构造函数：

6 如果类定义未显式声明复制构造函数，则隐式声明非显式构造函数。 如果类定义声明移动构造函数或移动赋值运算符，则隐式声明的副本 构造函数定义为已删除;否则，它被定义为默认值 （11.4）。如果出现以下情况，则不推荐使用后一种情况 该类具有用户声明的复制赋值运算符或用户声明的析构函数。

对于移动构造函数：

8 如果类 X 的定义没有显式声明移动构造函数，则非显式构造函数将隐式声明 当且仅当

• (8.1) — X 没有用户声明的复制构造函数，

• (8.2) — X 没有用户声明的复制赋值运算符，

• (8.3) — X 没有用户声明的移动赋值运算符，并且

• (8.4) — X 没有用户声明的析构函数。

15.8.2 “复制/移动分配运算符”表示：

2 如果类定义未显式声明复制赋值运算符，则隐式声明一个。 如果类定义声明移动构造函数或移动赋值运算符，则隐式声明 复制赋值运算符定义为已删除;否则，它被定义为默认值 （11.4）。后者 如果类具有用户声明的复制构造函数或用户声明的析构函数，则不推荐使用案例。

对于移动分配：

4 如果类 X 的定义没有显式声明移动赋值运算符，则隐式 当且仅当

• （4.1） — X 没有用户声明的复制构造函数，
• （4.2） — X 没有用户声明的移动构造函数，
• （4.3） — X 没有用户声明的复制分配运算符，并且
• （4.4） — X 没有用户声明的析构函数。

15.4 “析构函数”对析构函数是这样说的：

4 如果一个类没有用户声明的析构函数，则析构函数将隐式声明为默认值 （11.4）。一 隐式声明的析构函数是其类的内联公共成员。