可空引用类型是C#8.0计划新增的一个功能,不过已经发布了预览版本,今天我们来体验一下可空引用类型。

安装

您必须下载Visual Studio 2017 15.5预览版(目前最新发布版本是15.4),下载地址:https://www.visualstudio.com/en-us/news/releasenotes/vs2017-preview-relnotes

安装Roslyn扩展预览版本:

  1. 下载并解压 Roslyn_Nullable_References_Preview.zip [最新版本 11/15/17]
  2. 关闭所有运行的Visual Studio;
  3. 运行zip根目录中的 .\install.bat 脚本(如果需要卸载扩展,可以运行.\uninstall.bat脚本);

语法与类型

在语法上,可为空引用类型与可为空值类型使用的语法是一致的,在类型后面追加 ? 即可。

class Person
{
public string FirstName;
public string? MiddleName;
public string LastName;
}

我们都知道当初微软在增加可为空值类型的时候,实际是在框架中增加了System.Nullable<>类型,您肯定会问,可为空引用类型以框架中又增加了什么新的类型。

我们来看一个演示:

    class Program
{
static void Main(string[] args)
{
Console.WriteLine(typeof(string?).FullName);
}
}

输出结果:

您是否觉得奇怪,怎么输出的是System.String,是的,其实微软在框架中没有加入任何类型,我们Person类型进行编译后,再通过dotPeek进行反编译,就明白到底发生了什么。

反编译后的结果:

    internal class Person
{
public string FirstName;
[Nullable]
public string MiddleName;
public string LastName;
}

只是在MiddleName字段上增加了System.Runtime.CompilerServices.NullableAttribute标记。

我们来看一看属性、参数、变量、返回值编译之前与编译之后的比对结果。

属性

    // 编译前:
public string? MiddleName { get; set; } // 编译后:
[Nullable]
public string MiddleName { [return: Nullable] get; [param: Nullable] set; }

参数

    // 编译前:
public Person(string? middleName )
{
this.MiddleName = middleName;
} // 编译后:
public Person([Nullable] string middleName)
{
this.MiddleName = middleName;
}

返回值

    // 编译前:
public string? DoSomething()
{
return null;
} // 编译后:
[return: Nullable]
public string DoSomething()
{
return (string) null;
}

变量

    // 编译前:
string? name; // 编译后:
string name;

这里除了变量,其它的都使用了NullableAttribute标记进行的修饰。

它可以做什么?

通过上面的章节,我们知道,可为空引用类型只是在参数、属性、参数和返回值中使用NullableAttribute标记进行修饰,实际上对程序的正常运行没有任何的影响。那么它可以为我们做什么呢?

表达意图

在C#中不能表达这个变量、参数、字段、属性,返回值等可能为null或不能为null,可为空类型可以帮我们解决这个问题。

    class Person
{
public string FirstName; // 不为null
public string? MiddleName; // 可能为null
public string LastName; // 不为null
}

这个类型的可以表示每一个人都应该 FristNameLastName ,但是不是每一个人都应该有 MiddleName

编译器检测

可为空引用类型的另一个好处是编译器可以帮助我们检测代码,比如对于直接使用可为空引用类型的属性,编译器会发出警告

    void M(Person p)
{
p.FirstName = null; // 1 WARNING: Cannot convert null to non-nullable reference。
p.LastName = p.MiddleName; // 2 WARNING: Possible null reference assignment.
string s = default(string); // 3 WARNING: Cannot convert null to non-nullable reference。 if (p.MiddleName != null)
{
WriteLine(p.MiddleName.Length); // ok
} WriteLine(p.MiddleName!.Length); // ok
} class Person
{
public string FirstName; // 4 WARNING: Non-nullable field 'FirstName' is uninitialized.
public string? MiddleName;
public string LastName; // 5 WARNING: Non-nullable field 'LastName' is uninitialized.
}

编译器会帮我们做以下几点检测:

  1. 如果给非可为空引用类型赋null值或可为空引用类型的值,则会发出警告;
  2. 如果直接使用可为空引用类型,则会发出警告;
  3. 如果从来没有给非可为空引用类型的属性赋值,则会发出警告;
  4. 如果需要直接使用可为空引用类型,需要使用 ! 符号告诉编译器,您已经确认过该值不可能为空。

当然这只是编译器的行为,可以禁用与之相关的警告提示。

总结

空引用类型是一个语法糖,只是在编译器的层面帮我们发现可能发生的问题,对程序的正常运行没有任何作用。

参考资料:

