C[副本]中的浮点比较

Question

#include<stdio.h>
int main()
{
    float x = 0.6;
    if (x == 0.6)
        printf("IF");
    else if (x == 0.6f)
        printf("ELSE IF");
    else
        printf("ELSE");
}

此代码给出输出ELSE

#include<stdio.h>
int main()
{
    float x = 0.5;
    if (x == 0.5)
        printf("IF");
    else if (x == 0.5f)
        printf("ELSE IF");
    else
        printf("ELSE");
}

此代码给出的输出是：

虽然两个程序看起来都一样，但为什么输出有差异呢？为什么会这样？

Answer 1

因为0.5具有IEEE-754二进制格式（如binary32和binary64)的精确表示。0.5是2的负幂。另一方面，0.6不是2的幂，它不能用float或double精确表示。