BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

F#中不同类型的NULL值

| 作者 Jonathan Allen 关注 530 他的粉丝 ,译者 王波 关注 0 他的粉丝 发布于 2009年6月7日. 估计阅读时间: 3 分钟 | Google、Facebook、Pinterest、阿里、腾讯 等顶尖技术团队的上百个可供参考的架构实例!

之前有人认为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) = value.Value > 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 > 0

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

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

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT