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

std::exchange 是什么,为什么不用手写临时变量
std::exchange 是 C++14 引入的实用工具函数,定义在 <utility> 头文件中。它的作用是:**原子地把一个对象的新值赋给它,并返回它的旧值**。比起手动写三行(保存旧值 → 赋新值 → 返回旧值),它更简洁、异常安全,且语义明确。
常见误用是把它当成“交换两个变量”的函数——它只操作单个对象,和 std::swap 完全不同。
基本用法与参数类型要求
std::exchange 模板签名是:
template<class T, class U = T><br>T exchange(T& obj, U&& new_val);第一个参数是左值引用,第二个是右值引用(支持完美转发)。返回类型是
T,即原对象的类型。
关键点:
立即学习“C++免费学习笔记(深入)”;
- 不能对
const对象调用(obj必须可修改) -
new_val会按需移动或拷贝——如果T支持移动构造/赋值,且U是临时对象,通常触发移动 - 若
T的赋值操作可能抛异常,std::exchange不提供强异常保证(和直接赋值一致)
典型使用场景示例
下面三个例子覆盖最常遇到的情况:
1. 智能指针所有权转移并保留旧指针
#include <memory><br>#include <utility><br><br>std::unique_ptr<int> ptr = std::make_unique<int>(42);<br>std::unique_ptr<int> old_ptr = std::exchange(ptr, nullptr); // ptr 变成 nullptr,old_ptr 指向原对象
2. 容器清空并获取旧内容(如 vector)
std::vector<std::string> v = {"a", "b", "c"};<br>auto old_v = std::exchange(v, {}); // v 变为空,old_v 是原 vector(移动构造)
3. 状态标志翻转并记录前值
bool flag = true;<br>bool was_flag = std::exchange(flag, false); // was_flag == true,flag == false
容易踩的坑和兼容性注意
几个实际编码中容易出错的地方:
- 忘记包含
<utility>—— 编译报错类似'exchange' is not a member of 'std' - 对字面量或临时量调用:
std::exchange(42, 100)非法,因为第一个参数必须是可修改的左值 - 跨线程使用时,
std::exchange本身不提供线程安全——它只是普通赋值+返回,如需原子性,应配合std::atomic<T>::exchange() - C++14 以下标准不支持;Clang/GCC/MSVC 均从对应 C++14 模式起可用,但 MSVC 2013 及更早版本无此函数
真正要注意的是:它解决的不是“并发安全”,而是“表达意图”和“避免重复代码”。一旦你发现自己在写 T old = x; x = y; return old;,就该换成 std::exchange(x, y)。











