Java中计算浮点数距离：Math.abs(a-b)与Math.abs(b-a)是否始终等价？

对于所有Java中的double类型值a和b，Math.abs(a - b) 始终等于 Math.abs(b - a)，不会因为浮点数运算的特性出现结果不一致的情况，原因如下：

1. IEEE 754标准的运算规则
   Java的double遵循IEEE 754双精度浮点数标准，对于任意有限的double值，a - b的结果严格等于-(b - a)。而Math.abs()方法的作用是返回参数的绝对值，因此Math.abs(a - b)必然等于Math.abs(b - a)。

2. 特殊值的处理一致
   即使涉及到NaN、无穷大这类特殊浮点数：

• 若a或b是NaN，a - b和b - a的结果都是NaN，Math.abs(NaN)仍返回NaN，两者相等；
• 若a是正无穷、b是负无穷，a - b得到正无穷，b - a得到负无穷，取绝对值后均为正无穷，结果一致；
• 当a和b相等时，两种方式都返回0.0。

3. 两种实现的等价性
   你给出的两种实现逻辑完全等价：分支判断的写法本质是取较大值减去较小值，而Math.abs(a - b)的结果和这个逻辑完全一致。第一种写法更简洁，不需要额外的条件判断，代码可读性更高。

内容的提问来源于stack exchange，提问作者laneo