OCaml中如何在try/with异常块中正确检测nan值

• OCaml模式匹配规则中，小写开头的标识符会被识别为变量绑定，你写在with分支里的nan会匹配所有传入的异常值并绑定到名为nan的变量上，不会匹配你预期的NaN常量。
• 更核心的逻辑错误：nan不是异常，是IEEE 754标准定义的浮点数合法计算结果，0.0 /. 0.0这类浮点数非法运算在OCaml中不会抛出任何异常，会直接返回nan值，try/with块根本捕获不到这个结果。
• NaN有个核心特性是和自身不相等，即nan = nan返回false，因此永远不可能通过等值判断（包括模式匹配的常量匹配）直接捕获NaN，必须用专门的检测函数。

不要用异常捕获处理NaN场景，直接在计算逻辑中做边界判断和结果检测即可：

1. 最稳妥的写法是提前判断空列表边界，从根源避免NaN产生：

let avg lst =
  match lst with
  | [] -> 0.0
  | _ ->
    let sum_val = sum lst in
    let len_val = Float.of_int (length lst) in
    sum_val /. len_val

2. 如果需要兼容其他可能产生NaN的计算场景，可以在计算完成后用标准库提供的Float.is_nan函数做检测：

let avg lst =
  let res = sum lst /. Float.of_int (length lst) in
  if Float.is_nan res then 0.0 else res

• 如果你使用的OCaml版本低于4.07（没有内置Float.is_nan），可以利用NaN不等于自身的特性，用nan <> res的逻辑做检测。
• OCaml中只有整数除以0会抛出Division_by_zero异常，浮点数除法遵循IEEE 754规则，除零会返回nan、infinity或neg_infinity，不会触发异常流，不要尝试用try/with捕获这类结果。

内容的提问来源于stack exchange，提问作者Simplicissimus