浮点乘以零是否保证产生零？
我知道浮点数有舍入错误，但我想知道是否存在错误不适用的某些情况，例如乘以零。
对于所有浮点，任何数字的零次是否为零？
假：
0f * NAN == NAN 0f * INFINITY == NAN 和……
0f * -1f == -0f (negative 0f), with 0f == -0f :-)
（在Intel，VC ++上，可能在任何使用IEEE 754-1985浮点的平台上）
关于ideone的示例（可能在某些Intel兼容平台上使用GCC）
除了@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存在。