C++ 怎么交换两个数 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::arraystd::vector 等容器,std::swap 通常只交换内部指针,O(1) 时间

std::swap 不能替代异或交换的场景

异或交换(a ^= b; b ^= a; a ^= b;)看似炫技,但仅在极少数受限环境下有意义:比如寄存器极度紧张的嵌入式汇编、或教学演示“不使用临时变量”的位运算原理。它在 C++ 中几乎总是更差的选择。

常见错误现象:

  • ab 是同一变量引用时(如 s

    wap(&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_assertrequires(C++20)限制可交换类型,避免对不可复制类型静默失败
  • 若涉及移动语义,应重载右值引用版本,否则对临时对象仍触发拷贝

性能差异在绝大多数场景里根本测不出来

有人纠结“异或三步 vs std::swap 三行赋值哪个快”,其实现代编译器(GCC/Clang/MSVC)对两者生成的汇编往往完全一致 —— 都是三条 mov 或寄存器交换指令。真正影响性能的是内存布局、缓存行、是否触发拷贝构造等上层因素。

实操建议:

  • -O2 编译后反汇编验证(objdump -d 或 Compiler Explorer)
  • 对大对象(如 std::string),std::swap 的移动语义优势远超任何位运算技巧
  • 唯一值得较真的地方:是否发生自交换、是否满足异常安全(std::swap 对大多数标准类型是 noexcept)

真正需要关注的不是“怎么交换”,而是“为什么需要交换”——排序算法里的哨兵位置、容器 resize 时的元素迁移、RAII 对象的状态切换……这些上下文决定了该用什么语义的交换,而不是纠结位运算那几行代码。