OCaml存储大整数报错：超大十进制数转十六进制失败

问题重现 #

直接定义超大整数时触发溢出错误：

# let large_int = 11515195063862318899931685488813747395775516287289682636499965282714637259206269 ;;
Error: Integer literal exceeds the range of representable integers of type int

尝试用Int64转换同样失败：

# let large_int = Int64.of_string "11515195063862318899931685488813747395775516287289682636499965282714637259206269";;
Exception: Failure "Int64.of_string".

核心原因 #

OCaml原生的int（依赖机器字长，通常32/64位）和Int64（最大支持64位整数）都有固定范围，你使用的十进制数远超出这个范围，必须用任意精度整数库处理。

解决方案：使用Zarith库 #

Zarith是OCaml生态中最常用的任意精度整数库，能处理无上限的大整数运算。

1. 安装Zarith #

通过opam包管理器安装：

opam install zarith

2. 修改代码适配大整数 #

将原代码基于原生int的逻辑，改为使用Zarith的Z.t类型，直接从字符串解析超大十进制数：

open Z

(* 分割大整数为字节列表（每个元素范围0-255） *)
let rec split_digits n =
  if equal n zero then [] else
    let d = to_int (n mod (of_int 256)) in
    let rest = n / (of_int 256) in
    d :: split_digits rest

(* 从十进制字符串解码为字节字符串 *)
let decode_base10 message_str =
  let n = of_string message_str in
  let bytes_arr = List.rev (split_digits n) in
  String.concat "" (List.map (fun x -> String.make 1 (Char.chr x)) bytes_arr)

(* 测试超大十进制数 *)
let large_message_str = "11515195063862318899931685488813747395775516287289682636499965282714637259206269"
let decoded_large_message = decode_base10 large_message_str

(* 原示例小数测试 *)
let small_message_str = "310400273487"
let decoded_small_message = decode_base10 small_message_str

代码说明 #

• open Z：引入Zarith的大整数操作模块
• split_digits：改用Zarith的mod/div/equal等函数处理大整数，余数转为int（每个字节≤255，不会溢出）
• decode_base10：接收字符串输入，用Z.of_string解析为大整数，彻底避免原生整数溢出问题
• 不管是超大数还是普通小数，都能通过字符串输入正常处理

验证 #

编译运行修改后的代码，超大十进制数会被正确分割为字节并转换为对应字符串，不再出现溢出错误。

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