浮点乘以零是否保证产生零？

Question

我理解浮点数有舍入误差，但我想知道是否存在某些错误不适用的情况，例如乘以零。

对于所有浮点，任何数字的零次是否为零？

Answer 1

题：

0f * NAN == NAN
0f * INFINITY == NAN

和......

0f * -1f == -0f (negative 0f), with 0f == -0f :-)

（在Intel，VC ++上，可能在任何使用IEEE 754-1985浮点的平台上）

ideone上的示例（可能在某些与Intel兼容的平台上使用GCC）

Answer 2

除了@xanatos精确答案外，还要考虑OP的一些中间问题：

  

我想知道是否存在（舍入）错误不适用的某些情况

候选人包括some_double_y = some_double_x * 1.0和some_double_y = some_double_x + 0.0可能永远不会产生舍入错误。

然而，即使是那些也是可疑的，因为编译器可能会以更高的精度评估double，考虑到FLT_EVAL_METHOD == 2“评估所有操作和常量到long double类型的范围和精度。 “在这种情况下，中间some_double_x可能存在long double，与double或0.0的明显1.0值不同。