移动语义是资源接管而非内存复制，std::move仅转换为右值引用，由移动构造/赋值函数窃取资源并置空原对象；需noexcept、置空源、不抛异常，且仅对昂贵资源类型有意义。
移动语义不是“把对象搬走”，而是“掏空再移交所有权”
移动语义的本质是资源接管，不是内存复制。当你看到 std::move，它不移动任何字节，只是把一个左值强制转成右值引用，告诉编译器：“这个对象我不要了，你可以拿走它的内部指针、文件描述符或缓冲区”。真正干活的是类的移动构造函数或移动赋值运算符——它们直接窃取资源，把原对象置为有效但未定义状态（比如把 ptr 设为 nullptr）。
常见错误现象：std::move 后还访问原对象成员，结果解引用空指针或读到垃圾值；或者对 int、std::array 这类无动态资源的小类型滥用移动，反而因额外的类型转换和函数调用拖慢性能。
- 只对管理堆内存、文件句柄、网络连接等“昂贵资源”的类型实现移动操作
-
std::move本身不抛异常，但移动构造/赋值是否noexcept很关键：STL 容器在扩容时若要求强异常安全，会退回到拷贝而非移动 - 移动后原对象必须保持可析构、可赋值、可销毁——不能直接
delete ptr就完事，得清空所有裸指针和句柄
怎么写一个安全的移动构造函数？
核心是三件事：偷资源、置空源、不抛异常。以管理堆内存的 Buffer 类为例：
class Buffer {
char* data_;
size_t size_;
public:
Buffer(Buffer&& other) noexcept
: data_(other.data_), size_(other.size_) {
other.data_ = nullptr; // 必须置空！
other.size_ = 0;
}
};
容易踩的坑：
立即学习“C++免费学习笔记（深入）”；
- 漏掉
noexcept：导致std::vector在push_back时不敢移动元素，回退到拷贝 - 没置空源对象：后续对
other调用析构函数会重复delete[] data_，双重释放 - 在移动构造里做深拷贝或分配新内存：那就不是移动，是“假移动真拷贝”
什么时候编译器自动用移动，什么时候必须手写 std::move？
编译器只在“明显不会再被使用”的场景自动触发移动：函数返回局部对象、throw 异常对象、return 表达式末尾的具名变量（C++17 guaranteed copy elision 之前）。但只要变量有名字，就是左值，哪怕它生命周期只剩一行——这时必须显式调用 std::move。
典型误用场景：
- 在循环里对容器元素反复
std::move：迭代器仍指向原位置，但内容已被掏空，下一次解引用崩溃 - 对函数参数用
std::move：参数是左值引用，移动后函数体内再用就出问题 - 把
std::move当“加速开关”乱加：对std::string小字符串优化（SSO）模式下的短字符串，移动和拷贝开销几乎一样
移动语义失效的五个隐蔽原因
写了移动操作 ≠ 能被调用。以下情况会让移动静默降级为拷贝：
- 目标类型没有声明移动构造函数（哪怕你写了，但没加
noexcept或签名不对） - 源对象是
const的：const T&&无法绑定到非 const 移动构造函数 - 继承体系中基类移动操作被隐式删除（例如基类有不可移动成员）
- 模板推导时类型不匹配：
std::vector<t> v{std::move(other)};</t>中other是std::vector<u></u>，无法匹配 - 使用
auto推导后又尝试移动：auto x = std::move(y);→x是T类型，不再是右值引用
最常被忽略的一点：移动操作必须和拷贝操作一样“可见”。如果头文件里只声明了移动构造函数，但定义放在 .cpp 里，而用户在别处包含头文件并创建对象，链接时就会找不到符号——移动根本不会发生，连编译错误都不会报。
