在 F# 中,Record Type 是无法表达 null
语义的,例如,一个 Record 变量不能够使用 null
字面量赋值,接收 nullable(这里并不是指 BCL 中的 Nullable<T>
类型,而是指 C# 8.0 之前的引用类型)作为参数的函数不能使用 Record 作为参数:
type Foo = {Id: string}let foo: Foo = null // 编译错误let foo = {Id: "2333"} // 编译通过let fooOp = Option.ofObj foo // 编译错误
F# 的设计者可能认为 Record 作为一个典型的函数式语言特性,使用 option 来表达 nullable 会更加 Functional,所以就禁止了 Record 与 null
的直接转换。这种愿景非常美好,但是实际上大部分的 .Net 生态环境都是使用 C# 来构建的,比如 Linq。下面的一段代码就会在 F# 中引发可怕的“空引用异常”:
open System.Linqlet foos: Foo list = []let nill = foos.FirstOrDefault()//> let nill: Fooprinrf "%A" nill.Id //<-- 空引用异常
可以看到,FirstOrDefault
的返回值尽管是 Foo
类型,但是在运行时其结果永远都是 null
,又因为 F# 禁止了 Record 与 null
相关的比较操作,所以此处无法直接进行判断结果是否为 null
。
我采用的做法就是进行类型转换,首先将 Record 类型转换成 obj
,然后判断此处的引用是否为 null
:
module Optionlet ofRecord r = match box r with | null -> None | _ -> Some r
因为 F# 中的 Record 类型底层就是使用引用类型来实现的,所以这里并不会产生真正的装箱操作,对性能的影响并不会太大。