无溢出、下溢与NaN时，浮点数a-b>0与a>b是否等价？

在不存在溢出、下溢及NaN的IEEE 754标准浮点数环境中，a-b>0和a>b并非完全等价，存在反例导致二者判断结果不同。

核心差异原因 #

浮点数的直接比较（a>b）是基于其二进制表示的全序特性：IEEE 754定义了除NaN外所有浮点数的严格顺序，直接比较会准确反映两个数的实际大小关系（只要它们的数值表示确实有大小差异）。

而a-b的计算需要经过尾数对齐→加减运算→舍入三个步骤：当两个数的量级差距超过浮点数尾数的有效精度时，较小的数会被“吞噬”，导致减法结果被舍入为0，进而出现与直接比较不符的结果。

具体反例 #

以双精度浮点数（64位，尾数有效位约15-17位）为例：

• 设a = 1e16 + 1，b = 1e16
  • 直接比较a>b：结果为true，因为a的数值确实大于b
  • 计算a-b：由于1e16的量级远大于1，尾数对齐后1会被完全丢弃，减法结果舍入为0，因此a-b>0的结果为false

舍入机制的影响 #

舍入机制只会影响a-b的计算结果，不会影响a>b的判断：

• a>b不涉及任何算术运算，仅通过比较浮点数的符号位、指数位、尾数位的二进制顺序得出结论，结果是确定的
• a-b的结果则依赖舍入模式（比如默认的“舍入到最近偶数”、“向零舍入”等），但只要存在量级差超过精度的情况，就可能出现减法结果与实际差值不符，进而导致a-b>0与a>b结果不同。

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