两种交换函数的差异及两段交换代码的性能优劣咨询

嘿，咱们来好好唠唠这两种交换变量的写法——它们看起来都能完成交换任务，但背后的门道和适用场景可是天差地别！

一、核心功能与适用场景差异 #

1. 临时变量交换法（Code 1） #

temp = a; a = b; b = temp;

这是最经典、最通用的交换方式，逻辑直白到没朋友：用临时变量temp先把a的值存起来，再把b的值挪去a，最后把temp里的原a值还给b。

它的适用场景几乎没有限制：不管是整数、浮点数、字符串，还是自定义的类/对象，只要该类型支持赋值操作，就能用这种方法交换。哪怕不小心写了swap(a,a)（交换变量自己），它也不会出问题，结果还是原来的值。

2. 算术运算交换法（Code 2） #

a = a + b; b = a - b; a = a - b;

这种方法靠加减运算的推导来“挤”出原变量值：

• 第一步a = a + b后，a变成了两者的和
• 第二步b = a - b，代入新a的值就是(原a+原b)-原b = 原a，b成功拿到原a的值
• 第三步a = a - b，代入就是(原a+原b)-原a = 原b，完成交换

但它的局限性大到离谱：

• 只能用于数值类型（整数、浮点数），字符串、对象这类根本没法做加减运算的类型完全用不了
• 存在溢出风险：如果a和b都是很大的数值，a+b可能会超过该数据类型的最大值（比如32位int的上限是2^31-1），直接导致交换结果错误
• 如果交换的是同一个变量（比如a和a自己），虽然不会像位运算交换那样直接清零，但逻辑上完全没必要，还可能触发意外的溢出问题

二、性能对比 #

从现代编译器的优化能力来看，两者的性能差异几乎可以忽略不计：

• 临时变量法的优化空间极大，编译器通常会把temp直接放到寄存器里，甚至调用CPU的原生交换指令（比如x86架构的XCHG），效率拉满
• 算术交换法虽然有三次加减运算，但编译器也会对其做优化；不过在一些老旧的、无优化的环境（比如部分嵌入式系统的编译器）中，它的运算次数更多，可能会比临时变量法慢一点点

但要注意：算术交换法的溢出风险是最大的性能隐患——一旦溢出导致交换错误，你得花大量时间排查bug，反而比用临时变量法的成本高得多。

三、各自的优缺点 #

临时变量交换法（Code 1） #

• 优点：
  • 通用性拉满，支持所有可赋值的数据类型
  • 逻辑清晰，可读性极强，新手也能一眼看懂
  • 完全没有溢出、同变量交换的风险，稳定性拉满
  • 编译器优化空间大，实际运行效率顶尖
• 缺点：
  • 看起来需要额外的临时变量，但现代编译器会直接优化掉这个变量，几乎不占用额外内存，这个缺点其实非常鸡肋

算术运算交换法（Code 2） #

• 优点：
  • 不需要临时变量，看起来“节省”了内存（但现代编译器优化后，临时变量法也不会占用额外内存，这个优点几乎没有实用价值）
• 缺点：
  • 仅支持数值类型，适用范围极窄
  • 存在溢出风险，处理大数值时容易出错
  • 可读性差，新手可能一脸懵，后续维护成本高
  • 特殊场景下（比如同变量交换）行为不可控，容易出bug
  • 运算次数更多，未优化环境下性能略差

总结 #

如果是日常开发，优先选临时变量交换法——它安全、通用、易读，几乎没有缺点。算术交换法除了在一些极端的、内存极其有限的嵌入式场景（现在这种场景已经很少了）可能有点用之外，几乎没有实用价值，反而容易引入bug。

内容的提问来源于stack exchange，提问作者Selçuk Altınay