C语言if条件判断中float数值比较不生效问题

核心是浮点数精度差异和C语言默认类型规则共同导致的问题：

• C语言中不带后缀的浮点字面量默认是double类型，你代码判断条件if(x==3.14)里的3.14属于double类型，而变量x是float类型。
• 3.14本身无法被二进制浮点数精确表示，float和double的存储精度不同：float是32位单精度浮点数，有效位约6_{7位十进制数字；`double`是64位双精度浮点数，有效位约15}16位十进制数字，3.14在两种类型中存储的二进制近似值本身就存在差异。
• 赋值操作float x = 3.14执行时，会先把double类型的3.14截断为float精度存入x，后续比较时x会被自动提升为double类型，但之前截断损失的精度无法恢复，和原生double类型的3.14值自然不相等，所以判断分支始终不执行。

有两种常用的修正方式：

• 给浮点字面量加f后缀，强制指定为float类型，将判断条件修改为if(x == 3.14f)
• 不要直接用==比较浮点数，设置可接受的误差范围做判断，这是浮点数比较的通用规范，示例代码如下：

#include <math.h>
// 定义业务场景可接受的最大误差
#define EPS 1e-6
if(fabs(x - 3.14) < EPS) {
    printf("true");
}

第二种方案适用性更强，只要两个浮点数的差值在可接受的误差范围内，就判定为相等，能避免绝大多数精度导致的比较异常。

内容的提问来源于stack exchange，提问作者Rishi Kumar Reddy Sangireddy