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

Question

假设aandb是两个相同类型的 IEEE-754 有限 FP 数，并且a != b是真的，它总是成立a-b != 0吗？换句话说，a-b==0对于有限a，是否b意味着a == b？

标签： floating-pointieee-754

Answer 1

在 IEEE-754 算术中，对于有限a和b，a == b当且仅当a-b == 0. 这就是为什么在 IEEE-754 数字系统中包含次正规数的具体原因。

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