为何`System.Void`与`unit`类型存在差异？

这个问题其实挺容易让人困惑的——毕竟文档明确说unit类型等效于C#的void，但从CLR类型的角度看，它们完全是两回事儿！下面给你拆解具体原因：

1. "等效"是语义层面，不是类型等价 #

文档里说的"等效"，指的是使用场景和语义上的替代关系：

• F#里用unit表示"无有效返回值"的操作，就像C#用void标记无返回值的方法；
• 但这并不代表它们在CLR类型系统里是同一个东西，只是F#编译器在跨语言交互时做了自动映射。

2. 两者的CLR类型本质不同 #

直接打印两个类型的完整名称就能看明白：

printfn "unit的CLR类型全名: %s" typedefof<unit>.FullName
printfn "System.Void的CLR类型全名: %s" typedefof<System.Void>.FullName

输出结果：

unit的CLR类型全名: Microsoft.FSharp.Core.Unit
System.Void的CLR类型全名: System.Void

• unit是F#核心库定义的合法值类型，它有且仅有一个实例()，可以作为变量类型、泛型参数等使用；
• System.Void是CLR的特殊标记类型，它不能被实例化，也不能作为变量或泛型参数使用——它仅仅是用来标记方法"无返回值"的元数据。

3. 跨语言交互的语法糖 #

那为什么调用C#的void方法在F#里会感觉像是返回unit？这是F#编译器的贴心处理：

• 当你调用返回void的C#方法时，F#编译器会自动把它包装成返回unit的表达式，让它符合F#"一切都是表达式"的规则；
• 反过来，F#里返回unit的函数被C#引用时，编译器会自动把它转换成返回void的方法。

这种映射是编译器层面的语法糖，而非类型本身的等价，所以直接比较两个Type对象自然会得到false。

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