learun开发社区 - 力软快速开发平台官方论坛

 找回密码
 立即注册
搜索
热搜: 活动 交友 discuz
查看: 1075|回复: 3

C#可空引用类型

[复制链接]

3

主题

3

帖子

6

积分

新手上路

Rank: 1

积分
6
发表于 2019-3-1 13:01:37 | 显示全部楼层 |阅读模式
可空引用类型是C#8.0计划新增的一个功能,不过已经发布了预览版本,今天我们来体验一下可空引用类型。


安装


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


安装Roslyn扩展预览版本:




语法与类型


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


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值或可为空引用类型的值,则会发出警告;
  • 如果直接使用可为空引用类型,则会发出警告;
  • 如果从来没有给非可为空引用类型的属性赋值,则会发出警告;
  • 如果需要直接使用可为空引用类型,需要使用 ! 符号告诉编译器,您已经确认过该值不可能为空。

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


总结


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

使用道具 举报

0

主题

9

帖子

196

积分

注册会员

Rank: 2

积分
196
发表于 2019-3-1 13:56:47 | 显示全部楼层
mark了
回复

使用道具 举报

0

主题

9

帖子

217

积分

中级会员

Rank: 3Rank: 3

积分
217
发表于 2019-3-2 15:00:22 | 显示全部楼层
太有帮助了
回复

使用道具 举报

0

主题

3

帖子

149

积分

注册会员

Rank: 2

积分
149
发表于 2019-3-8 00:16:18 | 显示全部楼层
先学着,后面慢慢用
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

Archiver|手机版|小黑屋|learun开发社区 - 力软快速开发平台官方论坛 ( 沪ICP备14034717号 )

GMT+8, 2020-4-8 02:42 , Processed in 0.153835 second(s), 24 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表