如何在OCaml进程退出时执行数据刷盘代码？求类似atexit的机制

OCaml标准库提供了Stdlib.at_exit函数，完全对应你提到的Python atexit或Node.js process.on('exit')的核心功能：它会在进程正常退出（比如调用exit函数、main函数执行完毕）时，按注册的逆序执行所有注册的回调函数。

基本用法示例 #

let flush_data () =
  print_endline "Flushing data to disk...";
  (* 这里写实际的刷盘逻辑 *)

(* 注册退出回调 *)
let () = Stdlib.at_exit flush_data

let () =
  print_endline "Main program running";
  (* 正常退出时，flush_data会被自动调用 *)
  exit 0

处理异常终止场景 #

at_exit只覆盖正常退出的情况，如果要处理进程被信号终止（比如SIGINT、SIGTERM）这类异常终止场景，你需要结合信号捕获来实现：

open Unix

let flush_data () =
  print_endline "Flushing data to disk...";
  (* 实际刷盘操作 *)

let handle_signal _ =
  flush_data ();
  exit 1 (* 执行完刷盘后手动退出 *)

let () =
  (* 注册正常退出回调 *)
  Stdlib.at_exit flush_data;
  (* 捕获常见终止信号 *)
  signal sigint (Signal_handle handle_signal);
  signal sigterm (Signal_handle handle_signal);

let () =
  print_endline "Running, press Ctrl+C to test";
  while true do
    Unix.sleep 1
  done

为什么Gc.finalise不可靠 #

你之前尝试的Gc.finalise依赖OCaml的垃圾回收机制：只有当对象被GC标记为回收时，终结器才可能被触发。进程退出时，GC不会保证遍历所有对象并执行终结器，尤其是异常终止时，GC根本不会运行，所以终结器无法可靠完成刷盘这类关键操作。

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