std::swap是最安全高效的选择,它针对不同类型优化、支持ADL和移动语义,且自交换安全;异或交换仅在极少数受限场景有意义,C++中几乎总是更差。

直接用 std::swap 是最安全的选择
除非有特殊约束(比如裸机环境、禁用 STL),否则别自己写交换逻辑。C++ 标准库的 std::swap 已针对不同类型做了充分优化:对 POD 类型可能内联为汇编级交换指令,对类类型会调用移动构造/赋值(C++11 起),还支持 ADL(自定义 swap 函数自动被发现)。
实操建议:
- 头文件只需
#include(C++11 及以后),旧标准用 - 泛型代码中优先写
using std::swap; swap(a, b);,避免因 ADL 失效而退化到默认实现 - 对
std::array、std::vector等容器,std::swap通常只交换内部指针,O(1) 时间
std::swap 不能替代异或交换的场景
异或交换(a ^= b; b ^= a; a ^= b;)看似炫技,但仅在极少数受限环境下有意义:比如寄存器极度紧张的嵌入式汇编、或教学演示“不使用临时变量”的位运算原理。它在 C++ 中几乎总是更差的选择。
常见错误现象:
立即学习“C++免费学习笔记(深入)”;
- 当
a和b是同一变量引用时(如swap(&x, &x)),异或交换会让变量变 0 ——std::swap则能正确处理自交换 - 对浮点数、指针、用户自定义类型,异或无定义行为;
std::swap保持类型安全 - 编译器无法对异或序列做有效优化,现代 CPU 的 load/store 流水线反而可能被破坏
手写交换函数时最容易踩的坑
如果真要自己实现(例如面试题要求或模板元编程调试),必须注意底层语义:
- 传参必须用引用:
void my_swap(int& a, int& b),传值毫无意义 - 不要用宏(如
#define SWAP(a,b) ...):参数可能被多次求值,SWAP(*p++, *q++)会出错 - 模板实现需加
static_assert或requires(C++20)限制可交换类型,避免对不可复制类型静默失败 - 若涉及移动语义,应重载右值引用版本,否则对临时对象仍触发拷贝
性能差异在绝大多数场景里根本测不出来
有人纠结“异或三步 vs std::swap 三行赋值哪个快”,其实现代编译器(GCC/Clang/MSVC)对两者生成的汇编往往完全一致 —— 都是三条 mov 或寄存器交换指令。真正影响性能的是内存布局、缓存行、是否触发拷贝构造等上层因素。
实操建议:
- 用
-O2编译后反汇编验证(objdump -d或 Compiler Explorer) - 对大对象(如
std::string),std::swap的移动语义优势远超任何位运算技巧 - 唯一值得较真的地方:是否发生自交换、是否满足异常安全(
std::swap对大多数标准类型是 noexcept)
真正需要关注的不是“怎么交换”,而是“为什么需要交换”——排序算法里的哨兵位置、容器 resize 时的元素迁移、RAII 对象的状态切换……这些上下文决定了该用什么语义的交换,而不是纠结位运算那几行代码。









