之前有人认为 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 > 0; } let IsPositive( value : Nullable<int>) = value.Value > 0<br></br></int>
再者,两个版本都容易抛出异常。这里的异常是指 InvalidOperationException。
既然我们确定使用传统的类型与其它类型一样危险,那么我们转向新的可选类型。首先,我们使用"option"代替普通字符串来对 GetLength 进行重新编码。
let GetLength2 (value : option<int>) = value.Value.Length<br></br></int>
现在我们就有可能得到两种不同异常。如果不给函数传入参数,就会得到一个 InvalidOperationException 异常。如果给该函数传入"某种类型的 NULL 值",就会得到 NullReferenceException。同样,不会有任何编译器警告提示你代码可能会出错。
F#也添加了三重 NULL 值的概念。因为你可以在可选类型中进行嵌套,所以能编写非常傻瓜化的函数,如下所示:
let GetLength3 (value : option<string>) = value.Value.Value.Length<p>let IsPositive( value : option<int>) = value.Value.Value > 0<br></br></int></p></string>
在使用 F#类型来代替普通的 CLS 类型的时候,事情有所好转。F#中定义的类不能赋 NULL 值。然而,它们仍然可被封装到 option 类型,抛出 NULL 值安全提示并带我们到编译器发出问题警告的地方。
查看英文原文: The Many Types of Null in F#
评论