OCaml阶乘函数返回负数问题求助：代码异常排查

问题原因 #

你遇到的负数结果是整数溢出导致的。OCaml的int类型是固定宽度的有符号整数（多数现代系统为64位），其最大值为2^63 - 1（即9223372036854775807）。而21的阶乘是51090942171709440000，远大于这个最大值，当乘法运算超出int的存储范围时，会触发有符号整数溢出，最终结果变成负数（补码循环的表现）。

另外你的错误检查逻辑存在缺陷：仅通过!value = 0判断溢出，但溢出后的结果不一定是0，可能是负数或其他非零值，无法准确捕获所有溢出情况。

解决方法 #

方法1：使用大整数类型（推荐） #

OCaml标准库提供了Big_int模块（或更现代的Zarith库的Z模块），支持任意大小的整数运算，完全避免溢出问题。修改后的代码如下：

open Big_int;;

exception FactorialError of string;;

let rec factorial (n: int) : big_int =
  if n < 0 then raise (FactorialError "输入数字必须大于等于0");
  if n = 0 then unit_big_int else mult_big_int (big_int_of_int n) (factorial (n - 1));;

for i = 0 to 100 do
  let value = factorial i in
  print_string ("i: " ^ string_of_int i);
  print_string "\nValue: ";
  print_big_int value;
  print_string "\n\n"
done;;

这个版本可以计算任意大的n的阶乘，不会出现溢出或负数结果。

方法2：限制输入范围 #

如果必须使用int类型，可以提前判断输入是否超出int能容纳的阶乘最大值（64位int下，最大安全n是20，因为20! = 2432902008176640000 < 2^63 -1），修改代码如下：

exception FactorialError of string;;

(* 64位int下，能正确计算阶乘的最大n *)
let max_safe_n = 20;;

let rec factorial (n: int) : int =
  if n < 0 then raise (FactorialError "输入数字必须大于等于0");
  if n > max_safe_n then raise (FactorialError ("n = " ^ string_of_int n ^ " 超出int类型的阶乘计算范围"));
  if n = 0 then 1 else n * factorial (n - 1);;

let value = ref 1;;
for i = 0 to 100 do
  try
    value := factorial i;
    print_string ("i: " ^ string_of_int i);
    print_string "\nValue: ";
    print_int !value;
    print_string "\n\n"
  with FactorialError msg ->
    print_endline msg;
    exit 0
done;;

这个版本会在n超过安全范围时直接抛出错误，避免溢出导致的异常结果。

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