移动构造函数签名必须为T(T&&),不可加const或省略&&;核心是“掏空”源对象资源并置为可析构状态;需显式定义且建议加noexcept以供STL高效使用。

移动构造函数的签名必须是 T(T&&)
它接收一个右值引用参数,不能加 const(否则无法修改源对象的内部资源),也不能省略 &&(写成 T(T&) 就变成拷贝构造了)。编译器不会自动生成带资源管理的移动构造函数,哪怕你只写了拷贝构造,也得手动补上这个签名。
常见错误:把参数写成 const T&&——这虽然语法合法,但会导致 std::move(src.member) 无法调用非 const 成员函数或移动赋值,资源拿不走;或者漏掉 &&,结果调用的是拷贝构造,深拷贝开销白费。
核心操作是「掏空」源对象,不是复制
移动构造的本质是把源对象的资源(如指针、文件描述符、std::vector 内部缓冲区)直接接管过来,然后把源对象置为有效但可析构的状态(比如指针设为 nullptr,size 设为 0)。它不分配新内存,也不拷贝数据。
- 对原始指针成员:
ptr_ = other.ptr_; other.ptr_ = nullptr; - 对
std::vector成员:直接vec_ = std::move(other.vec_);(标准容器已实现移动语义) - 对
FILE*或 fd:转移句柄后,把other.fd_ = -1;,避免双重 close - 千万别写
ptr_ = new int(*other.ptr_);——那是拷贝,不是移动
需要显式声明并定义,且常配合 noexcept
如果你的类管理动态资源,编译器默认不生成移动构造函数(C++11 起只有在没用户声明任何拷贝/移动操作、且所有成员可移动时才隐式生成)。所以必须自己写。加上 noexcept 很关键:STL 容器(如 std::vector::resize)在重分配时,会优先使用 noexcept 的移动构造来搬元素;否则退化为拷贝,性能断崖下跌。
示例:
T(T&& other) noexcept
: ptr_(other.ptr_), vec_(std::move(other.vec_)) {
other.ptr_ = nullptr;
}
注意:如果移动过程中可能抛异常(比如某成员移动构造体抛了),就不能加 noexcept,但这时 STL 会回避移动,实际中应尽量让移动操作不抛异常。
移动后源对象仍需满足析构安全
移动构造完成后,other 对象可能随时被析构。它的析构函数必须能处理“已被掏空”的状态(比如对 nullptr 指针 delete 是安全的,但对野指针 delete 就崩溃)。这是最容易被忽略的一环:很多人只顾着“拿走”,忘了“善后”。
- 原始指针成员:务必置
nullptr,析构里检查if (ptr_) delete ptr_; - 自定义句柄类:移动后设为无效值(如
-1,INVALID_HANDLE_VALUE) - 不要假设移动后源对象“不会再被访问”——标准明确要求它处于“valid but unspecified state”
没清空源对象的指针,析构时 double-delete 是高频 crash 原因。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











