OCaml编译报错“Unbound module Array”问题求助

这个问题的核心原因其实很直白——你的源文件名和OCaml标准库的Array模块重名了！

当你把代码文件命名为array.ml时，OCaml编译器会默认把这个文件当作一个名为Array的本地模块，编译时会优先查找你这个本地模块，而非标准库自带的Array模块，自然就会抛出“Unbound module Array”的错误。

这里有两个直接可行的解决办法：

方法1：修改源文件名（最推荐） #

直接给你的源文件换个名字，比如改成array_demo.ml或者my_array_test.ml，彻底避免和标准库模块重名。然后用正确的命令编译生成可执行文件：

ocamlc array_demo.ml -o array_demo.byte

（注：原命令里的-c参数是仅编译生成目标文件，不链接成可执行文件；如果不需要指定输出文件名，直接运行ocamlc array_demo.ml会默认生成a.out可执行文件）

方法2：显式引用标准库的Array模块（若需保留原文件名） #

如果你坚持要用array.ml作为文件名，可以在代码里明确指定使用标准库的Array模块（OCaml 4.07及以上版本中，标准库模块都放在Stdlib命名空间下）：

let data = [| 1; 2; 3; 4; |] in 
let len = Stdlib.Array.length data in 
# 顺便修正原代码的两个小问题：循环范围越界+打印内容不符预期
for i = 0 to len - 1 do
    Printf.printf "数组元素data.(%d) = %d\n" i data.(i)
done

然后用正确的编译命令生成可执行文件：

ocamlc array.ml -o array.byte

额外提示：原代码的小问题 #

顺便提一句，你原代码里的for i = 0 to len do会触发数组越界——数组长度是len，合法索引范围是0到len-1，当i=len时访问数组会引发运行时错误；另外原代码打印的是循环变量i，如果你的目标是打印数组元素，记得改成data.(i)哦。

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