移动赋值运算符必须声明为T& operator=(T&& other) noexcept，检查自赋值，掏空源对象并置空资源指针，正确移动所有成员（含C风格资源），否则标准容器可能退化为拷贝赋值。
移动赋值运算符的签名和 noexcept 声明必须正确
移动赋值运算符不是随便加个 operator= 就行，它必须是右值引用参数、返回 *this 引用、且通常要加 noexcept。否则标准容器（比如 std::vector）在扩容时可能拒绝调用它，退而使用拷贝赋值，性能直接掉一档。
常见错误是写成：T& operator=(T&& other) 却没加 noexcept；或者漏掉 &&，写成 T& operator=(T other) —— 这其实是传值，会触发拷贝构造，完全不是移动。
- 正确签名：
T& operator=(T&& other) noexcept - 必须检查自赋值（
this == &other），尤其当类管理裸指针或 FILE* 等资源时，不检查会导致释放后又释放 - 如果类有虚函数或继承关系，移动赋值一般不应是
virtual；派生类需显式定义自己的移动赋值，否则编译器生成的版本只移动基类部分
资源转移时要“掏空”源对象
移动的本质不是复制，是把源对象的资源“拿走”，并让源对象处于可析构、可赋值的状态。比如持有 int* 的类，移动赋值后，源对象的指针必须置为 nullptr，否则它的析构函数会二次 delete。
别用 std::move(other.member) 来“再移动一次”——other 已经是右值引用，直接用 other.member 即可；std::move 在这里多余，还可能误导自己以为还能用 other.member 后续操作（其实不能）。
- 典型模式：先释放当前资源（如
delete[] data_），再接管other.data_，最后设other.data_ = nullptr - 如果成员本身支持移动（如
std::string、std::vector），直接赋值即可：str_ = std::move(other.str_)—— 这里std::move是必要的，因为other.str_是左值表达式 - 别忘了移动所有资源成员，包括句柄、锁、FILE*、unique_fd 等，漏一个就可能泄漏或崩溃
编译器生成的移动赋值可能不满足需求
当类没有显式定义移动赋值，且满足一定条件（无用户定义的析构函数/拷贝构造/拷贝赋值），编译器才可能生成默认移动赋值。但一旦你写了析构函数（比如要 fclose() 一个 FILE*），编译器就不再生成移动赋值——这时如果没手动写，obj = std::move(other) 实际调用的是拷贝赋值，甚至编译失败（若拷贝被删除）。
- 检查方式：加一句
static_assert(std::is_move_assignable_v，编译不过就说明没移动赋值可用) - 如果类只有普通成员（全是
std::string、int、std::unique_ptr），且没自定义析构，那可以删掉手写的移动赋值，靠编译器生成 - 但如果用了
malloc/new[]、C 风格资源、或需要特殊清理逻辑，就必须手写，并确保把源对象“掏空”
测试移动赋值是否真被调用
光看代码不保险。实际运行中，移动赋值是否生效取决于上下文：比如 std::vector::push_back(std::move(x)) 是否触发移动，还要看 vector 当前容量是否足够；而 v[0] = std::move(x) 才是明确调用移动赋值。
- 在移动赋值函数里加日志（如
std::cout ），配合std::move调用验证 - 注意：返回语句必须是
return *this;，不是return std::move(*this);—— 后者会产生额外移动，且返回的是临时对象，破坏链式赋值（a = b = c） - 移动后源对象的状态只要满足“可安全析构、可再次赋值”即可，不必清零所有字段；但像
std::vector的实现会把size_和capacity_都设为 0，这是常见实践，不是强制要求
移动赋值真正难的不是语法，是厘清“谁负责释放”“谁该留空”“哪些状态必须重置”。尤其混用 C 资源和 RAII 成员时，稍不注意，移动完源对象析构就崩。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
