std::swap 是最安全直接的交换方式,适用于内置类型、STL 容器及满足可移动/复制的自定义类型,经高度优化且规避溢出、自交换等未定义行为;应避免手写加减或异或交换,对自定义类需在同命名空间提供 noexcept 非成员 swap 函数以支持 ADL。

用 std::swap 是最安全直接的方式
绝大多数情况下,直接调用 std::swap 就够了。它对内置类型、STL 容器、自定义类型(只要满足可移动或可复制)都适用,且经过高度优化,编译器通常会内联为几条汇编指令。
常见错误是自己手写交换逻辑,结果引入未定义行为(比如用加减法溢出,或异或操作对同一变量取地址)。而 std::swap 完全规避这些风险。
int a = 5, b = 10; std::swap(a, b); // a 变成 10,b 变成 5
- 无需包含额外头文件(C++11 起
已被多数标准库自动引入,但显式#include更稳妥) - 对自定义类,若已定义移动构造/赋值,
std::swap会自动使用移动语义,性能更好 - 不建议对
volatile或位域成员使用std::swap,它不保证原子性或特殊内存语义
手动实现交换时,避免用算术或异或技巧
网上常看到用加减或异或实现“不借助临时变量”的交换,但它们有严重缺陷,实际项目中应禁用。
// ❌ 危险:可能溢出,且当 a 和 b 指向同一对象时行为未定义 a = a + b; b = a - b; a = a - b;// ❌ 危险:当 a 和 b 是同一变量时(如 swap(x, x)),结果为 0 a = a ^ b; b = a ^ b; a = a ^ b;
- 加减法在
int溢出时触发未定义行为(UB),尤其在-ftrapv或某些嵌入式平台会崩溃 - 异或技巧要求
a和b地址不同;若传入swap(x, x),结果是x = 0 - 现代 CPU 寄存器充足,临时变量开销几乎为零;所谓“省空间”纯属过时认知
需要泛型或自定义交换逻辑时,重载 swap 函数
如果你写了一个类,并希望它能被 std::swap 高效处理,应在类所在命名空间中提供非成员 swap 函数(ADL 友好),而不是特化 std::swap。
struct MyData {
std::vector data;
int id;
};
// 正确:在 MyData 同一命名空间中定义
void swap(MyData& a, MyData& b) noexcept {
using std::swap;
swap(a.data, b.data);
swap(a.id, b.id);
}
- 这样调用
std::swap(a, b)时,ADL 会找到你定义的版本 - 务必标记
noexcept,否则容器(如std::vector::resize)可能拒绝使用移动语义 - 内部仍优先复用
std::swap,避免重复实现;对成员用using std::swap;确保正确调用其重载版本
指针、引用或容器元素交换要注意解引用和有效性
交换指针本身和交换指针所指内容是两回事;同样,交换 std::vector 元素时,别误以为是在交换迭代器。
int x = 1, y = 2; int* p = &x, *q = &y; std::swap(p, q); // ✅ 交换指针值:p 现在指向 y,q 指向 xstd::swap(p, q); // ✅ 交换所指内容:x 和 y 的值互换
std::vector
v = {10, 20}; std::swap(v[0], v[1]); // ✅ 安全,下标合法时等价于 std::swap(v.at(0), v.at(1))
- 对空容器或越界索引调用
v[i]是未定义行为;用v.at(i)可抛异常但更安全(调试阶段) - 交换两个
std::unique_ptr会转移所有权,原指针变为空;交换std::shared_ptr只交换控制块引用,不改变引用计数逻辑 - 不要对临时对象(如
std::string("hello"))取地址后交换——生命周期太短,容易悬挂
真正麻烦的从来不是“怎么写交换”,而是没想清“要交换什么”:是指针值?对象内容?还是资源所有权?搞错这一层,再漂亮的语法也救不了。










