加减法交换在数学上成立但存在整数溢出风险：C/C++中触发未定义行为，Java回绕导致逻辑失真，仅Python因无限精度可安全使用；异或交换无溢出但忌同地址操作，工程中推荐直接用中间变量或语言内置解构赋值。
为什么加减法交换看似可行但实际有风险
直接用 a = a + b; b = a - b; a = a - b 确实能在数学上完成交换，但整数溢出会让结果不可靠。比如 a = INT_MAX（2147483647）、b = 1，第一步 a + b 就触发有符号整数溢出——C/C++ 中这是未定义行为，Java 中会静默回绕，Go 直接 panic（默认启用溢出检查时）。这不是“写法错”，而是底层语义不保真。
哪些语言能安全用加减法交换
仅当目标语言对整数溢出有明确定义且你接受其行为时才可考虑：
- Java：
int溢出自动回绕（如2147483647 + 1 → -2147483648），三步后仍能得到正确交换结果 —— 但逻辑已脱离直觉，调试困难 - Python：整数无限精度，无溢出问题，
a, b = a + b, a - b; a = a - b数学上成立，但失去意义——Python 本身支持a, b = b, a，何必绕路 - C/C++：不推荐。即使你用
unsigned int避开未定义行为，回绕语义也容易掩盖逻辑错误
更稳妥的替代方案有哪些
不依赖临时变量 ≠ 必须用加减法。实际工程中应优先选清晰、安全、无副作用的方式：
- 异或交换（仅限整型）：
a ^= b; b ^= a; a ^= b—— 无溢出风险，但要求a和b是同一内存地址以外的变量（a和b不能指向同一位置，否则会清零） - 结构化赋值（Python/JS）：
[a, b] = [b, a]或a, b = b, a—— 语义清晰，底层由解释器/编译器优化，无需手动推导 - 解构+立即执行（ES6）：
[a, b] = [b, a]—— 浏览器和 Node.js 均支持，比算术运算更直观
什么时候真该考虑无临时变量交换
几乎不需要。现代编译器（GCC、Clang、V8、JIT）对 temp = a; a = b; b = temp 会自动优化成寄存器交换，生成的汇编往往就是一条 xchg 或等效指令。所谓“省一个变量”在 CPU 层面不存在收益，反而增加理解成本和出错概率。真正值得关注的是：是否在错误抽象层纠结细节？比如在高频循环里反复交换两个数组元素 —— 那该优化的是数据布局或算法，不是交换语句本身。
