1. 为什么我们需要移动构造函数？
在C++中，对象拷贝是一个常见的操作，但传统的拷贝构造函数在处理大型对象或资源密集型对象时存在明显的性能问题。让我们从一个简单的例子开始：
cpp复制class HeavyObject {
int* data;
size_t size;
public:
// 普通构造函数
HeavyObject(size_t s) : size(s), data(new int[s]) {}
// 拷贝构造函数
HeavyObject(const HeavyObject& other) : size(other.size), data(new int[other.size]) {
std::copy(other.data, other.data + size, data);
}
~HeavyObject() { delete[] data; }
};
当我们需要传递这样的对象时，传统的拷贝构造函数会进行深拷贝，这意味着它会分配新的内存并复制所有数据。对于大型对象，这种操作会消耗大量CPU时间和内存带宽。
1.1 拷贝构造的性能瓶颈
考虑以下场景：
cpp复制HeavyObject createHeavyObject() {
HeavyObject obj(1000000); // 分配100万个int的空间
// 填充数据...
return obj;
}
int main() {
HeavyObject o = createHeavyObject();
// ...
}
在C++11之前，这段代码可能会导致：
- 函数内创建临时对象
- 返回时构造一个临时副本
- 用临时副本构造main中的o
- 销毁所有临时对象
总共进行了至少2次完整的内存分配和数据拷贝，而实际上我们只需要一份数据。
1.2 右值引用的引入
C++11引入了右值引用(&&)的概念，允许我们识别那些"即将被销毁"的临时对象。这些对象持有的资源可以被"移动"而非"拷贝"。这就是移动语义的核心思想。
cpp复制class HeavyObject {
// ... 其他成员同上 ...
// 移动构造函数
HeavyObject(HeavyObject&& other) noexcept
: size(other.size), data(other.data) {
other.data = nullptr; // 防止原对象析构时释放资源
other.size = 0;
}
};
移动构造函数"窃取"了源对象的资源，而不是创建新副本。这避免了不必要的内存分配和数据拷贝，显著提高了性能。
2. 移动构造函数的实现细节
2.1 基本实现模式
一个典型的移动构造函数遵循以下模式：
cpp复制ClassName(ClassName&& other) noexcept
: member1(std::move(other.member1)), // 对成员也应用移动语义
member2(std::move(other.member2)) {
// 将源对象置于有效但可析构状态
other.m