C# 8中的可空引用类型

发布时间:2019-01-12 08:43  浏览次数:90

原文:Nullable Reference Types In C# 8
<https://dotnetcoretutorials.com/2018/12/19/nullable-reference-types-in-c-8/>
作者:.NET Core Tutorials
译者:Lamond Lu



现状

可空引用类型?

自从我开始学习.NET, 引用类型一直就是可空的。然而初级程序员通常会告诉你值类型不可空,引用类型可空。

事实上,在.NET中有一种语法可以表明一个值类型是否可空。
int? nullableInt1 = null; Nullable<int> nullableInt2 = null; int nullableInt3
= null; //编译错误
并且这种语法并不只适用于原始类型,它也适用于struct

Tips: Struct本身就是值类型
struct MyStruct { } static void Main(string[] args) { MyStruct? mystruct1 =
null; MyStruct myStruct2 = null; }
但是现在我们希望在编译以下代码时,编译器能给出错误或者警告
class MyClass { } static void Main(string[] args) { MyClass myClass = null; }
为什么?

这里我们第一个问题就是,为什么需要让编译器给出错误或者警告?

我们接下来已一段简单的代码为例。
class MyClass { public void SayHello() { Console.WriteLine("Hello"); } }
static void Main(string[] args) { var myClass = new MyClass();
myClass.SayHello(); }
这个代码是某个功能的最初版本,看起来非常的简单,并且会运行的很好。

现在我们想象一下,一段之间之后,另外一个程序员加入了项目,将程序修改如下
class MyClass { public void SayHello() { Console.WriteLine("Hello"); } }
static void Main(string[] args) { var myClass = new MyClass(); ... if (true) {
myClass = null; } ... if(myClass == null) { ... } ... myClass.SayHello(); }
这样的代码看起来很傻,但是现实情况中确实会发生,有人会将myClass
设置为null来满足他们正在处理的功能。它深藏在程序中,甚至可以通过单元测试,所有的功能看起来都运行良好。

但是在某个特定的时间点, 特定的条件下,程序会抛出一个NullReferenceException空引用异常,
这时候我们才会发现我们缺少了空引用判断,然后添加一定的防护。
class MyClass { public void SayHello() { Console.WriteLine("Hello"); } }
static void Main(string[] args) { var myClass = new MyClass(); ... if (true) {
myClass = null; } ... if(myClass == null) { ... } ... if(myClass != null) {
myClass.SayHello(); } }
那么如何避免其他程序员,或者未来的自己,陷入这种空引用的陷阱呢?

启用可空引用类型

如上所述,这里我们首先需要使用C#8的Nullable Reference Types功能。 完成后,只需要在项目的csproj文件中添加一行:
<NullableReferenceTypes>true</NullableReferenceTypes>
就可以了。

编译器产生警告

一旦我们启用了该功能,让我们看一段简单的代码来说明它是如何工作的。
class MyClass { public void SayHello() { Console.WriteLine("Hello"); } }
static void Main(string[] args) { MyClass myClass = null; myClass.SayHello(); }
如果编译以上代码的话,我们会得到2个警告。这里我使用了加粗字体,是因为我们得到的只是警告,不是编译错误。你的程序依然可以编译和启动。

第一个警告是我们尝试将null分配给未明确设置为允许空值的变量。
Converting null literal or possible null value to non-nullable type.
第二个警告是当我们尝试实际使用非可空类型时,编译器认为它将为null。
Possible dereference of a null reference.
所以这两个警告都不会阻止我们的应用程序运行,但它会警告我们我们可能遇到麻烦。

下面让我们修改代码,让我们的引用类型变量可空

C# 8中可用引用类型的定义于可空值类型一样,即在声明时,类型名的后面加?号
static void Main(string[] args) { MyClass? myClass = null; myClass.SayHello();
}
这里有趣的是,修改完代码后,编译项目,你依然会收到Possible dereference的警告。为了消除掉这个警告,你可以添加空引用检查。
static void Main(string[] args) { MyClass? myClass = null; if (myClass !=
null) { myClass.SayHello(); } }
至此,所有的警告都消失了。

编译器警告的限制

在我们实际编码过程中,引用类型可以在方法,类,甚至程序集中传递。因此抛出警告时,它并不是万无一失的。例如,我们有如下代码:
class MyClass { public Random Random = new Random(); } static void
Main(string[] args) { MyClass myClass = new MyClass(); SomeMethod(myClass); var
next = myClass.Random.Next(1, 10); } static void SomeMethod(MyClass myClass) {
myClass.Random = null; }
这里编译器只会警告我们在分配一个null值给一个没有明确指定可空的变量。但是我们不会得到Possible dereference
的警告。这里我们可以推断,一旦将对象传递到方法之外,无论在那里发生什么(如设置null),我们都不会被警告。但是如果我们在相同的代码/方法块中如此明确地分配null,然后尝试使用它,那么编译器将尝试给我们一个帮助。

为了与上述代码比较,以下代码确实会收到2条警告
static void Main(string[] args) { MyClass myClass = new MyClass(); if (new
Random().Next(1, 10) > 5) { myClass = null; } myClass.SayHello(); }
启用可空引用类型的严格模式

如果你希望用错误替换警告,你可以升级整个检查到严格模式。这里你只需要在项目的csproj文件中添加一行:
<TreatWarningsAsErrors>true</TreatWarningsAsErrors>
注意: 这会将所有警告视为错误,而不仅仅是关于空引用问题的警告。但这意味着如果有警告被抛出,你的项目将不再编译!

其他工具相关

标签

归档

阅读排行