C# 可空引用类型的更多相关文章

  1. C#8.0可空引用类型的使用注意要点

    最近VS2019正式版发布了,装下来顺便试用了一下C#8.0,最大的看点应该就是可空引用类型了.不过C#8.0仍然处于Beta的状态,而且试用时也遇到了几个坑. 背景知识说明: 所谓的可空引用类型是指 ...

  2. C# 8中的可空引用类型

    原文:Nullable Reference Types In C# 8 作者:.NET Core Tutorials 译者:Lamond Lu 现状 可空引用类型? 自从我开始学习.NET, 引用类型 ...

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

    在我之前的一篇博客 NullReferenceException,就不应该存在! 中,我吐槽了 C# 中 null 的弊端以及避免 null 的方法:事实上这本都是现代高级语言中极力推崇的做法.Kot ...

  4. Nullable Reference Types 可空引用类型

    在写C#代码的时候,你可能经常会遇到这个错误: 但如果想避免NullReferenceException的发生,确实需要做很多麻烦的工作. 可空引用类型 Null Reference Type 所以, ...

  5. C#8.0—非空引用类型

    非空引用类型--C#8.0 原文地址:https://devblogs.microsoft.com/dotnet/try-out-nullable-reference-types/?utm_sourc ...

  6. 快速了解C# 8.0中“可空引用类型(Nullable reference type)”语言特性

    Visual C# 8.0中引入了可空引用类型(Nullable reference type),通过编译器提供的强大功能,帮助开发人员尽可能地规避由空引用带来的代码问题.这里我大致介绍一下可空引用类 ...

  7. C# 8 - Nullable Reference Types 可空引用类型

    在写C#代码的时候,你可能经常会遇到这个错误: 但如果想避免NullReferenceException的发生,确实需要做很多麻烦的工作. 可空引用类型 Null Reference Type 所以, ...

  8. C#8.0 可空引用类型

    介绍 我们的项目代码运行时最频繁的错误之一就是 System.NullReferenceException 异常,c#8.0增加的可为空引用类型就是用来帮助开发者降低甚至消除NULL异常.我们需要注意 ...

  9. .NET中的值类型与引用类型

    .NET中的值类型与引用类型 这是一个常见面试题,值类型(Value Type)和引用类型(Reference Type)有什么区别?他们性能方面有什么区别? TL;DR(先看结论) 值类型 引用类型 ...

随机推荐

  1. js循环生成多个easyui datagrid数据网格时,初始化表格

    $.each( content, function(i, item){ var info_tpl = "";var result_tpl = "";var pr ...

  2. mysql客户端(Navicat)远程登录操作遇到问题1142

    遇到此问题的原因是:用户user对数据库test 无权限操作. 解决方法:mysql> grant all privileges on test.* to user@'localhost' id ...

  3. 【转】DSCP 与IP 优先级IP优先级

    在IPv4的报文头中,TOS字段是1字节,如下图所示.根据RFC1122的定义,IP优先级(IPPrecedence)使用最高3比特(第0-2比特).+++++++++++++++++++++++++ ...

  4. Bootstrap列表与代码样式(附源码)--Bootstrap

    给大家分享下Bootstrap框架中列表与代码样式相关的知识 1.列表 (1)无序列表 <ul> <li>CN217编程</li> </ul> 注意:u ...

  5. Android Annotations(2)

    AndroidAnnotations是一个开源框架,旨在加快Android开发的效率.通过使用它开放出来的注解api,你几乎可以使用在任何地方, 大大的减少了无关痛痒的代码量,让开发者能够抽身其外,有 ...

  6. C# To JAVA Converter Cracked ( 破解版 )

    C# To JAVA Converter v17.10.6  Cracked by X-Cracker 简介 C# To Java converter是一款将C#代码片段或者C#项目转换为JAVA的工 ...

  7. 【前端】Require.js使用方法总结

    一.为什么要使用require.js 首先一个页面如果在加载多个js文件的时候,浏览器会停止网页渲染,加载文件越多,网页失去响应的时间就会越长:其次,由于js文件之间存在依赖关系,因此必须严格保证加载 ...

  8. java中的static关键字详解

    static对于我们这些初学者在编写代码和阅读代码是一个难以理解的关键字,也是大量公司面试题最喜欢考的之一.下面我就来就先讲述一下static关键字的用法和我们初学者容易误解的地方. static关键 ...

  9. MongoDB自动增长

    MongoDB 没有像SQL一样有自动增长的功能,如果我们需要实现ObjectId自动增长功能,可以通过编程的方式来实现.步骤如下: 1. 创建counters集合: db.createCollect ...

  10. CMake vs Make对比

    程序员现在已经使用了CMake和Make了很久.当您加入大公司或开始使用大型代码库开发项目时,您需要处理所有这些构建.你必须看到这些“CMakeLists.txt”文件浮动.你应该在终端上运行“cma ...