std::swap是最安全高效的选择，它针对不同类型优化、支持ADL和移动语义，且自交换安全；异或交换仅在极少数受限场景有意义，C++中几乎总是更差。
直接用 std::swap 是最安全的选择
除非有特殊约束（比如裸机环境、禁用 STL），否则别自己写交换逻辑。C++ 标准库的 std::swap 已针对不同类型做了充分优化：对 POD 类型可能内联为汇编级交换指令，对类类型会调用移动构造/赋值（C++11 起），还支持 ADL（自定义 swap 函数自动被发现）。
实操建议：
- 头文件只需
#include <utility></utility>（C++11 及以后），旧标准用<algorithm></algorithm> - 泛型代码中优先写
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 对象的状态切换……这些上下文决定了该用什么语义的交换，而不是纠结位运算那几行代码。
