==不能直接比较两个float或double，因为浮点数在内存中是二进制近似表示，大多数十进制小数（比如0.1）无法精确存储，导致0.1 + 0.2实际结果为0.30000000000000004而非0.3，严格相等比较返回false。
为什么==不能直接比较两个float或double
因为浮点数在内存中是二进制近似表示，大多数十进制小数（比如0.1）无法精确存储。哪怕只是简单计算，如0.1 + 0.2，结果也不是严格等于0.3，而是0.30000000000000004。用==直接判断会返回false，即使“看起来相等”。
常见错误现象：if (a == b)在数值本应相等时意外跳过分支；单元测试因浮点误差失败；循环边界判断失效（比如while (x 卡死）。
- 不要依赖编译器优化或运行环境来“修复”这种不等 —— 这是IEEE 754标准决定的，不是bug
-
float通常有6–7位有效数字，double约15–17位，精度差异直接影响容差选择 - 绝对误差（
abs(a - b) ）适合数量级接近的数；相对误差（<code>abs(a - b) ）更适合跨数量级比较
怎么选合适的eps值
硬写1e-6或1e-9很危险：对double大数（如1e10），1e-6可能比实际舍入误差还小；对极小数（如1e-20），1e-9又太大，导致误判相等。
推荐做法是结合类型和场景选值：
- 通用保守值：
1e-9用于double，1e-5用于float—— 仅适用于数量级在1.0附近的常规计算 - 更稳妥：用
std::numeric_limits<t>::epsilon()</t>，它返回1.0之后能表示的最小差值（如double约为2.22e-16），但注意它不是万能容差，需按需放大（常乘以100或1000） - 工程中常用宏封装：
#define EPS 1e-9，但必须清楚该EPS只对应当前模块的数据范围
写一个安全的is_equal函数要注意什么
直接写abs(a - b) 仍不够 —— 没处理<code>NaN、无穷大、负零等特殊情况。标准库没提供通用浮点比较函数，得自己兜底。
实操建议：
- 先检查是否为
NaN：if (std::isnan(a) || std::isnan(b)) return false;——NaN != NaN是标准行为，必须显式处理 - 避免除零：相对误差公式里分母为0时（如
a == b == 0），退回到绝对误差判断 - 示例片段：
bool is_equal(double a, double b, double eps = 1e-9) {
if (std::isnan(a) || std::isnan(b)) return false;
if (a == b) return true; // 处理±0、无穷大相等情况
double diff = std::abs(a - b);
double scale = std::max(std::abs(a), std::abs(b));
return diff <p>这个版本兼顾了性能（短路判断）、安全性（<code>NaN</code>和零）和适应性（自动切换绝对/相对容差）。</p><h3>哪些场景必须用自定义比较，而不是绕开</h3><p>有人试图用整数缩放（如<code>round(x * 100) == round(y * 100)</code>）或字符串格式化再比较，这些方法要么丢失精度，要么引入额外开销和边界问题（比如<code>1.005</code>四舍五入成<code>100</code>还是<code>101</code>？）。</p><p>真正需要自定义比较的典型场景：</p>
- 几何计算中判断两点距离是否为0（如碰撞检测）
- 数值算法收敛判断（如迭代法中
abs(new_val - old_val) ） - 容器查找：
std::find_if配合自定义谓词，而非依赖operator== - Google Test等框架的
EXPECT_NEAR底层就是类似逻辑，别自己重复造轮子但要理解它怎么工作
最易被忽略的一点：比较前是否已发生不可逆精度损失 —— 比如从float读入再转double，误差已在源头产生，再精细的eps也救不回来。这时候得回溯数据来源或换更高精度类型。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
