C++交换两数技巧：swap与异或应用解析

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++ 中几乎总是更差的选择。

常见错误现象：

• 当 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 对象的状态切换……这些上下文决定了该用什么语义的交换，而不是纠结位运算那几行代码。