PHP fdiv 除数为零时的 INF 与 NAN 处理方案

我在整理比例指标时遇到过一个容易被忽略的分支：分母来自业务数据，偶尔会是 0。PHP 的 fdiv() 不会把这类输入统一变成异常，而是按 IEEE 754 返回有限浮点值、INF、-INF 或 NAN。因此正确做法不是看到“没有抛错”就继续入库，而是先识别结果，再决定业务是否接受。

官方地址：https://www.php.net/fdiv

如果目标是保留 IEEE 754 语义，就保留并标记特殊值；如果目标是报表、金额或接口字段，通常应在计算层把非有限结果转成明确的空值或业务错误。fdiv() 只是改变除零的计算结果模型，不替代输入校验。

先把 fdiv 的结果分成三类

fdiv(float $num1, float $num2) 返回浮点数。分母为 0 时，非零分子根据符号得到正无穷或负无穷，0 除以 0 得到 NAN；分母非零且计算正常时得到有限值。NAN 有一个特别重要的性质：它连自己都不等于自己，所以不能用 $value === NAN 判断。

我会先保留原始结果的分类，再进入展示、持久化或接口转换。这样日志里能区分“没有数据”和“计算结果无穷”，排查时不会把多个原因揉成一个 0。

用 is_finite 设定业务可接受边界

报表百分比、平均单价和接口数值通常只接受有限数字。可以让计算函数返回可空浮点数，把特殊值留在计算边界之外：

如果业务必须区分原因，不要只返回 null，可以返回包含 kind 和 value 的结果对象：zero-denominator、nan、infinite 与 finite 分开记录。金额、库存和用户可见报表尤其不应把 INF 直接格式化成字符串后发送。

需要 IEEE 754 时，保留分类而不是强行归零

科学计算、趋势方向或内部诊断有时需要保留无穷值。此时不要用“统一转 0”的快捷修复，因为它会掩盖分母为零的事实。先用 is_nan()、is_infinite() 和 is_finite() 选择分支：

 'nan', 'value' => null]; // 0/0，结果未定义
    }

    if (is_infinite($value)) {
        return ['kind' => $value > 0 ? 'positive-infinity' : 'negative-infinity', 'value' => $value];
    }

    return ['kind' => 'finite', 'value' => $value]; // 可继续做精度和范围判断
}
?>

这个分类结果比直接调用 number_format() 更可靠：展示层可以为无穷值提供业务文案，数据层也可以在落库前拒绝它们。

不要把 fdiv 和 / 当成同一个错误契约

PHP 8 的除法运算符在除零场景会进入 DivisionByZeroError 错误路径；fdiv() 则返回 IEEE 754 浮点结果。两者选择取决于调用方契约：需要立即阻断非法输入时，先显式检查分母并抛出业务异常；需要保留特殊浮点语义时，使用 fdiv() 并在后面分类。

因此，机械地把所有 / 替换为 fdiv() 可能会改变线上行为：原来能被监控捕获的错误，可能变成继续传播的 INF 或 NAN。迁移时要同步检查日志、序列化、数据库列类型和接口协议。

上线前的四项边界清单

• 是否明确分母为零时要“拒绝”“返回空值”还是“保留特殊值”。
• 是否用 is_nan() 或 is_finite() 判断，而不是用等号判断 NAN。
• 是否在 JSON、数据库和前端协议边界前处理 INF、-INF 与 NAN。
• 是否记录 PHP 版本要求：fdiv() 从 PHP 8.0 提供，旧版本不能直接依赖它。

常见问题

fdiv(0, 0) 能不能当成 0？

不能。它表示未定义结果，应该按业务规则转为空值、错误或单独的诊断状态。

fdiv 能避免所有除零异常吗？

它避免的是运算符式的除零错误路径，并不代表输入合法，也不保证结果适合展示或持久化。

为什么不能用 $value === NAN？

IEEE 754 的 NAN 不等于任何值，包括它自己；请使用 is_nan($value)。

把 fdiv() 看成“可观察的浮点结果生成器”更准确：先识别结果域，再决定业务动作，才不会让一个看似正常的数值把错误带到更远的链路。