这是C语言里非常经典的浮点数精度问题，很多刚接触的开发者都会碰到，我来给你拆解清楚背后的原因，以及正确的比较方式：

现象背后的本质：浮点数的存储特性 #

浮点数（float、double）在计算机中是用二进制近似存储的，只有部分十进制数能被精确表示，比如整数和有限的二进制小数（比如0.5、0.25这类）。

为什么float num1 = 1;和1比较会相等？ #

• 整数1可以用二进制浮点数精确表示，不管是float还是double类型，存储的二进制值都是完全准确的。
• 当你写float num1 = 1;时，编译器会把整数1精确转换为float类型。而比较时的字面量1默认是double类型，把float的1转换为double后，数值没有任何变化——所以num1 == 1的结果为真，输出Yes, it is equal!!。

为什么float num1 = 1.2;和1.2比较会不相等？ #

• 十进制的1.2无法用二进制浮点数精确表示，它在二进制里是一个无限循环的小数。
• 当你写float num1 = 1.2;时，编译器首先会把字面量1.2（默认是double类型，精度更高）转换为float类型——这个转换过程会因为float的精度限制（只有24位有效位），截断部分二进制位，得到一个近似值。
• 之后比较时，float类型的num1会被自动提升为double类型，但这个提升后的数值和原来的double字面量1.2并不完全一致，两者存在微小的精度差异，所以num1 == 1.2的结果为假，输出No, it is not equal。

正确比较float和double的方法 #

直接用==比较浮点数几乎总是错误的，正确的做法是判断两个数的差值是否小于一个足够小的误差阈值（epsilon），具体方式如下：

1. 使用绝对误差阈值（适合常规数值范围） #

C标准库的<float.h>头文件定义了专门的epsilon常量：

• FLT_EPSILON：float类型能表示的最小正差值，即大于1的最小float数和1的差
• DBL_EPSILON：double类型对应的最小正差值

示例代码：

#include <stdio.h>
#include <math.h>
#include <float.h>

int main() {
    float num1 = 1.2;
    // 比较float和double，用FLT_EPSILON作为绝对误差阈值
    if (fabs(num1 - 1.2) < FLT_EPSILON) {
        printf("Yes, it is equal!!\n");
    } else {
        printf("No, it is not equal\n");
    }
    return 0;
}

2. 使用相对误差阈值（适合超大/超小数值） #

如果比较的数值非常大或非常小，绝对误差阈值可能失效，这时候应该用相对误差——判断差值的绝对值除以两个数中较大的绝对值是否小于阈值：

#include <stdio.h>
#include <math.h>
#include <float.h>
#include <stdlib.h>

int main() {
    float num1 = 1.2e20f; // 一个很大的float数值
    double target = 1.2e20; // 对应的double目标值
    double diff = fabs(num1 - target);
    double max_val = fmax(fabs((double)num1), fabs(target));
    
    // 用相对误差判断
    if (diff / max_val < FLT_EPSILON) {
        printf("Yes, it is equal!!\n");
    } else {
        printf("No, it is not equal\n");
    }
    return 0;
}

3. 尽量统一类型减少转换误差 #

如果可以，尽量让参与比较的数值类型一致，比如把float字面量加上f后缀，避免不必要的类型转换：

float num1 = 1.2f;
// 两个都是float类型，减少转换带来的精度损失
if (fabs(num1 - 1.2f) < FLT_EPSILON) {
    // ...
}

不过要注意，即使类型一致，无法精确表示的小数仍然会有近似误差，所以epsilon比较还是必不可少的。

内容的提问来源于stack exchange，提问作者Duane Royed Dsilva