在 OCaml 库中仅运行一次代码

Question

我正在编写一个 OCaml 库，其中包含一些初始化代码，这些代码在使用该库的程序的生命周期内只需要运行一次（并存储一些将在程序的生命周期中持续存在的状态，但只能在库本身内使用），以及一些仅在使用该库的程序退出时才需要运行的清理代码。

如果相关的话，我的库由两部分组成：低级 C 库的接口，以及一些使编程更容易的高级内容。我可以在 C 的某个地方做我需要的事情吗？理想情况下，我的用户不会关心它是如何实现的，他们永远不会看到 C 位。

在 Python 中，我会通过在 import 上运行代码来实现此目的，但 OCaml 的 open 实际上并不运行任何东西，它只是对模块命名空间进行糖化处理，然后是 Python 的 atexit< /code>，但我找不到 Ocaml 等效项。

我考虑过的一种方法是将我的库构建为一个“框架”，但我认为它的重要性不足以保证这种过度设计的方法。谢谢！

更新：好的，我想明白了。我正在使用 C 代码来处理退出时的清理，并且我对代码进行了一些修改，因此在 C 端有一个指向全局状态的指针，

它会出现在我的库中，我现在 ？

let global_env = env_create ()

当主程序打开时，它确实运行...但是如何运行呢

Answer 1

请注意，这可以在 OCaml 端使用 Pervasives.at_exit 和顶级语句来创建环境并安装清理代码：

let env = init ()
let cleanup () = do_clean env
let () = at_exit cleanup 

let f x = f_stub env x

顶级语句在模块加载（无论您最终是否使用）和模块加载时执行按照您在链接时指定的顺序（因此依赖于其他模块的模块可以保证在轮到它们时初始化它们的依赖项），请参阅 ocamlc 手册。这意味着顶级语句将在您尝试访问模块之前执行。这不是打开模块的问题，open 只是一种（糟糕的）语法便利。

如果您希望当且仅当模块的函数最终被调用时才执行初始化代码，请使用惰性值：

let env = lazy (init ())
let cleanup () = if Lazy.lazy_is_val env then (do_clean env) else () 
let () = at_exit cleanup

let f x = f_stub (Lazy.force env) x

顺便说一句。不要忘记记录线程安全所产生的问题......

Answer 2

正如 let x = function ... 定义了一个从该点可用的函数 x
从此以后，您的 let global_env = ... 定义了一个值 global_env 。如果你不这样做
需要 env_create 的返回值，因为您运行它只是为了它的副作用，
你也可以在末尾（说实话，任何地方）提到 env_create ()
ml 文件。
在这种情况下，我会执行 let _ = env_create () ，我认为这更明确。

编辑：R指出以下是错误的：
“要纯粹用 C 语言实现，我认为 _init 和 _fini 是需要寻找的东西。”
正如HOWTO中所解释的，它确实已被弃用，现在应该完成通过属性。