C# 9.0 中的新增功能
Posted 新阁Net社群
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了C# 9.0 中的新增功能相关的知识，希望对你有一定的参考价值。
C# 9.0 向 C# 语言添加了以下功能和增强功能：
记录
仅限 Init 的资源库
顶级语句
模式匹配增强功能
本机大小的整数
函数指针
禁止发出 localsinit 标志
目标类型的新表达式
静态匿名函数
目标类型的条件表达式
协变返回类型
扩展
GetEnumerator支持foreach循环Lambda 弃元参数
本地函数的属性
模块初始值设定项
分部方法的新功能
.NET 5 支持 C# 9.0。
记录类型
C# 9.0 引入了记录类型，这是一种引用类型，它提供合成方法来提供值语义，从而实现相等性。 默认情况下，记录是不可变的。
使用记录类型可在 .NET 中轻松创建不可变的引用类型。 以前，.NET 类型主要分为引用类型（包括类和匿名类型）和值类型（包括结构和元组）。 虽然建议使用不可变的值类型，但可变的值类型通常不会引入错误。 值类型变量可保存值，因此在将值类型传递给方法时，会对原始数据的副本进行更改。
不可变的引用类型也有许多优点。 这些优点在使用共享数据的并发程序中更为明显。 遗憾的是，C# 强制编写大量额外的代码来创建不可变的引用类型。 记录为不可变的引用类型提供类型声明，该引用类型使用值语义实现相等性。 如果用于实现相等性的合成方法的属性和哈希代码的属性都相等，则认为两条记录相等。 请考虑以下定义：
记录定义会创建一个包含两个只读属性（FirstName 和 LastName）的 Person 类型。 Person 类型是引用类型。 如果查看 IL，它就是一个类。 它是不可变的，因为在创建它后，无法修改任何属性。 定义记录类型时，编译器会合成其他几种方法：
基于值的相等性比较方法
替代 GetHashCode()
复制和克隆成员
PrintMembers和 ToString()Deconstruct方法
记录支持继承。 可声明派生自 Person 的新记录，如下所示：
还可密封记录以防止进一步派生：
编译器会合成上述方法的不同版本。 方法签名取决于记录类型是否密封以及直接基类是否为对象。 记录应具有以下功能：
相等性是基于值的，包括检查类型是否匹配。 例如，即使两条记录的名称相同，
Student也不能等于Person。记录具有为你生成的一致的字符串表示形式。
记录支持副本构造。 正确的副本构造必须包括继承层次结构和开发人员添加的属性。
可通过修改复制记录。 这些复制和修改操作支持非破坏性转变。
所有记录都支持析构。
除了熟悉的 Equals 重载、operator == 和 operator != 外，编译器还会合成新的 EqualityContract 属性。 该属性返回与记录类型匹配的 Type 对象。 如果基类型为 object，则属性为 virtual。 如果基类型是其他记录类型，则属性为 override。 如果记录类型为 sealed，则属性为 sealed。 合成的 GetHashCode 使用基类型和记录类型中声明的所有属性和字段中的 GetHashCode。 这些合成方法在整个继承层次结构中强制执行基于值的相等性。 这意味着，绝不会将 Student 视为与同名的 Person 相等。 两条记录的类型必须匹配，而且记录类型之间共享的所有属性也必须相等。
记录还具有合成的构造函数和用于创建副本的“克隆”方法。 合成的构造函数具有记录类型的一个参数。 该函数会为记录的所有属性生成具有相同值的新记录。 如果记录是密封的，则此构造函数是专用函数；否则它将受到保护。 合成的“克隆”方法支持用于记录层次结构的副本构造。 “克隆”一词用引号引起来，因为实际名称是编译器生成的。 无法在记录类型中创建名为 Clone 的方法。 合成的“克隆”方法返回使用虚拟调度复制的记录类型。 编译器根据 record 上的访问修饰符为“克隆”方法添加不同的修饰符：
如果记录类型为
abstract，则“克隆”方法也为abstract。 如果基类型不是object，则方法也是override。当基类型为
object时，对于不是abstract的记录类型：如果记录为
sealed，则不向“克隆”方法添加其他修饰符（这意味着它不是virtual）。如果记录不是
sealed，则“克隆”方法为virtual。当基类型不是
object时，对于不是abstract的记录类型：如果记录是
sealed，则“克隆”方法也是sealed。如果记录不是
sealed，则“克隆”方法为override。
所有这些规则的结果都是，跨记录类型的任何层次结构一致地实现了相等性。 如果两条记录的属性相等且类型相同，则它们彼此相等，如下例所示：
编译器合成了两种支持打印输出的方法：ToString() 替代和 PrintMembers。 PrintMembers 采用 System.Text.StringBuilder 作为其参数。 它对记录类型中的所有属性追加一个用逗号分隔的属性名称和值的列表。 PrintMembers 会调用派生自其他记录的任何记录的基本实现。 ToString() 替代会返回由 PrintMembers 生成的字符串，并将其括在 { 和 } 内。 例如，Student 的 ToString() 方法返回一个 string，类似于以下代码：
截至目前显示的示例都使用传统语法声明属性。 还有一种更简洁的格式，称为“位置记录”。 下面是先前定义为位置记录的 3 种记录类型：
这些声明创建的功能与早期版本相同（以下部分介绍了几项额外的功能）。 这些声明以分号而不是方括号结尾，因为这些记录没有添加其他方法。 可添加正文，还可包括其他任何方法：
编译器为位置记录生成 Deconstruct 方法。 Deconstruct 方法的参数与记录类型中所有公共属性的名称匹配。 Deconstruct 方法可用于将记录析构为其组件属性：
最后，记录支持 with 表达式。 with 表达式指示编译器创建记录的副本，但修改了指定的属性：
上述行创建新的 Person 记录，其中 LastName属性是 person 的副本，FirstName 为“Paul”。 可在 with 表达式中设置任意数量的属性。 你可编写除“克隆”方法以外的任何合成成员。 如果记录类型的方法与任何合成方法的签名匹配，则编译器不会合成该方法。 较早的 Dog 记录示例包含手动编码的 ToString() 方法作为示例。
仅限Init的资源库
仅限 init 的资源库提供一致的语法来初始化对象的成员。 属性初始值设定项可明确哪个值正在设置哪个属性。 缺点是这些属性必须是可设置的。 从 C# 9.0 开始，可为属性和索引器创建 init 访问器，而不是 set 访问器。 调用方可使用属性初始化表达式语法在创建表达式中设置这些值，但构造完成后，这些属性将变为只读。 仅限 init 的资源库提供了一个窗口用来更改状态。 构造阶段结束时，该窗口关闭。 在完成所有初始化（包括属性初始化表达式和 with 表达式）之后，构造阶段实际上就结束了。
上述位置记录示例演示了如何使用仅限 init 的资源库通过 with 表达式来设置属性。 可在编写的任何类型中声明仅限 init 的资源库。 例如，以下结构定义了天气观察结构：
调用方可使用属性初始化表达式语法来设置值，同时仍保留不变性：
但在初始化后更改观察值是错误的，它会在初始化之外分配给仅限 init 的属性：
对于从派生类设置基类属性，仅限 init 的资源库很有用。 它们还可通过基类中的帮助程序来设置派生属性。 位置记录使用仅限 init 的资源库声明属性。 这些设置器可在 with 表达式中使用。 可为定义的任何 class 或 struct 声明仅限 init 的资源库。
顶级语句
顶级语句从许多应用程序中删除了不必要的流程。 请考虑规范的“Hello World!” 程序：
只有一行代码执行所有操作。 借助顶级语句，可使用 using 语句和执行操作的一行替换所有样本：
如果需要单行程序，可删除 using 指令，并使用完全限定的类型名称：
应用程序中只有一个文件可使用顶级语句。 如果编译器在多个源文件中找到顶级语句，则是错误的。 如果将顶级语句与声明的程序入口点方法（通常为 Main 方法）结合使用，也会出现错误。 从某种意义上讲，可认为一个文件包含通常位于 Program 类的 Main 方法中的语句。
此功能最常见的用途之一是创建材料。 C# 初级开发人员可以用一两行代码 编写规范的“Hello World!”。 不需要额外的工作。 不过，经验丰富的开发人员还会发现此功能的许多用途。 顶级语句可提供类似脚本的试验体验，这与 Jupyter 笔记本提供的很类似。 顶级语句非常适合小型控制台程序和实用程序。 Azure 函数是顶级语句的理想用例。
最重要的是，顶层语句不会限制应用程序的范围或复杂程度。 这些语句可访问或使用任何 .NET 类。 它们也不会限制你对命令行参数或返回值的使用。 顶级语句可访问名为 args 的字符串数组。 如果顶级语句返回整数值，则该值将成为来自合成 Main 方法的整数返回代码。 顶级语句可能包含异步表达式。 在这种情况下，合成入口点将返回 Task 或 Task<int>。
模式匹配增强功能
C# 9 包括新的模式匹配改进：
类型模式要求在变量是一种类型时匹配
带圆括号的模式强制或强调模式组合的优先级
联合
and模式要求两个模式都匹配析取
or模式要求任一模式匹配求反
not模式要求模式不匹配关系模式要求输入小于、大于、小于等于或大于等于给定常数。
这些模式丰富了模式的语法。 请考虑下列示例：
还可使用可选的括号来明确 and 的优先级高于 or：
最常见的用途之一是用于 NULL 检查的新语法：
此功能还有一个不错的用途是，将其与仅限 init 的属性组合使用来初始化新对象：
可使用 return new(); 表达式返回由默认构造函数创建的实例。
类似的功能可改进条件表达式的目标类型解析。 进行此更改后，两个表达式无需从一个隐式转换到另一个，而是都可隐式转换为通用类型。 你可能不会注意到此更改。 你会注意到，某些以前需要强制转换或无法编译的条件表达式现在可以正常工作。
从 C# 9.0 开始，可将 static 修饰符添加到 Lambda 表达式或匿名方法。 静态 Lambda 表达式类似于 static 局部函数：静态 Lambda 或匿名函数无法捕获局部变量或实例状态。 static 修饰符可防止意外捕获其他变量。
协变返回类型为替代函数的返回类型提供了灵活性。 替代的虚函数可返回从基类方法中声明的返回类型派生的类型。 这对于记录和其他支持虚拟克隆或工厂方法的类型很有用。
此外，foreach 循环将识别并使用扩展方法 GetEnumerator，否则将满足 foreach 模式。 此更改意味着 foreach 与其他基于模式的构造（例如异步模式和基于模式的析构）一致。 实际上，此更改意味着可以为任何类型添加 foreach 支持。 在设计中，应将其限制为在枚举对象有意义时使用。
接下来，可使用弃元作为 Lambda 表达式的参数。 这样可免于为参数命名，并且编译器也可避免使用它。 可将 _ 用于任何参数。
最后，现在可将属性应用于本地函数。 例如，可将可为空的属性注释应用于本地函数。
支持代码生成器
最后两项功能支持 C# 代码生成器。 C# 代码生成器是可编写的组件，类似于 roslyn 分析器或代码修补程序。 区别在于，代码生成器会在编译过程中分析代码并编写新的源代码文件。 典型的代码生成器会在代码中搜索属性或其他约定。
代码生成器使用 Roslyn 分析 API 读取属性或其他代码元素。 通过该信息，它将新代码添加到编译中。 源生成器只能添加代码，不能修改编译中的任何现有代码。
为代码生成器添加的两项功能是分部方法语法和模块初始化表达式的扩展。 首先是对分部方法的更改。 在 C# 9.0 之前，分部方法为 private，但不能指定访问修饰符、不能返回 void，也不能具有 out 参数。 这些限制意味着，如果未提供任何方法实现，编译器会删除对分部方法的所有调用。 C# 9.0 消除了这些限制，但要求分部方法声明必须具有实现。 代码生成器可提供这种实现。 为了避免引入中断性变更，编译器会考虑没有访问修饰符的任何分部方法，以遵循旧规则。 如果分部方法包括 private 访问修饰符，则由新规则控制该分部方法。
代码生成器的第二项新功能是模块初始化表达式。 模块初始化表达式是附加了 ModuleInitializerAttribute 属性的方法。 程序集加载时，运行时将调用这些方法。 模块初始化表达式方法：
必须是静态的
必须没有参数
必须返回 void
不能是泛型方法
不能包含在泛型类中
必须能够从包含模块访问
最后一个要点实际上意味着该方法及其包含类必须是内部的或公共的。 方法不能为本地函数。
反馈
- THE END -