std::exchange 是 c++14 引入的工具函数，用于原子性地取出对象旧值并设为新值，返回原值；它不等价于 swap 或手动 move+置空，语义更清晰、异常更安全、代码更简洁。
std::exchange 是什么，它和普通赋值有啥区别
std::exchange 是 C++14 引入的工具函数，作用是「把旧值取出来，再塞进新值」——原子性地完成“读旧值 + 写新值”两件事。它不是语法糖，而是有明确语义的工具：返回原值，同时将对象设为新值。
常见错误是把它当 std::swap 用，或者以为它能自动处理移动语义。其实它不交换两个变量，只操作一个左值；它也不决定移动还是拷贝，完全取决于你传进去的右值类型。
- 参数签名是
template<class t class u> T exchange(T& obj, U&& new_val)</class>，返回T类型（即obj的原始类型） - 如果
new_val是右值引用（比如std::move(x)），且T有移动赋值运算符，就会触发移动赋值 - 它比手写临时变量 + 赋值更简洁、更不容易出错，尤其在异常安全场景下
在移动构造函数里怎么用 std::exchange 实现成员接管
移动构造函数的核心目标是“把源对象的资源掏空”，而不是深拷贝。用 std::exchange 可以干净地把指针、容器、智能指针等成员“拿走”，同时把源对象置为有效但空的状态。
典型误用是直接赋值后忘记清空源对象，导致析构时 double-free 或重复释放；或者手动写 std::move + 置空逻辑，啰嗦还容易漏。
立即学习“C++免费学习笔记（深入）”；
- 对裸指针：
ptr_ = std::exchange(other.ptr_, nullptr)—— 安全移交所有权，other.ptr_立刻变nullptr - 对
std::vector：data_ = std::exchange(other.data_, {})—— 移动内容，other.data_变为空容器（不保证容量为 0，但 size 一定是 0） - 对
std::unique_ptr：handle_ = std::exchange(other.handle_, nullptr)—— 等价于std::move+ 置空，但更直白 - 注意：不能对 const 成员或引用成员用
std::exchange，编译不过
为什么不用 std::move + 手动置空，而选 std::exchange
表面上看，data_ = std::move(other.data_); other.data_.clear(); 也能做到类似效果，但问题在于：clear 不一定等价于“清空资源”，比如 std::vector 的 clear() 只清 size，不释放内存；而 std::exchange(other.data_, {}) 明确让 other.data_ 进入默认构造状态，更符合移动后“可析构、不可用”的语义。
- 异常安全：如果
other.data_的移动赋值抛异常，std::exchange已保证other未被修改（因为先取值再赋值，且赋值失败时原值不变） - 语义清晰：看到
std::exchange就知道这是“移交+清空”意图，比两行代码更易维护 - 兼容性：C++14 起可用，所有主流 STL 实现都支持；不需要额外头文件，只需
<utility></utility> - 性能无损耗：编译器通常能内联并优化掉额外开销，和手写等效
容易踩的坑：移动后访问源对象、类型不匹配、忽略返回值
最常发生的崩溃，就是移动构造完还去读 other 的某个成员，以为它还是有效值。实际上 std::exchange 只保证该成员被设为新值（比如 nullptr 或空容器），其它成员完全没动 —— 你得自己确保整个对象处于可析构状态。
- 别对
const对象调用std::exchange：std::exchange(const_obj, x)编译失败 - 别传错类型：比如
std::exchange(ptr_, 42)会尝试把 int 赋给指针，编译报错；要写成std::exchange(ptr_, static_cast<decltype>(nullptr))</decltype>或更简单的nullptr - 别忽略返回值：虽然有时你只想要副作用，但如果你本意是“取出旧值做后续处理”，却忘了接住返回值，逻辑就断了
- 移动构造函数里不要对已 move 的成员再调用
std::exchange—— 比如std::exchange(other.ptr_, nullptr)调一次就够了，重复调用可能把刚设的nullptr又取出来，逻辑混乱
真正难的不是记住 std::exchange 的写法，而是想清楚：这个成员移交后，源对象是否还能安全析构？有没有其它成员依赖它的状态？这些细节不靠工具函数兜底，得人来把关。
