C++中的std::exchange是什么？（如何在移动构造函数中优雅地实现值交换）

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 的写法，而是想清楚：这个成员移交后，源对象是否还能安全析构？有没有其它成员依赖它的状态？这些细节不靠工具函数兜底，得人来把关。