我说了两件事:
> std :: numeric_limits< float> :: max()(一个小数字)给出:std :: numeric_limits< float> :: max().
> std :: numeric_limits< float> :: max()(一个大数字,如:std :: numeric_limits< float> :: max()/ 3)给出inf.
为什么这个差异? 1或2是否导致OVERFLOW,从而导致未定义的行为?
编辑:测试代码:
1.
float d = std::numeric_limits<float>::max(); float q = d + 100; cout << "q: " << q << endl;
2.
float d = std::numeric_limits<float>::max(); float q = d + (d/3); cout << "q: " << q << endl;
解决方法
形式上,行为是未定义的.在具有IEEE的机器上
浮点,然而,四舍五入后会溢出
在Inf.然而,精度有限,结果有限
FLT_MAX 1的舍入后为FLT_MAX.
浮点,然而,四舍五入后会溢出
在Inf.然而,精度有限,结果有限
FLT_MAX 1的舍入后为FLT_MAX.
您可以在FLT_MAX下看到与值相同的效果.
尝试像:
float f1 = 1e20; // less than FLT_MAX float f2 = f1 + 1.0; if ( f1 == f2 ) ...
至少用IEEE算法,if将会判定为true.(确实存在,或至少存在的机器在哪里浮点数有足够的精度来评估假,但今天不是很常见.)