移动构造函数通过右值引用转移资源,避免深拷贝,提升性能;其参数为T&&,需将原对象资源接管并置空,保证可析构,同时应实现移动赋值运算符保持一致性,使用noexcept确保标准库优化,若未定义拷贝或析构函数,编译器可能自动生成移动操作,建议显式声明以确保行为正确。

移动构造函数是C++11引入的重要特性,用于高效转移临时对象(右值)的资源,避免不必要的深拷贝。在管理动态资源(如堆内存、文件句柄等)时,使用移动构造可以显著提升性能。
移动构造的基本概念
移动构造函数的参数是右值引用(T&&),它接收即将被销毁的对象资源,并将其“移动”到新对象中,而不是复制。原对象在移动后应处于可析构的合法状态。
典型声明形式:
MyClass(MyClass&& other) noexcept;关键字 noexcept 很重要,它告诉标准库该构造函数不会抛出异常,某些容器操作(如vector扩容)会优先使用无异常的移动构造。
立即学习“C++免费学习笔记(深入)”;
资源转移的实现方式
以管理动态数组的类为例,说明如何正确实现移动构造:
private:
char* data;
size_t size;
public:
// 移动构造函数
MyString(MyString&& other) noexcept
: data(other.data), size(other.size) {
other.data = nullptr; // 关键:防止原对象释放资源
other.size = 0;
}
};
关键点:
- 将other的指针直接赋值给新对象
- 将other.data置为nullptr,避免原对象析构时释放已被接管的内存
- 确保移动后other仍可安全析构
需要同时实现移动赋值运算符
如果定义了移动构造,通常也应定义移动赋值运算符,保持类行为一致:
MyString& operator=(MyString&& other) noexcept {if (this != &other) {
delete[] data; // 释放当前资源
data = other.data;
size = other.size;
other.data = nullptr;
other.size = 0;
}
return *this;
}
编译器自动生成条件
如果类没有显式定义析构函数、拷贝构造、拷贝赋值,编译器可能自动生成移动构造和移动赋值。但一旦定义了拷贝操作或析构函数,移动操作将不再自动生成。
建议:明确使用 = default 或手动实现,以确保预期行为。
基本上就这些。正确实现移动语义,能显著提升C++程序性能,尤其是在处理临时对象和容器操作时。核心是资源所有权的转移,而非复制。










