c++中如何使用std::exchange_c++替换值并返回旧值的方法【实例】

std::exchange是C++14引入的utility工具函数，用于原子地赋新值并返回旧值，比手写临时变量更简洁、异常安全且语义明确。

std::exchange 是什么，为什么不用手写临时变量

std::exchange 是 C++14 引入的实用工具函数，定义在 头文件中。它的作用是：**原子地把一个对象的新值赋给它，并返回它的旧值**。比起手动写三行（保存旧值 → 赋新值 → 返回旧值），它更简洁、异常安全，且语义明确。

常见误用是把它当成“交换两个变量”的函数——它只操作单个对象，和 std::swap 完全不同。

基本用法与参数类型要求

std::exchange 模板签名是：

temp
late
T exchange(T& obj, U&& new_val);

第一个参数是左值引用，第二个是右值引用（支持完美转发）。返回类型是 T，即原对象的类型。

关键点：

• 不能对 const 对象调用（obj 必须可修改）
• new_val 会按需移动或拷贝——如果 T 支持移动构造/赋值，且 U 是临时对象，通常触发移动
• 若 T 的赋值操作可能抛异常，std::exchange 不提供强异常保证（和直接赋值一致）

典型使用场景示例

下面三个例子覆盖最常遇到的情况：

1. 智能指针所有权转移并保留旧指针

#include 
#include 

std::unique_ptr ptr = std::make_unique(42);
std::unique_ptr old_ptr = std::exchange(ptr, nullptr); // ptr 变成 nullptr，old_ptr 指向原对象

2. 容器清空并获取旧内容（如 vector）

std::vector v = {"a", "b", "c"};
auto old_v = std::exchange(v, {}); // v 变为空，old_v 是原 vector（移动构造）

3. 状态标志翻转并记录前值

bool flag = true;
bool was_flag = std::exchange(flag, false); // was_flag == true，flag == false

容易踩的坑和兼容性注意

几个实际编码中容易出错的地方：

• 忘记包含 —— 编译报错类似 'exchange' is not a member of 'std'
• 对字面量或临时量调用：std::exchange(42, 100) 非法，因为第一个参数必须是可修改的左值
• 跨线程使用时，std::exchange 本身不提供线程安全——它只是普通赋值+返回，如需原子性，应配合 std::atomic::exchange()
• C++14 以下标准不支持；Clang/GCC/MSVC 均从对应 C++14 模式起可用，但 MSVC 2013 及更早版本无此函数

真正要注意的是：它解决的不是“并发安全”，而是“表达意图”和“避免重复代码”。一旦你发现自己在写 T old = x; x = y; return old;，就该换成 std::exchange(x, y)。