为什么 F# 中 None 自动更改为 null

Question

在 F# 交互中尝试以下代码时

> let a = None
- let b = (a, Some 1);;    
> b;;
val it : 'a option * int option = (null, Some 1)

它表明 b 的类型为'a option * int option，b 的类型是正确的。但是，元组的第一个元素的值为 null，而不是 None，为什么？

当尝试验证元组的第一个元素是否确实为 null 时

printfn "%s" (match b with (null, _) -> "null" | _ -> "not null");;

它给出以下错误

错误 FS0043：类型“a option”没有“null”作为正确值

当尝试获取元组中的第一个值时，

let c = fst b;;

它给

错误 FS0030：值限制。值 'c' 已被推断为具有泛型类型 val c : '_a option 将 'c' 定义为简单数据术语，使其成为具有显式参数的函数，或者，如果您不希望它是泛型的，添加类型注释。

Answer 1

值的内部表示None确实是一个null值。但这是内部表示，编译器将null和识别None为两个完全不同的值，因此您无法比较它们，因为它们是不同的类型。这就是为什么你会得到：error FS0043。

这其实是一个需要注意的地方：

let a = None
let b = (a, Some 1) 

let print  v = printfn "%A" v

sprintf "%A" a     |> print   // "<null>"
sprintf "%A" b     |> print   // "(None, Some 1)"
sprintf "%O" a     |> print   // "<null>"
sprintf "%O" b     |> print   // "(, Some(1))"
string       a     |> print   // ""
string       b     |> print   // "(, Some(1))"
a      .IsNone     |> print   // true
a      .IsSome     |> print   // false
a      .GetType()  |> print   // System.NullReferenceException: Object reference not set to an instance of an object.
a      .ToString() |> print   // System.NullReferenceException: Object reference not set to an instance of an object.
(fst b).ToString() |> print   // System.NullReferenceException: Object reference not set to an instance of an object.
(snd b).ToString() |> print   // "Some(1)"

...因为对None值调用某些方法会引发可怕的NullReference异常，并且转换为字符串也不稳定。

基本上error FS0030价值观不能是通用的。这在 SO 中已经讨论过很多次了。

来自受歧视联合的值似乎以特殊方式对待，它们似乎被授予例外，例如这些是通用的并且仍然可以：

type MyDU<'A, 'B> =
| ValNo
| ValA of 'A
| ValB of 'B

let v1 = ValNo   // MyDU<'a,'b> double generic but Ok
let v2 = ValA 1  // MyDU<int,'a> generic but Ok
let v3 = ValB 1  // MyDU<'a,int> generic but Ok

但这些都不行

let valNo() = ValNo
let valA  a = ValA a
let valB  b = ValB b

let w1 = valNo()   // MyDU<'_a,'_b> double generic not Ok
let w2 = valA 1  // MyDU<int,'_a> generic not Ok
let w3 = valB 1  // MyDU<'_a,int> generic not Ok