C++如何判断两个浮点数近似相等 _ 精度控制与Epsilon用法【干货】-C++-PHP中文网

应使用 std::abs(a - b)

直接用 == 判断两个 float 或 double 是否近似相等，几乎总是错的——这不是代码写得不够好，而是 IEEE 754 浮点表示本身就不支持“数学意义下的精确相等”。

为什么 std::abs(a - b) 不能无脑套用

这个表达式本身没错，但 epsilon 不是“精度开关”，它是个量纲敏感的容忍窗口。固定写 1e-9 在以下场景会出问题：

比较 1e20 和 1e20 + 1：差值是 1，远大于 1e-9，但 double 根本无法区分这两个数（它们在内存中可能完全一样）

比较 1e-15 和 0.0：差值是 1e-15，小于 1e-9，看似“相等”，但此时 1e-9 比你关心的量级大了 6 个数量级，等于放弃精度

计算路径含 10 次乘加后得到的结果，其固有误差可能已达 1e-13，而你却用 1e-15 去比，大概率误判

std::numeric_limits<t>::epsilon()</t> 是什么、不是什么

它返回的是 1.0 附近能表示的最小增量，比如 double 的 epsilon 是约 2.22e-16。但它不等于通用比较阈值：

C++ Code Review Master
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

它只对接近 1.0 的数有意义；对 1e10，实际可分辨最小差值是 epsilon * 1e10

它不反映计算误差——一次 sin(x) 调用的误差可能比它大几个数量级

别直接拿它当 epsilon 传给比较函数，除非你明确在比较 1.0 附近的值

工业级写法：绝对+相对双判据 + 特殊值兜底

主流测试框架（Google Test、Catch2）和 NumPy 的 isclose 都采用这种结构，C++23 的 std::is_close 也照此设计：
bool approx_equal(double a, double b,
                  double abs_tol = 1e-12,
                  double rel_tol = 1e-9) {
    if (std::isnan(a) || std::isnan(b)) {
        return std::isnan(a) && std::isnan(b);
    }
    if (std::isinf(a) || std::isinf(b)) {
        return a == b;
    }
    double diff = std::abs(a - b);
    if (diff 
abs_tol 覆盖零值或极小值区域（1e-12 对 double 较安全）

rel_tol 控制非零区域的相对精度（1e-9 ≈ 9 位有效数字）

std::max(..., 1.0) 避免除零，也防止 scale 过小放大误差

必须显式处理 NaN 和 inf：std::abs(NaN) 还是 NaN，后续所有比较都失效

容易被忽略的三个现实约束

再健壮的函数也救不了没想清楚的业务语义：

你的输入来自文件读取？那要考虑序列化/反序列化引入的额外舍入（比如 printf "%.17g" 写出再读回，可能已失真）

是否在容器里当 key 用？std::unordered_map<double int></double> 默认用 ==，会导致相同逻辑值被存成多份——必须自定义哈希与比较仿函数

误差容忍是否随上下文变化？物理仿真中 1e-6 可能太大，金融计算中连 double 都不该用，该切整数