c++ - 编译器生成的 Action 的实现

Question

隐式编译器生成的 move 构造函数和 move 赋值运算符是如何由编译器实现的？

编译器是使用带有统一 operator= 的 copy-and-swap 习惯用法(具有强大的异常安全保证)，还是实现了成员明智的 move ？

Answer 1

这是一个成员 move ，就像隐式定义的复制操作执行成员复制一样。参见 12.8 [class.copy] 第 15 和 25 段。

copy-and-swap 对于不可复制类型或不可交换类型是不可能的，您不希望 move 操作依赖于另一个特殊成员或 swap 成员可能不存在或无法按要求工作。