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

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可以作为与表观double some_double_x值0.0或1.0不同的long double some_double_x存在。