在IEEE 754中减去不同的数字总是非零吗？

Question

假设a和b是两个相同类型的IEEE-754有限FP编号，并且a != b为真，是否总是使ab != 0 ？ 换句话说，不ab==0为有限a ， b意味着a == b ？

Answer 1

在IEEE-754算法中，对于有限a和b ，当且仅当ab == 0 ， a == b 。 这就是为什么在IEEE-754编号系统中包含次普通编号的原因。

并非所有语言或语言的实现都符合IEEE-754。 即使它们使用IEEE-754格式，也可能不会严格使用IEEE-754操作。

Answer 2

对于有限a ， ab==0 ， b意味着a == b可以从IEEE-754标准中的算术规则推导出来。

由于许多语言的实际实现可能会以某种方式偏离IEEE-754算法，因此在编程中说出您的意思是最安全的。 如果您关心两个变量之间的差异，请询问ab 。 如果您关心它们是否相等，请询问a==b 。