std::exchange不是原子操作，仅是泛型赋值工具；原子替换须用std::atomic::exchange等成员函数，且需包含<utility>头文件。
std::exchange 用来安全替换变量值，但不是原子操作
很多人看到 std::exchange 名字里带“exchange”，又常和 std::atomic 一起出现，就默认它是线程安全的——其实完全不是。std::exchange 只是标准库提供的一个泛型工具函数，本质就是“取旧值 + 赋新值”，不带任何同步语义。它在单线程下很顺手，在多线程里直接用，等于裸写 old = x; x = new_val;，竞态风险照旧。
常见错误现象：
– 多线程反复调用 std::exchange(ptr, nullptr) 清理指针，结果某个线程读到中间态（ptr 已被置空但还没来得及处理原对象）；
– 和 std::atomic<t>::load()</t> 混用，误以为 std::exchange(atomic_var, val) 会触发原子交换——实际它只是对 atomic_var 对象本身调用赋值和取值，不保证底层存储的原子性。
- 适用场景：资源移交（如智能指针所有权转移）、状态重置（如清空容器后保留旧引用）、函数返回前保存旧值
- 性能影响：零开销抽象，编译器通常内联为几条 mov 指令
- 注意
T必须可移动或可拷贝；对const类型、无拷贝/移动构造的类型会编译失败
想原子替换，必须用 std::atomic::exchange 或 std::atomic::compare_exchange
真正做原子替换，得靠 std::atomic 成员函数，而不是 std::exchange。比如把一个整数原子地换成新值并拿到旧值，该用 std::atomic<int>::exchange()</int>：
std::atomic<int> counter{0};
int old = counter.exchange(42); // 原子操作：返回旧值 0，counter 变成 42
常见错误现象：
– 写成 std::exchange(counter, 42)，结果调用的是 std::exchange(std::atomic<int>&, int)</int>，底层仍是非原子的赋值+读取；
– 忘记 std::atomic 变量不能直接传给需要普通 int& 的函数，导致编译报错 no matching function for call to 'exchange'。
立即学习“C++免费学习笔记（深入）”；
-
exchange()是“无条件原子替换”，适合简单覆盖场景 -
compare_exchange_weak()/compare_exchange_strong()用于 CAS（比较并交换），适合实现锁、计数器、无锁栈等 - 所有
std::atomic成员操作默认使用memory_order_seq_cst，如需性能优化，可显式指定内存序（但别乱动，容易出错）
std::exchange 和 std::move 配合时的坑
std::exchange 经常和 std::move 一起用，比如转移 std::unique_ptr 所有权。这时候要注意：它只负责“把旧值移出来”，不负责“新值怎么来”。如果新值本身是临时对象，没问题；但如果新值是另一个左值，可能意外触发拷贝（而你本意是移动）。
std::unique_ptr<int> a = std::make_unique<int>(1); std::unique_ptr<int> b = std::make_unique<int>(2); auto old_a = std::exchange(a, std::move(b)); // ✅ 正确：b 被移走，a 接收 b 的所有权
但下面这段就有问题：
std::unique_ptr<int> a = std::make_unique<int>(1); std::unique_ptr<int> b = std::make_unique<int>(2); auto old_a = std::exchange(a, b); // ❌ 编译失败：unique_ptr 不可拷贝
- 只要目标类型支持移动赋值，
std::exchange(x, y)就会尝试移动y；如果y是左值且类型不可拷贝，就会报错 - 别指望
std::exchange自动帮你加std::move——它不会改参数的值类别 - 对自定义类型，确保移动构造/赋值函数标记为
noexcept，否则某些标准库实现可能退化为拷贝
兼容性与头文件：C++14 起有，但别漏掉 <utility>
std::exchange 是 C++14 引入的，但很多老项目还在用 C++11 工具链，直接用会编译失败。另外，它不在 <iostream> 或 <algorithm> 里，必须显式包含 <utility> ——漏掉这个头文件，GCC/Clang 报错信息往往只说“未声明的标识符”，不容易联想到缺头文件。
- C++11 项目中可用等效实现：
template<class T, class U=T> T exchange(T& obj, U&& new_val) { T old = std::move(obj); obj = std::forward<U>(new_val); return old; } - MSVC 2015 Update 3 起支持；GCC 5.1+；Clang 3.5+
- 不要依赖 ADL（参数依赖查找）——
exchange不在命名空间std外重载，也不建议自己在std里加
最易忽略的一点：当你在模板里用 std::exchange 处理类型推导时，如果 T 是 const 限定或引用类型，编译器可能推导失败或行为不符合直觉——这种边界情况，宁可拆成两行显式操作，也别强求一行简洁。
