迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)

在我之前的一篇博客 NullReferenceException,就不应该存在! 中,我吐槽了 C# 中 null 的弊端以及避免 null 的方法;事实上这本都是现代高级语言中极力推崇的做法。Kotlin 和 Swift 自诞生之日起引用类型就不能为空,C# 背着历史的包袱直到 8.0 才开始这么做……


安装可空引用类型预览包

现在 C#8.0 还没有发布,但微软已经提供了预览的扩展包,让大家体验效果并予以反馈

扩展包下载地址:2017年11月5日版本 - 最新版

下载解压后直接双击 install.bat 安装即可体验(安装前退出所有 Visual Studio)。这还是预览版,还有很多已知 BUG,修复后才会发布哦!

迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)


体验可空引用类型的作用

现在,再写一个新类的时候,Visual Studio 会为我们提示非空引用类型未初始化,并给出建议。

迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)

迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)

采纳它的建议,生成构造函数:

迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)

迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)

如果我们认为这个属性可以为 null,那么就可以添加 ? 使此属性的类型变为可空引用类型。

迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)

这时,如果在非 null 的地方使用此属性,则会要求判空。

迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)


丢不掉的兼容性包袱

由于有兼容性的包袱(至少得让你写了数月几年的项目编译通过吧),所以 C#8.0 的可空引用类型仅仅是“契约”的作用,并不能在编译级别阻止对非空引用类型的 null 赋值。而且目前为止也没有提供编译级别报错的选项。

已有的程序集没有标记那些非空哪些可空,那么 C#8.0 又怎么看呢(其实应该问 Roslyn 怎么看)?它只能默认所有的类型都是非空的,于是会给你警告,就像这样:

迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)

很明显,string.IsNullOrEmpty 是接受 null 值的,然而改不了现有程序集,于是这样的标记也没有用。

从现在看来,我们只能把它当作 Code Contracts 的语法版本。


参考资料