浮点数与浮点文字比较中的奇怪输出

Question

浮点数与浮点文字比较中的奇怪输出

float f = 0.7;if( f == 0.7 )
    printf("equal");else
    printf("not equal");

为什么输出not equal ?

这一切为什么要发生？

Answer 1

这是因为在你的陈述中  if(f == 0.7)0.7被视为双倍。尝试0.7F以确保将该值视为浮点数：  if(f == 0.7f)但是，正如Michael在下面的评论中所建议的，您永远不应该测试浮点值的确切相等性。

Answer 2

这个答案是对现有答案的补充：请注意，0.7既不能准确地表示为浮点数(也不能表示为双值)。如果它被准确地表示，那么在转换为浮动，然后返回到双倍时不会丢失信息，这样就不会有这个问题了。甚至可以说，对于不能准确表示的文字浮点常量，应该有一个编译器警告，特别是当标准对于在运行时是在已设置为该时间的模式下进行舍入，还是在编译时在另一个舍入模式下进行的时候。所有可以精确表示的非整数都有5作为他们的最后一个十进制数字。不幸的是，相反的情况并非如此：有些数字5作为他们的最后一个十进制数，不能被精确地表示。小整数都可以精确地表示，除以2的幂可以将一个可以表示的数字转换成另一个可以表示的数字，只要你不进入非正态数的范围。

Answer 3

正如其他评论者所指出的，您面临的问题是，测试浮点数之间的确切等效性通常是不安全的，因为初始化错误或计算中的舍入错误可能会引入一些细微的差异，从而导致=操作符返回false。更好的做法是做类似的事情float&nbsp;f&nbsp;=&nbsp;0.7;if(&nbsp;fabs(f&nbsp;-&nbsp;0.7)&nbsp;<&nbsp;FLT_EPSILON&nbsp;) &nbsp;&nbsp;&nbsp;&nbsp;printf("equal");else &nbsp;&nbsp;&nbsp;&nbsp;printf("not&nbsp;equal");假设Flt_Epsilon已被定义为平台的适当小浮点数。由于舍入或初始化错误不太可能超过Flt_Epsilon的值，这将为您提供您正在寻找的可靠的等效测试。

Answer 4

网络上的许多答案都错误地考虑了浮点数之间的上述差异，这仅适用于特殊情况，稳健的方法是查看相对差异，如下所示：&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//&nbsp;Floating&nbsp;point&nbsp;comparison: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;bool&nbsp;CheckFP32Equal(float&nbsp;referenceValue,&nbsp;float&nbsp;value) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;const&nbsp;float&nbsp;fp32_epsilon&nbsp;=&nbsp;float(1E-7); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;float&nbsp;abs_diff&nbsp;=&nbsp;std::abs(referenceValue&nbsp;-&nbsp;value); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//&nbsp;Both&nbsp;identical&nbsp;zero&nbsp;is&nbsp;a&nbsp;special&nbsp;case &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;if(&nbsp;referenceValue==0.0f&nbsp;&&&nbsp;value&nbsp;==&nbsp;0.0f) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return&nbsp;true; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;float&nbsp;rel_diff&nbsp;=&nbsp;abs_diff&nbsp;/&nbsp;std::max(std::abs(referenceValue)&nbsp;,&nbsp;std::abs(value)&nbsp;);&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;if(rel_diff&nbsp;<&nbsp;fp32_epsilon) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return&nbsp;true; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;else&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return&nbsp;false; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}