迫不及待地体验了一把 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,修复后才会发布哦!
体验可空引用类型的作用
现在,再写一个新类的时候,Visual Studio 会为我们提示非空引用类型未初始化,并给出建议。
采纳它的建议,生成构造函数:
如果我们认为这个属性可以为 null,那么就可以添加 ?
使此属性的类型变为可空引用类型。
这时,如果在非 null 的地方使用此属性,则会要求判空。
丢不掉的兼容性包袱
由于有兼容性的包袱(至少得让你写了数月几年的项目编译通过吧),所以 C#8.0 的可空引用类型仅仅是“契约”的作用,并不能在编译级别阻止对非空引用类型的 null 赋值。而且目前为止也没有提供编译级别报错的选项。
已有的程序集没有标记那些非空哪些可空,那么 C#8.0 又怎么看呢(其实应该问 Roslyn 怎么看)?它只能默认所有的类型都是非空的,于是会给你警告,就像这样:
很明显,string.IsNullOrEmpty
是接受 null
值的,然而改不了现有程序集,于是这样的标记也没有用。
从现在看来,我们只能把它当作 Code Contracts 的语法版本。
参考资料
- Nullable Reference