不成立的是float和实数运算的映射关系，对于实数x, y
float(x) op float(y) == float(x op y)
不恒成立。
——————
精彩的陈述。他想问的，应该就是左边的情况，比如：
float(x) - float(x) == 0.0f ?
Fx + F(-x) == 0.0f ?
Fx * (Fx - Fx) == 0.0f ?
Fx / (Fx * BigEnough) == 0.0f ?



【 在 ilovecpp 的大作中提到: 】
: 嗯。问题是似乎（这楼里）很多人把浮点数表示和运算的精度限制理解成浮点数有某种不确定性。例如
: float x = 0.3
: 然后他们以为x==0.3就不一定成立了。
: ...................
--
FROM 106.44.133.*