java - double 时 (x - x) 是否始终为正零，或者有时为负零？

Question

当 x 是 double 时，是否保证 (x - x) 为 +0.0，或有时可能是 -0.0(取决于 x 的符号)？

Answer 1

x - x 可以是 +0.0 或 NaN。在 IEEE 754 算法中没有其他值可以取整(在 Java 中，取整模式为 always round-to-nearest)。两个相同的有限值的减法定义为在这种舍入模式下产生+0.0。 Mark Dickinson ，在下面的评论中，引用了 IEEE 754 标准的说法，第 6.3 节:

When the sum of two operands with opposite signs (or the difference of two operands with like signs) is exactly zero, the sign of that sum (or difference) shall be +0 in all rounding-direction attributes except roundTowardNegative [...].

这个 page表明特别是 0.0 - 0.0 和 -0.0 - (-0.0) 都是 +0.0。

Infinities 和 NaN 在减去它们自己时都会产生 NaN。