c++ - 为什么当用户提供 move 构造函数或 move 赋值时，复制构造函数和复制赋值将被删除？

Question

我在看CppCon2014, Michael Caisse, The Canonical Class talk ,在 28'31"，他展示了一个图表，显示当用户提供一些复制控制时，编译器将如何隐式提供或不提供其余部分:

我不太明白带有“删除”的单元格——似乎标准说，当用户提供 move 构造函数或 move 赋值时，复制构造函数和复制赋值将被删除——好的，但为什么呢？

让我们更具体一些。

Q1。当用户提供 move 构造函数时，复制构造函数和复制构造函数将被删除——这是为了避免错误的使用，为构造函数或赋值提供左值，左值变得无效吗？这是明确强制传递给构造函数或赋值的参数作为右值吗？

Q2。当用户提供move assignment时，copy assignment会被删除——这和Q1一样吗？

Q3。当用户提供 move 赋值时，复制构造函数将被删除——为什么这样？ move 赋值似乎不会与复制构造函数混淆？

Answer 1

考虑到一些不幸的历史，这是最不安全的方式。

用户定义析构函数只有一个原因，那就是我们管理的资源本身不是 RAII。如果我们正在管理资源，它不会很好地复制自身(或 move 自身)。这些操作将需要手动管理。

如果我们提供析构函数，语言确实应该隐式删除复制和 move 运算符。不幸的是，早期没有预见到这一点，所以我们制定了规则 3 -“如果定义析构函数，则必须定义复制构造函数和复制赋值”。

这条规则是为了让我们远离语言陷阱。

有一个关闭这个漏洞的提议 (IIRC)，据我所知，它被拒绝了，因为它会破坏太多现有代码(尽管坦率地说，所有这些现有代码都是危险的错误，这本来是没什么不好的)。

所以我们就在原地。原则是，如果您手动管理资源，则必须在所有 5 个操作中管理它。如果您手动编写其中一个操作，则您应该将它们全部编写。

只是为了自动删除复制构造函数/复制赋值，语言仍然是错误的。

答案当然是永远不要手动管理资源。由于我们拥有带有自定义删除器的智能指针，可以为我们管理资源，因此我们很少需要这样做。当我们这样做时，我们应用 5、3 的规则......但我们应该始终更喜欢无规则 - 使用托管资源并且不定义任何析构函数，复制， move 或赋值运算符，只需让编译器做正确的事情