从C#访问F#计算结果遇异常：sum2、sum3值为0的原因与解决

1. 为何C#中sum2、sum3的值为0，F#本地运行正常？ #

F#模块里的顶级let绑定会被编译成静态字段，但这些字段的初始化逻辑被放在模块的静态构造函数里。CLR的静态构造函数触发时机有规则：只有访问模块的静态方法、创建模块实例，或者JIT编译器判定必须执行时才会触发。

C#直接读取这些静态字段时，可能静态构造函数还没执行，此时字段会返回对应类型的默认值（int类型默认是0）。而F#本地运行时，模块的静态构造函数会在程序启动阶段就被触发，所以能拿到正确的计算结果。

sum4结果符合预期，大概率是因为它的定义方式避开了这个问题：比如它是一个函数（而非字段），调用函数时会触发模块静态构造；或者它被标记了[<Literal>]属性，编译为直接嵌入的常量，无需依赖静态构造初始化。

2. 如何修改代码，使C#能获取sum2、sum3的正确结果？ #

根据值是否为编译时常量，有两种解决方案：

方案一：编译时常量（值在编译时可确定） #

给sum2、sum3添加[<Literal>]属性，F#会把它们编译为常量，C#直接读取常量值，无需依赖静态构造函数：

[<Literal>]
let sum2 = 1 + 2

[<Literal>]
let sum3 = 1 + 2

注意：[<Literal>]仅支持基本类型（int、string等）和编译时可计算的表达式，不能用于运行时动态计算的值。

方案二：运行时计算的值 #

如果值需要运行时计算，可采用以下两种方式：

方式1：封装为静态属性

在F#模块中把值定义为静态成员属性：

module MyMathModule =
    static member Sum2 = 1 + 2
    static member Sum3 = 1 + 2

C#中通过MyMathModule.Sum2访问属性时，会执行计算逻辑，同时触发模块的静态构造，确保拿到正确值。

方式2：强制触发模块初始化

如果不想修改F#代码，可在C#中先访问模块的任意静态成员（比如一个空的初始化方法），触发静态构造函数：

// 先触发模块静态构造
MyMathModule.DoNothing();
// 再读取值
int sum2 = MyMathModule.sum2;

对应的F#模块需要添加一个空方法：

module MyMathModule =
    let sum2 = 1 + 2
    let sum3 = 1 + 2
    let DoNothing() = ()

内容的提问来源于stack exchange，提问作者Andreas Forslöw