F#模块顶层do语句的执行时机规则是什么

核心执行规则 #

F# 模块顶层的do语句、顶层let绑定的静态值，都属于模块静态构造函数的逻辑，执行遵循以下规则：

• 同一程序集内：初始化顺序完全由源文件的编译顺序决定，编译顺序靠前的文件，其顶层逻辑必然在后续文件的顶层逻辑之前执行，该行为由F#编译器保证。
• 跨程序集场景：不存在“加载依赖程序集就自动执行其所有模块顶层代码”的逻辑。只有当模块内的静态成员/静态绑定值被第一次实际访问时，模块的静态构造函数才会触发，对应顶层do语句才会执行。

打印缺失的根因 #

A.fs内容没有被打印，核心原因是两个文件分属不同类库，且B.fs中仅使用了A中定义的MyType记录类型做类型标注、构造记录实例。

F#中定义的类型属于.NET元数据，程序集加载时即可读取类型结构、完成类型检查和实例构造，这个过程不会触发定义该类型的模块的静态构造函数。只有访问模块内定义的静态绑定值、静态成员时，才会触发静态构造，运行顶层do逻辑。
这也是为什么仅在B中使用A的类型时，A里的do全程没有执行。

跨模块初始化的依赖可靠性 #

• 同程序集内：只要源文件编译顺序和依赖顺序一致，可以可靠依赖靠前模块的do语句先执行完成。
• 跨程序集场景：完全无法依赖隐式的do执行顺序：
  • 仅引用对方程序集的类型、不访问其静态值的场景下，对方模块的do可能全程不执行；
  • .NET运行时对跨程序集的静态构造触发时机没有全局顺序保证，即使双方都有静态初始化逻辑，也不能默认依赖方的初始化一定晚于被依赖方。

如果需要强制触发A模块的初始化，可以在A中定义一个无实际作用的静态绑定值，在使用A的类型前显式引用该值即可，示例：

// A.fs
type MyType = { ... }
// 用于触发模块初始化的占位静态值
let initMarker = ()
do System.Console.Write("A.fs")

// B.fs
// 显式引用静态值，触发A的静态构造
let _ = A.initMarker
let x : A.MyType = { ... }
do System.Console.Write("B.fs")

上述代码运行时会稳定先打印A.fs再打印B.fs。

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