应始终使用 std::swap，它安全高效且自动适配类型；手写无临时变量交换（如 a ^= b ^= a ^= b）是未定义行为，整数溢出、浮点精度、求值顺序均导致不可预测结果。
用 std::swap 是最安全、最推荐的做法
绝大多数情况下，直接调用 std::swap 就够了——它不依赖类型是否支持算术运算，能自动处理自定义类、引用、数组等，且编译器通常会内联优化成最优指令。自己手写“不使用中间变量”的交换，纯属增加出错概率。
常见错误现象：a = a + b; b = a - b; a = a - b; 在整数溢出时直接 UB（未定义行为），浮点数还可能因精度丢失交换失败；a ^= b ^= a ^= b; 因 C++ 中序列点规则和修改顺序未定义，结果不可预测（不同编译器甚至同一编译器不同优化级别下结果不同）。
-
std::swap对内置类型（int、double等）几乎无开销，现代编译器会生成xchg或寄存器级交换指令 - 对自定义类型，只要支持移动构造/赋值，
std::swap也高效；若没实现移动语义，会退化为拷贝交换，但至少行为确定 - 别在模板函数里擅自用位运算或算术技巧替代
std::swap，除非你明确控制了所有模板参数类型且已验证无溢出/精度/别名问题
为什么 a ^= b ^= a ^= b 不能用
这不是风格问题，是标准明令禁止的未定义行为。C++17 起，^= 是复合赋值运算符，其左右操作数求值顺序未指定，且同一表达式中多次修改 a 和 b 之间无序列点。
使用场景：几乎不存在。有人把它当“炫技”写在面试题或老旧代码里，但实际一上生产环境就可能崩——尤其开启 -O2 后，编译器可能直接优化掉部分赋值，或重排指令导致 a、b 变成全零或垃圾值。
立即学习“C++免费学习笔记（深入）”；
- 错误信息示例：
clang++ -O2下该表达式可能产出任意值，gcc某些版本会警告operation on 'a' may be undefined - 即使对
unsigned int，也不能保证结果正确，因为标准不保证求值顺序 - 想“省一个变量”？栈上一个
int占 4 字节，现代 CPU 缓存行 64 字节起，这点空间压根不构成瓶颈
什么时候真需要避免临时对象——看 move 语义
真正影响性能的不是“中间变量”，而是不必要的拷贝。比如交换两个大 std::vector，关键不在有没有第三个 vector 变量，而在是否触发三轮深拷贝。
实操建议：确认你的类型是否已正确定义了移动构造函数和移动赋值运算符。如果没写，std::swap 会退化为拷贝交换；如果写了，std::swap 自动走移动路径，快得多。
- 检查方法：加个
static_assert(std::is_move_constructible_v<t> && std::is_move_assignable_v<t>);</t></t> - 自定义类中，别写
T(T&&) = default;却忘了把成员变量改成std::move(x)，否则移动还是变成拷贝 - 对
std::string、std::vector等标准容器，放心用std::swap，它们都已优化好移动语义
宏或模板封装 swap 的坑
有人写 #define SWAP(a,b) { auto t=a; a=b; b=t; } 或泛型 swap 函数，看似灵活，实则埋雷。
典型问题：宏不类型安全，SWAP(*p++, *q++) 会导致指针被递增两次；模板若没约束，可能实例化出对 void* 或函数指针的非法交换。
- 宏还会破坏作用域：
if (x) SWAP(a,b); else ...因宏展开含花括号，else会报错 - 自己写的模板
swap必须加上static_assert或requires（C++20）限制类型可交换性，否则编译错误信息极难读 - 直接用
std::swap，它已有完整特化和约束，连std::array、std::pair都照顾到了
真正要盯住的，从来不是“要不要中间变量”，而是类型有没有正确实现移动语义、编译器有没有做优化、以及你写的那行交换逻辑是否在标准允许的范围内。其他全是干扰项。
