OCaml报错Unbound module Sqlite3：基础编译配置解决方案

问题场景 #

正在学习OCaml，写了一段操作Sqlite3的简单代码：

let () =
  let db = Sqlite3.db_open "test.db" in
  Sqlite3.db_close db

已经用opam install sqlite3装好了依赖，也能在.opam/default/lib/sqlite3路径下看到库文件，但不管直接跑ocaml sqltest.ml，还是加参数ocaml -I +sqlite3 sqltest.ml，都会报错Error: Unbound module Sqlite3。想要不用dune、ocamlbuild、ocamlfind这些构建工具，只用基础的ocaml或ocamlc命令解决，同时搞懂背后的原理。

解决步骤 #

编译成可执行文件 #

用ocamlc编译时，不仅要指定库的路径，还要显式链接Sqlite3的字节码库文件：

ocamlc -I +sqlite3 sqlite3.cma sqltest.ml -o sqltest

编译完成后直接运行生成的可执行文件：

./sqltest

用OCaml解释器直接运行 #

如果不想编译成可执行文件，直接用解释器跑，需要先加载Sqlite3的库：

ocaml -I +sqlite3 sqlite3.cma sqltest.ml

或者先进入交互环境再加载代码：

ocaml -I +sqlite3 sqlite3.cma
# 进入交互界面后，输入 #use "sqltest.ml";; 来执行代码

为什么默认识别不了？ #

• OCaml基础编译器只会默认搜索标准库路径，opam装的第三方库路径不会自动被包含。-I +sqlite3只是让编译器能找到Sqlite3模块的接口文件（.cmi），但没告诉它要把库的实现代码链接到你的程序里。
• Sqlite3的功能是封装在单独的.cma（字节码库）或.cmxa（原生编译库）文件里的，必须在编译/运行时明确指定要链接这个库文件，编译器才能找到模块的实际实现，不然只会看到接口定义，找不到具体代码，就会报“Unbound module”错误。

背后的原理 #

• .cmi文件：是模块的接口描述，包含函数签名、类型定义等，编译器用它做类型检查，但不包含实际执行代码。
• .cma/.cmxa：是编译好的库文件，包含模块的所有实现代码，只有把它链接到你的程序里，才能真正调用模块里的函数。
• opam安装库时会把文件放到.opam/default/lib/sqlite3，同时给这个路径注册了+sqlite3的缩写，但基础编译器不会自动处理链接逻辑，必须手动指定要加载的库文件。

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