F#中不同类型的NULL值

\

之前有人认为F#可以让我们从未经检验的NULL值中解放出来。然而，不仅事实上并非如此，而且它还引入了若干不同类型的NULL值。我们首先来研究一下在C#代码中都普遍存在的问题。

\

\int GetLength(string value) { return value.Length; }

\

除非你打开代码分析并且该函数是公有函数，否则你只会得到一个该函数可能抛出NullReferenceException的警告。现在，让我们来分析一下等价的F#代码。

\

\let GetLength (value : string) = a.Length\

\

就像C#版本那样，如果你意外地传给它一个NULL值，它就会抛出NullReferenceException异常。但和C#不同的是，编译的时候你甚至不会收到一个警告。

\

接下来则是可为空的结构。测试代码先用C#编写，接着是类似的F#代码。

\

\static public bool IsPositive(int? value) { return value.Value \u0026gt; 0; }\let IsPositive( value : Nullable) = value.Value \u0026gt; 0

\

再者，两个版本都容易抛出异常。这里的异常是指InvalidOperationException。

\

既然我们确定使用传统的类型与其它类型一样危险，那么我们转向新的可选类型。首先，我们使用\"option\"代替普通字符串来对GetLength进行重新编码。

\

\let GetLength2 (value : option) = value.Value.Length

\

现在我们就有可能得到两种不同异常。如果不给函数传入参数，就会得到一个InvalidOperationException异常。如果给该函数传入\"某种类型的NULL值\"，就会得到NullReferenceException。同样，不会有任何编译器警告提示你代码可能会出错。

\

F#也添加了三重NULL值的概念。因为你可以在可选类型中进行嵌套，所以能编写非常傻瓜化的函数，如下所示：

\

\let GetLength3 (value : option) = value.Value.Value.Length

let IsPositive( value : option) = value.Value.Value \u0026gt; 0

\

在使用F#类型来代替普通的CLS类型的时候，事情有所好转。F#中定义的类不能赋NULL值。然而，它们仍然可被封装到option类型，抛出NULL值安全提示并带我们到编译器发出问题警告的地方。

\ 查看英文原文： The Many Types of Null in F#