不能直接用==判断浮点数是否为零，因浮点数二进制近似表示导致计算结果常为极小非零值（如1.23e-17），使x == 0.0返回false；应使用std::abs(x) < epsilon（如1e-9）判断是否接近零。
直接用 == 判断浮点数是否为零会出问题
对 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——这又绕回浮点比较的老问题。
立即学习“C++免费学习笔记（深入）”；
- 提供成员函数：
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++ 表达式的值，不要混用
浮点零判断的阈值不是越小越好，太小会导致本该合并的微小误差被当作有效信号；太大又可能吞掉真实的小非零值。这个平衡点得结合你的数据量级和误差来源来调，没法一劳永逸。
