当类管理独占资源（如堆内存、文件句柄等）且需避免深拷贝时，必须显式定义 move 构造函数；若已遵循“三/五法则”写了拷贝控制函数，则大概率需补 move 版本。
怎么判断一个类需要写 move 构造函数
当类管理了堆内存、文件句柄、socket、unique_ptr 等独占资源，且你希望对象在返回值、容器插入、std::sort 等场景中避免深拷贝时，就需要 move 构造函数。否则编译器默认只生成拷贝版本，std::vector 扩容或 std::make_unique 返回临时对象时都会触发不必要的拷贝。
典型信号：你写了自定义的拷贝构造函数和 operator=（即遵循“三法则”或“五法则”），那大概率也要补上 move 版本。
- 资源持有者（如含
int*,FILE*,std::Thread）必须显式移动，不能靠编译器自动生成（c++11 默认不生成 move 成员） - 若类只有内置类型或标准容器（如
std::String,std::vector），且没写拷贝控制函数，编译器通常会自动生成高效的 move 构造函数（C++11 起） - 写了 move 构造函数后，编译器不再自动生成拷贝构造函数——除非你显式声明
= default
move 构造函数的标准写法与常见错误
核心原则：把源对象的资源指针/句柄“偷过来”，再把源对象置为有效但可析构的状态（如指针设为 nullptr）。不能调用 delete 或 close()，也不能让源对象析构时二次释放。
class Buffer { int* data_; size_t size_; public: // move 构造函数：参数是右值引用 Buffer(Buffer&& other) noexcept : data(other.data), size(other.size) { other.data = nullptr; // 关键：置空，防止 other 析构时 delete 原指针 other.size = 0; }
// move 赋值运算符：先清理自己，再“偷”对方资源 Buffer& operator=(Buffer&& other) noexcept { if (this != &other) { // 自赋值检查（虽少见，但安全起见） delete[] data_; data_ = other.data_; size_ = other.size_; other.data_ = nullptr; other.size_ = 0; } return *this; } ~Buffer() { delete[] data_; }
};
立即学习“C++免费学习笔记（深入）”；
- 务必加
noexcept：否则std::vector在扩容时可能退化为拷贝而非移动（因为异常安全要求） - 参数必须是
Buffer&&，不是const Buffer&&——你需要修改源对象状态 - 忘记置空
other.data_是最常见 crash 原因：两个对象析构时都delete[]同一块内存 - 不要在 move 构造函数里调用
new或malloc：这不是“构造并初始化”，而是“接管已有资源”
什么时候 move 赋值运算符会失效
move 赋值不会自动触发，它只在明确使用 std::move()、或绑定到右值引用时启用。但以下情况会让它“静默降级”为拷贝：
- 源对象是具名变量（lvalue），却没套
std::move()：buf1 = buf2;调用的是拷贝赋值，不是 move 赋值 - move 赋值运算符没声明
noexcept，而容器（如std::vector::resize）要求强异常安全时，会选择拷贝 - 类继承自基类，但基类的 move 赋值未正确转发：
Base::operator=(std::move(other.base_member))忘了写，导致基类部分被拷贝 - 成员中有不可移动类型（如
std::Array<:mutex>），整个类的 move 运算符会被隐式删除
验证是否生效？在 move 构造函数里加 std::cout ，然后测试 return Buffer(1024); 或 v.push_back(Buffer(1024)); —— 如果没输出，说明没走 move 路径。
std::move() 本身不移动，只是类型转换
std::move(x) 只是一个强制类型转换函数，把 x（lvalue）转成 T&&（xvalue），从而匹配 move 构造函数或 move 赋值运算符的签名。它不调用任何 move 操作，也不保证资源转移发生。
- 对基本类型（
int,double）调用std::move()没意义，编译器会直接优化掉 - 对已定义 move 构造函数的类，
std::move()是启用它的“钥匙”；没定义，则退化为拷贝（如果拷贝可用） - 误用：写
std::move(obj)后继续访问obj的资源（如obj.data_），结果未定义——因为 move 后对象处于“有效但未指定状态” - 别在返回语句里多此一举：
return std::move(buf);是反模式（C++17 guaranteed copy elision 已覆盖多数场景，且可能阻碍 NRVO）
真正容易被忽略的是：move 语义的收益依赖于你是否真的管理了昂贵资源。给一个只含三个 int 成员的 Struct 加 move 函数，不仅没性能提升，还增加维护负担和出错风险。