MSDN文章《如何编写移动构造函数》提供了以下建议。
如果为类提供了移动构造函数和移动分配运算符，则可以通过编写移动构造函数来调用移动分配运算符以消除冗余代码。以下示例展示了一个修订后的移动构造函数版本，该版本调用移动分配运算符：
// Move constructor.
MemoryBlock(MemoryBlock&& other)
: _data(NULL)
, _length(0)
{
*this = std::move(other);
}
这段代码会不会浪费效率，因为它对MemoryBlock的值进行了两次初始化？还是编译器可以优化掉额外的初始化？我的移动构造函数是否应该总是调用移动赋值运算符来编写？
[...]编译器能够消除额外的初始化吗？
几乎在所有情况下都可以。
我应该总是通过调用移动赋值运算符来编写移动构造函数吗？
是的，除非您测量了它会导致次优性能的情况。
今天的优化器在优化代码方面做得非常出色。您的示例代码尤其易于优化。首先：移动构造函数在几乎所有情况下都将被内联。如果您通过移动赋值运算符实现它，那么该函数也将被内联。
让我们看看一些汇编代码！这里展示了具有手动和通过移动赋值操作符两种版本的移动构造函数的Microsoft网站上的精确代码。这是使用-O的GCC的汇编输出（-O1具有相同的输出；clang的输出导致相同的结论）：
; ===== manual version ===== | ; ===== via move-assig =====
MemoryBlock(MemoryBlock&&): | MemoryBlock(MemoryBlock&&):
mov QWORD PTR [rdi], 0 | mov QWORD PTR [rdi], 0
mov QWORD PTR [rdi+8], 0 | mov QWORD PTR [rdi+8], 0
| cmp rdi, rsi
| je .L1
mov rax, QWORD PTR [rsi+8] | mov rax, QWORD PTR [rsi+8]
mov QWORD PTR [rdi+8], rax | mov QWORD PTR [rdi+8], rax
mov rax, QWORD PTR [rsi] | mov rax, QWORD PTR [rsi]
mov QWORD PTR [rdi], rax | mov QWORD PTR [rdi], rax
mov QWORD PTR [rsi+8], 0 | mov QWORD PTR [rsi+8], 0
mov QWORD PTR [rsi], 0 | mov QWORD PTR [rsi], 0
| .L1:
ret | rep ret
除了为右版本添加的分支外，代码完全相同。意思是：删除了重复的赋值。
为什么需要额外的分支？如微软页面所定义的移动赋值运算符比移动构造函数做更多的工作：它可以防止自我赋值。移动构造函数没有这个保护。但是：正如我已经说过的，构造函数在几乎所有情况下都会被内联。在这些情况下，优化器可以看到它不是自我赋值，因此这个分支也将被优化掉。
这一点被反复强调，但很重要：不要进行过早的微观优化！
别误会我，我也讨厌由于懒惰或草率的开发人员或管理决策而浪费大量资源的软件。节约能源不仅关乎电池，也是一个环境问题，我非常热衷于此。但是，过早地进行微观优化并不有助于这方面！当然，将大型数据的算法复杂度和缓存友好性记在脑后。但在进行任何特定的优化之前，请先进行度量！
在这种情况下，我甚至猜想您永远不必手动优化，因为编译器总是能够在移动构造函数周围生成最佳代码。现在进行无用的微观优化将会在以后需要更改两个位置的代码或需要调试仅因更改一个位置的代码而发生的奇怪错误时浪费您的开发时间。这是可以用于做有用的优化的开发时间浪费。
我不会这样做。移动成员存在的原因是为了性能。对于你的移动构造函数来说，这样做就像买了一辆超跑花费巨资，然后试图通过购买普通汽油来节省钱。
如果您想减少编写的代码量，只需不编写移动成员即可。在移动上下文中，您的类将仍然可以正常复制。
如果你想让你的代码具有高性能，那么请尽可能使你的移动构造函数和移动赋值函数快速执行。良好的移动成员将非常快速，您可以通过计算加载、存储和分支次数来评估它们的速度。如果您可以用4个load/store代替8个来编写某些内容，请这样做！如果您可以编写无分支的东西而不是1个，请这样做！
当您（或您的客户）将您的类放入std::vector时，可能会生成很多移动操作。即使您的移动速度非常快，也要考虑使用仅需4个或6个load/store就能使其速度提高两倍甚至提高50%。
个人认为，我已经厌倦了看到等待光标，愿意再多花5分钟编写代码并知道它的速度尽可能快。
如果您仍然不确定是否值得这样做，请同时编写两种方式，然后在完全优化后检查生成的汇编代码。谁知道？你的编译器可能已经足够聪明了，可以为您优化额外的加载和存储。但到那个时候，您已经投入了比一开始编写优化的移动构造函数更多的时间。
这是我用C++11编写的MemoryBlock类。
#include <algorithm>
#include <vector>
// #include <stdio.h>
class MemoryBlock
{
public:
explicit MemoryBlock(size_t length)
: length_(length),
data_(new int[length])
{
// printf("allocating %zd\n", length);
}
~MemoryBlock() noexcept
{
delete[] data_;
}
// copy constructor
MemoryBlock(const MemoryBlock& rhs)
: MemoryBlock(rhs.length_) // delegating to another ctor
{
std::copy(rhs.data_, rhs.data_ + length_, data_);
}
// move constructor
MemoryBlock(MemoryBlock&& rhs) noexcept
: length_(rhs.length_),
data_(rhs.data_)
{
rhs.length_ = 0;
rhs.data_ = nullptr;
}
// unifying assignment operator.
// move assignment is not needed.
MemoryBlock& operator=(MemoryBlock rhs) // yes, pass-by-value
{
swap(rhs);
return *this;
}
size_t Length() const
{
return length_;
}
void swap(MemoryBlock& rhs)
{
std::swap(length_, rhs.length_);
std::swap(data_, rhs.data_);
}
private:
size_t length_; // note, the prefix underscore is reserved.
int* data_;
};
int main()
{
std::vector<MemoryBlock> v;
// v.reserve(10);
v.push_back(MemoryBlock(25));
v.push_back(MemoryBlock(75));
v.insert(v.begin() + 1, MemoryBlock(50));
}
使用正确的C++11编译器，在测试程序中应仅调用MemoryBlock::MemoryBlock(size_t)三次。
swap()和移动构造函数（基本上是使用空/未初始化的lhs对象对swap()进行特化）。因此，如果需要swap()方法，则您的版本很好。如果不需要它，则无法避免代码重复！请注意，一些建议甚至进一步建议对移动构造函数也使用swap()，首先通过默认构造函数创建一个空对象，然后“交换”移入的对象。 - Kai Petzke*this = std::forward<MemoryBlock>(other);
std::forward 用于模板中，当你不知道是否可以移动对象时使用。它的作用是使代码更通用和高效。 - aschepler这取决于你的移动赋值运算符做了什么。如果你看一下你链接到的那篇文章中的代码，你会发现其中的一部分是：
// Free the existing resource.
delete[] _data;
_data，那么你最终会尝试删除一个未初始化的指针。因此，在这个例子中，无论是否高效，实际上都至关重要的是你确实初始化这些值。:_data(other._data)，则无需初始化两次该值。 - Elliot Hatch我会简单地取消成员初始化并写成：
MemoryBlock(MemoryBlock&& other)
{
*this = std::move(other);
}
这将始终有效，除非移动赋值引发异常，而通常不会！
这种风格的优点：
我认为@Howard的帖子并没有完全回答这个问题。实际上，类经常不喜欢复制，许多类只是禁用复制构造函数和复制赋值。但是，即使不能复制，大多数类也可以移动。