作者: kideny 访问次数: 861 创建时间: 2019-10-18 15:44:09 更新时间: 2024-04-27 00:35:57
微软宣布 C# 8.0 作为 .NET Core 3.0 版本的一部分正式可用，该消息同步发布于.NET Conf 2019 及其开发博客中。新的语言功能包括可为空的引用类型、异步流、默认接口成员及新的代码模式。Visual Studio 2019 支持所有的新功能。
可为空的引用类型是新版本中最重要的功能之一。它旨在通过使用特定语法规则来防止与空引用异常相关的场景，这个语法规则是：开发人员必须明确表示某个变量是否可以采用 null 值。在这种情况下，变量声明中的类型名必须附加“？”（类似可为空的值类型）：
|
|
string? foo; |
如果该变量的类型名后面没有附加“？”，那么，它被视为一个不可为空的引用类型。在这种情况下，编译器将强制实行不可为空的规则：该变量必须被初始化为一个非空值，并且该变量永远不能被赋予空值。可以（在大多数情况下不推荐）用变量名后面附加空宽容操作符“！”来覆盖这个行为：
|
|
foo!.Length; |
还可以使用可为空上下文来控制是否给出可空警告，或者可为空的注解是否有影响。可以在项目级别或在带有#nullable 和 #pragmawarning 预处理指令的源代码文件中指定可为空上下文。另外，一个类型可以具备的可为空行为是如下四种之一：无视（Oblivious），不可为空（nonnullable），可为空（nullable），未知（unknown）。不同的可为空类型会触发不同的编译行为。可为空引用类型的完整规范在这里。
另一个重要功能是引入了异步流。该新功能的目的是引入对迭代器和异步方法的支持。此类方法可以用于需要消费或产生持续结果流（即来自物联网设备或云服务）的场景中。
异步流通过 IAsyncEnumerable 和 IAsyncEnumerator 接口实现，这些接口可以与 async/await 功能（最初在 C# 5.0 中引进）结合使用。返回异步流的方法必须用 async 修饰符声明，还必须使用某个新接口作为其返回类型。它还必须包含 yield return 语句来返回异步流中的后续元素。
下面的例子来自微软的官方文档。它实现了一个生成从 0 到 19 的序列的方法，生成每个数字之间的等待时间为 100 毫秒：
|
|
public static async System.Collections.Generic.IAsyncEnumerable GenerateSequence() |
|
|
{ |
|
|
for (int i = 0; i < 20; i++) |
|
|
{ |
|
|
await Task.Delay(100); |
|
|
yield return i; |
|
|
} |
|
|
} |
更多关于异步流的细节请参阅官方语言规范。
默认接口成员功能允许开发人员给接口添加成员，并提供这些成员的实现（从而允许接口中的方法有具体实现）。目的是为API 作者提供更多的灵活性，从而可以给现有接口添加方法而不会破坏与以前版本的兼容性。这个功能类似于Java 的 Default Methods 。
C# 8.0 还添加了两个新的代码模式：递归模式匹配和与 using 语句相关的模式。简而言之，递归模式允许模式包含其他模式，如下例所示（也来自于微软的官方文档）：
|
|
IEnumerable GetEnrollees() |
|
|
{ |
|
|
foreach (var p in People) |
|
|
{ |
|
|
if (p is Student { Graduated: false, Name: string name }) yield return name; |
|
|
} |
|
|
} |
模式 Student { Graduated: false, Name: string name }会检查 Person 是否是 Student，然后将常量模式 false 应用于其 Graduated 属性来看看其是否仍然已注册，并将模式 string name 应用于其 Name 属性来获得其名字（如果为非空）。因此，如果 p 是 Student，还没有毕业并拥有一个非空名字，那么，我们返回该名字。
using 语句相关的新模式允许它被添加到局部变量声明中。在这种情况下，局部变量 using 的寿命将延长到声明它的范围的末尾。如果有多个 using 局部变量，那么将按照声明它们的相反顺序进行处理：
|
|
{ |
|
|
using var foo1 = new FileStream("..."); |
|
|
using var foo2 = new FileStream("..."); |
|
|
... |
|
|
// Dispose foo2 |
|
|
// Dispose foo1 |
|
|
} |
using 语句添加的另一个功能是 disposable 模式的概念，即可访问 Dispose 实例方法的类型。遵循这个模式的类型可以参与 using 语句，而无需实现 IDisposable：
|
|
class Bar |
|
|
{ |
|
|
public void Dispose() { ... } |
|
|
} |
|
|
using (var foo = new Bar()) |
|
|
{ |
|
|
// statements |
|
|
} |
C# 8.0 中添加的其他功能包括 switch 语句语法的更改和目标类型的新表达式的添加，这允许在已经给定类型的上下文中创建新对象时，省略类型声明：
|
|
Vector2[] vectors = { new (1, 1), new (2, -1) }; |
所有新功能的摘要都在这里，C#8.0 的完整规范建议在这里。另外，YouTube 上（这里和这里）有 .NET Conf 2019 上展示新特性的技术演讲，该演讲强调了新的语言功能。所有 Visual Studio 2019 版本中都支持 C# 8.0。
语言: zh-CN
翻译人员:
原作者:
转载地址:
源网址: https://www.infoq.cn/article/8NIwuSl4HlhiWJGByF03
版权: 本站所有内容, 版权归原作者所有。发表原创内容将会获得现金奖励, 并且随着时间倍数增长, 请了解我们的内容奖励计划。