为何C/C++中float值比较不生效，需加f后缀或改用double？

问题现象 #

下述代码运行时的异常本质是浮点字面量默认类型与精度差异导致的：

#include<stdio.h>
int main()
{
    float x=1.5;
    while (x==1.5)
    {
        printf("\n%f",x);
        x-=1;
    }
}

• 当x初始化为1.5时判断条件成立，可正常打印
• 当x初始化为1.2且判断条件写while(x==1.2)时，条件不成立无输出
• 使用float x=1.2f搭配while(x==1.2f)，或double x=1.2搭配%lf格式符打印时，运行符合预期

核心原因 #

1. 浮点字面量的默认类型：C/C++中不带后缀的浮点字面量（比如1.5、1.2）默认是double类型，只有带f后缀的才是float类型。
2. 浮点数的二进制存储特性：
   • 像1.5这类可以表示为2^n整数倍的数值，二进制是有限位，在float和double中都可以被精确存储，因此float类型的x提升为double参与比较时，值和double类型的1.5字面量完全相等，判断成立。
   • 像1.2这类数值的二进制是无限循环序列，float（单精度32位）和double（双精度64位）存储时都会做截断近似，但二者截断后的近似值并不相同。当float类型的x和double类型的1.2字面量比较时，x会先提升为double类型，但本身的精度损失已经无法恢复，和double类型的1.2近似值存在差异，因此判断条件不成立。

修复方案原理 #

• 加f后缀的方案：1.2f明确指定字面量为float类型，和变量x的类型一致，二者存储的截断近似值完全相同，比较结果符合预期。
• 改用double类型的方案：变量x的类型和默认浮点字面量的double类型一致，存储的近似值相同，比较结果符合预期。

开发注意事项 #

实际工程中不推荐直接用==判断两个浮点数相等，更稳妥的方式是判断二者的差值绝对值小于可接受的误差阈值，示例如下：

// 误差阈值可根据业务精度需求调整
if (fabs(x - 1.2) < 1e-6) {
    // 逻辑代码
}

内容的提问来源于stack exchange，提问作者Chandravo Bhattacharya