鉴于一个类实际上是可移动的，手动实现类的移动构造函数和移动赋值运算符很快就会变得乏味。
我想知道什么时候这样做实际上是一个沉重、沉重、过早的优化？
例如，如果一个类只有微不足道的 POD 数据或本身定义了移动构造函数和移动赋值运算符的成员，那么我猜编译器要么只是优化大量的垃圾（在POD)，否则使用成员的移动构造函数和移动赋值运算符。
但这能保证吗？在什么情况下我应该期望明确需要实现移动构造函数和移动赋值运算符？
编辑： 正如下面 Nicol Bolas 在https://stackoverflow.com/a/9966105/6345 对他的回答的评论中提到的，使用 Visual Studio 11 Beta（及之前）no 移动构造函数或移动赋值运算符永远自动生成。参考：http://blogs.msdn.com/b/vcblog/archive/2011/09/12/10209291.aspx
【问题讨论】：
标签： c++ optimization c++11 move-semantics
如果您发现自己正在实施，任何一个：
那么你应该问问自己是否需要实施移动构造。如果您“= default”上述任何一项，您应该问自己是否还应该“= default”移动成员。
更重要的是，您应该记录和测试您的假设，例如：
static_assert(std::is_nothrow_default_constructible<A>::value, "");
static_assert(std::is_copy_constructible<A>::value, "");
static_assert(std::is_copy_assignable<A>::value, "");
static_assert(std::is_nothrow_move_constructible<A>::value, "");
static_assert(std::is_nothrow_move_assignable<A>::value, "");
static_assert(std::is_nothrow_destructible<A>::value, "");
【讨论】：
= default 效果的讨论，如果我没记错的话……= default 实际上最终不会生成移动构造函数/赋值吗？
首先，移动语义只对拥有任何类型资源的类有帮助。 “平面”类根本没有从中受益。
接下来，您应该使用“构建块”构建您的类，例如 vector、unique_ptr 等，它们都处理资源的基本低级细节。如果你的类是这样完成的，你根本不需要写任何东西，因为编译器会为你正确地生成成员。
如果您需要为记录等编写析构函数，则将禁用移动 ctor 的生成，因此您需要 T(T&&) = default; 用于支持它的编译器。否则，这是唯一可以自己编写这样一个特殊成员的地方之一（好吧，除非你编写这样一个“积木”）。
请注意，析构函数和构造函数中的日志记录可以更简单地完成。只需从记录构造/破坏的特殊类继承即可。或者让它成为一个成员变量。有了这个：
tl;dr 让编译器为您生成特殊成员。这也适用于复制构造函数和赋值运算符以及析构函数。不要自己写。
（好吧，也许是赋值运算符，如果您可以将它们识别为瓶颈并想要优化它们，或者如果您想要特殊的异常安全或类似的东西。不过，“构建块”应该已经提供了所有这些。）
【讨论】：
unique_ptr和shared_ptr管理你想要的任何东西。
每次默认行为不受欢迎或每次默认行为已被删除但您仍然需要它们时执行此操作。
移动的编译器默认行为是调用成员和基移动。对于平面类/内置类型，这就像复制一样。
问题通常存在于持有指针或值表示资源（如句柄或特定索引等）的类中，其中移动需要将值复制到新位置，但也需要将旧位置设置为某个“空状态”值”可被析构函数识别。在所有其他情况下，默认行为都可以。
当您定义一个副本（并且编译器删除默认移动）或移动（并且编译器删除默认副本）并且您需要它们时，也可能会出现问题。在这些情况下，重新启用默认设置可能就足够了。
【讨论】：
在哪些情况下我应该明确需要实现移动构造函数和移动赋值运算符？
在以下情况下：
当您使用 Visual Studio 10 或 11 时。它们实现 r 值引用，但不编译器生成移动语义。因此，如果您的类型包含需要移动的成员，甚至包含可移动类型（std::unique_ptr 等），您必须自己编写移动。
当您可能需要复制构造函数/赋值运算符和/或析构函数时。如果您的类包含使您手动编写复制逻辑或需要在析构函数中进行特殊清理的内容，则很有可能您也需要移动逻辑。请注意，这包括删除复制机制 (Type(const Type &t) = delete;)。如果您不想复制对象，那么您可能还需要移动逻辑或删除 move 函数。
正如其他人所说，您应该尝试将需要显式移动或复制机制的类型数量保持在最低限度。将这些放在实用程序“叶子”类中，并让您的大多数类依赖于编译器生成的复制和移动函数。除非你使用 VS，否则你不会得到这些......
注意：移动或复制赋值运算符的一个好技巧是按值获取它们：
Type &operator=(Type t) { std::swap(*this, t); return *this; }
如果您这样做，它将在一个函数中涵盖移动和复制分配。您仍然需要单独移动和复制 构造函数，但它确实将您必须编写的函数数量减少到 4 个。
缺点是如果Type 仅由基本类型组成，您实际上复制了两次（第一次复制到参数中，第二次复制到swap）。当然，你必须实现/专门化swap，但这并不难。
【讨论】：
std::string 成员的类，那么编译器将不会自动生成将使用 std::string 自己的移动实现的移动内容？跨度>
对不起。我可能错过了你问题的重点。我将您的问题理解为复制构造函数。
早在 1990 年代，当我学习 C++ 时，我总是被教导在设计类时编写一个复制构造函数。否则，这可能随着编译器的较新版本而改变，C++ 将在需要的情况下为您生成一个复制构造函数。
默认的复制构造函数可能并不总是按照你想要的方式工作。如果您的类包含指针，则尤其如此，或者您不希望默认复制构造函数的默认按字节复制。
最后，我被告知通过编写复制构造函数，您可以精确控制您希望如何复制您的类。
我希望这会有所帮助。
【讨论】：