为何C#中null表达式无法转为F#的None，字面量null却可以？

我正从C#创建F#记录类型SampleType的实例，该类型包含一个string option字段Name。当传入求值为null的表达式时，F#中该字段变为Some(null)；传入null关键字时则变为None，这导致被调用的F#代码出现空引用异常。

相关代码如下：

type SampleType = {
    Name: string option
}

string nameValue = null;

var sample1 = new SampleType(name: null);
OptionModule.IsNone(sample1.Name); // True because of literal null

var sample2 = new SampleType(name: nameValue);
OptionModule.IsNone(sample2.Name); // False because Name is Some null in this case.

请问为何两种情况的null未统一转为None？

回答 #

这是因为F#为兼容C#，对字面量null和变量传递的null做了差异化处理：

• 当在C#中直接传递字面量null给F#的option类型参数时，F#构造器会自动将其映射为None——这是F#编译器专门针对字面量null做的语法糖，目的是让C#调用更符合直觉。
• 但如果传递的是值为null的变量（比如nameValue），C#会将其作为普通string类型的null值传递，F#接收后会把这个null值包装进Some里，变成Some(null)——因为F#无法在运行时判断变量的null是有意传递还是意外产生，只能按实际传入的值处理。

这种差异本质是F#在静态编译时的特殊处理仅覆盖了字面量场景，运行时的变量值无法被编译器提前识别，因此出现了不一致的结果。若要避免这类问题，建议在C#调用时统一处理null：要么都使用字面量null，要么手动将变量的null转换为OptionModule.None（对应F#的None的C#调用方式）。

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