C# 可空引用类型
可空引用类型是C#8.0计划新增的一个功能,不过已经发布了预览版本,今天我们来体验一下可空引用类型。
安装
您必须下载Visual Studio 2017 15.5预览版(目前最新发布版本是15.4),下载地址:https://www.visualstudio.com/en-us/news/releasenotes/vs2017-preview-relnotes。
安装Roslyn扩展预览版本:
- 下载并解压 Roslyn_Nullable_References_Preview.zip [最新版本 11/15/17];
- 关闭所有运行的Visual Studio;
- 运行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
}
这个类型的可以表示每一个人都应该 FristName 和 LastName ,但是不是每一个人都应该有 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.
}
编译器会帮我们做以下几点检测:
- 如果给非可为空引用类型赋
null
值或可为空引用类型的值,则会发出警告; - 如果直接使用可为空引用类型,则会发出警告;
- 如果从来没有给非可为空引用类型的属性赋值,则会发出警告;
- 如果需要直接使用可为空引用类型,需要使用 ! 符号告诉编译器,您已经确认过该值不可能为空。
当然这只是编译器的行为,可以禁用与之相关的警告提示。
总结
空引用类型是一个语法糖,只是在编译器的层面帮我们发现可能发生的问题,对程序的正常运行没有任何作用。
参考资料:
https://blogs.msdn.microsoft.com/dotnet/2017/11/15/nullable-reference-types-in-csharp/
https://github.com/dotnet/csharplang/wiki/Nullable-Reference-Types-Preview
C# 可空引用类型的更多相关文章
- C#8.0可空引用类型的使用注意要点
最近VS2019正式版发布了,装下来顺便试用了一下C#8.0,最大的看点应该就是可空引用类型了.不过C#8.0仍然处于Beta的状态,而且试用时也遇到了几个坑. 背景知识说明: 所谓的可空引用类型是指 ...
- C# 8中的可空引用类型
原文:Nullable Reference Types In C# 8 作者:.NET Core Tutorials 译者:Lamond Lu 现状 可空引用类型? 自从我开始学习.NET, 引用类型 ...
- 迫不及待地体验了一把 C#8.0 中的可空引用类型(Nullable Reference)
在我之前的一篇博客 NullReferenceException,就不应该存在! 中,我吐槽了 C# 中 null 的弊端以及避免 null 的方法:事实上这本都是现代高级语言中极力推崇的做法.Kot ...
- Nullable Reference Types 可空引用类型
在写C#代码的时候,你可能经常会遇到这个错误: 但如果想避免NullReferenceException的发生,确实需要做很多麻烦的工作. 可空引用类型 Null Reference Type 所以, ...
- C#8.0—非空引用类型
非空引用类型--C#8.0 原文地址:https://devblogs.microsoft.com/dotnet/try-out-nullable-reference-types/?utm_sourc ...
- 快速了解C# 8.0中“可空引用类型(Nullable reference type)”语言特性
Visual C# 8.0中引入了可空引用类型(Nullable reference type),通过编译器提供的强大功能,帮助开发人员尽可能地规避由空引用带来的代码问题.这里我大致介绍一下可空引用类 ...
- C# 8 - Nullable Reference Types 可空引用类型
在写C#代码的时候,你可能经常会遇到这个错误: 但如果想避免NullReferenceException的发生,确实需要做很多麻烦的工作. 可空引用类型 Null Reference Type 所以, ...
- C#8.0 可空引用类型
介绍 我们的项目代码运行时最频繁的错误之一就是 System.NullReferenceException 异常,c#8.0增加的可为空引用类型就是用来帮助开发者降低甚至消除NULL异常.我们需要注意 ...
- .NET中的值类型与引用类型
.NET中的值类型与引用类型 这是一个常见面试题,值类型(Value Type)和引用类型(Reference Type)有什么区别?他们性能方面有什么区别? TL;DR(先看结论) 值类型 引用类型 ...
随机推荐
- Erlang游戏服设计总结
这主要是一年多来,个人从事Erlang游戏服开发中对一些事情的思考. 想到哪说到哪,没有条理可言. 欢迎讨论. 通常Erlang游戏服务的设计涉及到的东东包括如下: 任务系统 活动系统 公会系统 玩法 ...
- MSSQL 自定义函数详解
自定义函数分为:标量值函数或表值函数 如果 RETURNS 子句指定一种标量数据类型,则函数为标量值函数.可以使用多条 Transact-SQL 语句定义标量值函数. 如果 RETURNS 子句指定 ...
- MYSQL数据库引擎区别详解
数据库引擎介绍 MySQL数据库引擎取决于MySQL在安装的时候是如何被编译的.要添加一个新的引擎,就必须重新编译MYSQL.在缺省情况下,MYSQL支持三个引擎:ISAM.MYISAM和HEAP.另 ...
- 学习flex布局(弹性布局)
Flex是Flexible Box的缩写,意为弹性布局.是W3C早期提出的一个新的布局方案.可以便捷的实现页面布局,目前较高版本的主流浏览器都能兼容,兼容情况如下: Flex在移动端开发上已是主流,比 ...
- jscodeshift 简易教程
本文首发于 https://github.com/whxaxes/blog/issues/10 背景 jscodeshift 是 fb 出的一个 codemod toolkit,基于 recast 这 ...
- C#委托
关于什么是委托,委托如何使用,我在这里就不说了. 需要说的: 委托是函数指针链 委托的 BeginInvoke 委托如果出现异常,会如何 如果不知道函数指针,可以继续往下看,我来告诉大家,为何需要委托 ...
- 新型勒索软件Magniber正瞄准韩国、亚太地区开展攻击
近期,有国外研究人员发现了一种新型的勒索软件,并将其命名为Magniber,值得注意的是,这款勒索软只针对韩国及亚太地区的用户开展攻击.该勒索软件是基于Magnitude exploit kit(简称 ...
- Java基础总结--变量、运算符总结
---变量基本概述----变量作用:就是用来存储数据变量的声明:变量类型 变量名;变量类型---区分不同类型的数据,变量名--按名访问变量变量名(规则):见名识意,第一个字母小写后面驼峰规则变量的作用 ...
- thinkphp使用phpqrcode生成带logo二维码
//二维码图片保存路径 $pathname = date("Ymd",time()); $pathname = "./Qrcode/" . $pathname; ...
- Single linked list by cursor
有了指针实现看似已经足够了,那为什么还要有另外的实现方式呢?原因是诸如BASIC和FORTRAN等许多语言都不支持指针,如果需要链表而又不能使用指针,那么就必须使用另外的实现方法.还有一个原因,是在A ...