自动生成移动操作的规则是什么？

Question

在 C++98 中，C++ 编译器可以自动通过成员复制生成复制构造函数和复制赋值运算符，例如

struct X {
    std::string s;
    std::vector<int> v;
    int n;
};

编译器自动为X生成复制构造函数和复制赋值运算符，使用成员复制。

但是 C++11 中的移动语义如何改变？

是 move constructor 和 move 赋值运算符 自动生成，比如复制构造函数和复制赋值运算符？

是否存在移动操作不自动生成的情况？

Answer 1

来自标准的 Ch. 12 - 特殊成员函数

Par 12.8 复制和移动类对象（强调我的）

9 .如果类 X 的定义没有显式声明移动构造函数，当且仅当

时，一个将被隐式声明为默认值

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

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

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

— X 没有用户声明的析构函数。

[ 注意：当移动构造函数没有被隐式声明或显式提供时，表达式 否则会调用移动构造函数，可能会调用复制构造函数。 ——尾注]

然后11解释删除默认移动构造函数的规则

11 .隐式声明的复制/移动构造函数是其类的内联公共成员。 如果 X 具有以下条件，则类 X 的默认复制/移动构造函数被定义为已删除 (8.4.3)：

- 具有非平凡对应构造函数的变体成员，并且 X 是类联合类，

- 类类型 M（或其数组）的非静态数据成员，由于重载决议 (13.3) 应用于 M 的相应构造函数，导致歧义或函数被删除或删除，因此无法复制/移动无法从默认构造函数访问，

- 无法复制/移动的直接或虚拟基类 B，因为应用于 B 的相应构造函数的重载解析 (13.3) 会导致歧义或从默认构造函数中删除或无法访问的函数，

——任何直接或虚拟基类或具有析构函数的类型的非静态数据成员，该析构函数已从默认构造函数中删除或不可访问，或者，

——对于复制构造函数，右值引用类型的非静态数据成员。定义为已删除的默认移动构造函数会被重载决议（13.3、13.4）忽略。

[ 注意：删除的移动构造函数会干扰右值的初始化，而右值可以使用复制构造函数。 ——尾注]

---

关于这一切的复杂性*

规则可能有点压倒性。最好使用一些技术绕过复杂性。例子是：

1. 利用rule of zero 来简化大部分课程的编写。
2. （隐式删除）显式默认有问题的特殊成员函数；如果它被隐式定义为删除，编译器会报错。

^{* 我自己 (1) 和 dyp (2) 在 cmets 中取得的分数}

Answer 2

Nikos Athanasiou 给出了一个很好的答案，但我想添加这个我认为非常有用的工具。

这里是 Howard Hinnant 在 ACCU 2014 会议上的演讲 "Everything You Ever Wanted To Know About Move Semantics (and then some)" 的截图，我认为这很好地提醒了自动生成特殊成员的规则：

来自 cmets 的 Hinnant 先生的澄清：

幻灯片上没有说，但红色方块表示已弃用 行为。 IE。如果您不想依赖已弃用的行为， 如果你声明你的析构函数，那么声明你的两个副本成员， 或复制成员之一（基本上遵循C++98/03“规则3”）

我建议阅读the slides 以了解此表的渐进式构造，并详细说明我们现在如何以及为什么拥有此表。

可以在此处找到其他演示文稿：http://accu.org/index.php/articles/1901