C# 8中的可空引用类型

时间:2024-09-24 11:06:56

原文:Nullable Reference Types In C# 8

作者:.NET Core Tutorials

译者:Lamond Lu

C# 8中的可空引用类型

现状

可空引用类型

自从我开始学习.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>

注意: 这会将所有警告视为错误,而不仅仅是关于空引用问题的警告。但这意味着如果有警告被抛出,你的项目将不再编译!