不能直接用==判断浮点数是否为零，因浮点数二进制近似表示导致计算结果常为极小非零值（如1.23e-17），使x == 0.0返回false；应使用std::abs(x)
直接用 == 判断浮点数是否为零会出问题
对
int、long这类整型，x == 0完全可靠；但对float或double，由于浮点数存在精度误差，计算结果可能不是数学意义上的“精确零”，而是极小的非零值（如1.23e-17），此时x == 0.0会返回false，导致逻辑错误。常见错误现象：
sqrt(4.0) - 2.0 == 0.0在某些编译器或优化级别下可能为false；矩阵求逆、数值积分中频繁出现“本该是零却判不等”的 bug。
- 正确做法：用绝对值比较，例如
std::abs(x)- 阈值选多大？取决于场景：物理仿真常用
1e-6，高精度科学计算可能用1e-15；可定义为constexpr double EPS = 1e-10;- 别用
std::numeric_limits<double>::epsilon()</double>直接当阈值——它表示的是 1.0 附近的相对精度，不是“零附近”的容差判断指针是否为空应该用 nullptr 而不是 0
if (ptr == 0)虽然能通过编译（C++11 前允许隐式转换），但语义模糊，且在重载了operator==的类中可能意外调用错误重载版本。
- 统一用
if (ptr == nullptr)—— 类型安全、意图清晰、避免宏NULL的整型歧义- 对智能指针（如
std::unique_ptr），同样适用：if (!ptr)或if (ptr == nullptr)都合法且推荐- 注意：
if (ptr)是检查“非空”，不是“是否为零”，但这是更自然的写法自定义类型怎么支持“是否为零”判断
比如你写了
struct Vec2 { double x, y; };，想表达“是否为零向量”，不能依赖默认的==（没定义），也不能硬写v.x == 0 && v.y == 0——这又绕回浮点比较的老问题。
- 提供成员函数：
bool is_zero(double eps = 1e-9) const { return std::abs(x)- 或重载
operator==，但必须接受一个容差参数，或依赖外部 EPS（不推荐隐式全局依赖）- 避免把“零值判断”写成全局函数模板，除非你明确控制所有实例化的类型和精度策略
编译期常量零的判断要小心模板推导
写模板时，如果想特化“当参数是编译期零时走特殊路径”，别用
if (N == 0)——运行期分支无法触发编译期特化。
- 用
if constexpr (N == 0)（C++17 起），确保分支在编译期裁剪- 对非字面量类型（如
std::array），无法做编译期零判断，得退回到运行期逻辑- 宏
#ifdef无法检测 C++ 表达式的值，不要混用浮点零判断的阈值不是越小越好，太小会导致本该合并的微小误差被当作有效信号；太大又可能吞掉真实的小非零值。这个平衡点得结合你的数据量级和误差来源来调，没法一劳永逸。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
