不能直接用 == 比较浮点数，因为其二进制近似表示导致 0.1+0.2≠0.3（实际为 0.30000000000000004），== 判断会错误返回 false；应使用 std::abs(a - b)

为什么不能直接用 == 比较两个 float 或 double

浮点数在内存中是二进制近似表示，很多十进制小数（比如 0.1）根本无法精确存储。哪怕只是简单计算，如 0.1 + 0.2，结果也不是严格等于 0.3，而是类似 0.30000000000000004。直接用 == 判断会返回 false，即使数学上“应该相等”。这不是 bug，是 IEEE 754 的固有特性。

用 std::abs(a - b) 是最常用但有陷阱的方法

最直观的做法是判断差值的绝对值是否小于某个阈值 epsilon：

bool is_close(double a, double b, double eps = 1e-9) {
    return std::abs(a - b) < eps;
}

但它只适用于数量级接近 0 的数。一旦 a 和 b 很大（比如 1e10），1e-9 就远小于机器精度，导致永远返回 true；反过来，如果它们非常小（比如 1e-20），1e-9 又太大，可能漏判。所以固定 epsilon 不具备尺度不变性。

• eps 应根据输入数量级动态调整，而不是硬编码
• 对 0.0 附近比较，绝对误差法仍可用；但跨数量级时必须转向相对误差
• 标准库没有提供通用的 is_close（C++23 才加入 std::is_close，目前多数项目还得自己写）

更鲁棒的写法：结合相对误差与绝对误差（推荐工业级用法）

NumPy 的 isclose 和 Python 标准库的思路已被广泛验证：同时检查相对误差和绝对误差，取其一满足即判定为“足够接近”：

立即学习“C++免费学习笔记（深入）”；

Python Hardener

通过完整的安全审查、代码整洁重构、健壮的错误处理、正确的日志记录以及完整的文档字符串覆盖，强化 Python 脚本。

下载

bool is_close(double a, double b, double rel_tol = 1e-9, double abs_tol = 1e-12) {
    if (std::abs(a - b) <= abs_tol) return true;
    return std::abs(a - b) <= rel_tol * std::max(std::abs(a), std::abs(b));
}

这种写法能自然覆盖极端情况：

• 当 a 和 b 都接近 0（比如 1e-15），abs_tol 起主导作用
• 当它们较大（比如 1e6），rel_tol 控制精度，避免被舍入误差淹没
• std::max(std::abs(a), std::abs(b)) 确保分母不为零，且选择更稳妥的尺度基准

C++23 的 std::is_close 怎么用？注意它还没普及

C++23 引入了 <cmath></cmath> 中的 std::is_close，接口与上面一致：

#include <cmath>
std::is_close(a, b, 1e-9, 1e-12); // 返回 bool

但目前主流编译器（GCC 13、Clang 16、MSVC 19.35）仅部分支持，且需显式开启 -std=c++23 并确认标准库实现已跟进。生产环境建议暂不依赖，优先使用自定义版本。

真正容易被忽略的是：浮点比较从来不是“是否相等”，而是“在当前上下文下是否可视为等价”。这个“上下文”包括数据来源（传感器？仿真？用户输入？）、后续运算敏感度、以及你愿意容忍的误差范围 —— 这些都得由人定，没法交给一个通用函数全自动决定。