C# 7.1先睹为快（第一部分）

Microsoft 语言开发

摘要： 自2003年以来，Microsoft首次考虑对C#使用带小数点后位数的版本。当前暂定下一个版本是C# 7.1，其中有望包括：异步Main函数、默认表达式、推导元组名和使用泛型的模式匹配等。

作者： Jonathan Allen

正文：

自2003年以来，Microsoft首次考虑对C#使用带小数点后位数的版本。当前暂定下一个版本是C# 7.1，其中有望包括：异步Main函数（Async Main）、默认表达式（Default Expression）、推导元组名（Infer Tuple Names）和使用泛型的模式匹配（Pattern-matching with Generics）等。

异步Main函数

最让测试异步代码的开发人员沮丧的，无疑是控制台应用当前不支持异步入口点（EntryPoint）。虽然变通方法是编写多行样板代码，但是这样的模式依赖于对方法的非正常使用，难于理解。例如：

public static void Main()
{
    MainAsync().GetAwaiter().GetResult();
}
private static async Task MainAsync()
{
    ... // 程序主代码。
}

为解决这个问题，在“异步Main函数建议”中，添加了如下四个新的函数签名，罗列了可能的入口点。

static Task Main()
static Task<int> Main()
static Task Main(string[])
static Task<int> Main(string[])

如果代码中不存在另一个非异步Main函数，那么只要给出一个上述的入口点函数，编译器就会生成所需的样板代码。唯一的限制是需要向后兼容。

Microsoft曾考虑允许“async void Main()”，但是这种做法会使编译器更复杂，并且Microsoft总体上并不鼓励在事件处理器之外使用“async void”。

默认值（即Nothing）

VB没有表示“null”的关键字，这是C#和VB间的一个微妙的差别。但是VB有一个关键字“Nothing”。在语言技术规范中，对该关键字给出了如下说明：

Nothing是一个特殊的常值。它没有类型，可转换为类型系统中的任意类型，也包括类型参数。在转换为某个特定类型后，它等价于该类型的默认值。

C#当前使用“default(T)”模式实现同一效果，但略为繁琐，尤其是类的名字很长时。C# 7.1中将提供一个“默认常值”（Default Literal），其描述为：

这一类型的表达式可通过常值转换为默认值或null值，隐式地转换为any类型。

该类型向默认常值的推理与向null常值推理的工作机制一样，除非允许any类型（不只是引用类型）。

在可以使用null的地方，通常也可以使用默认常值。这一做法被看成是C#建议中的一个倒退，可能因为人们通常会对两个非常类似的方法完成同一件事大皱眉头。在设计会议纪要中，就有人提出疑问：

我们是否正在挑起类型之争？

一个使用默认常值的例子如下：

ImmutableArray<SomeType> x = default;
return default;
void Method(ImmutableArray<SomeType> arrayOpt = default)
var x = new[] { default, ImmutableArray.Create(y) };
const int x = default;
if (x == default)
if (x is default)
y = default as RefType //编译器告警：总是null。
int i = default

下面例子给出的是对默认常值的非法使用：

const int? y = default;
if (default == default)
if (default is T)
var i = default
throw default

后者无疑是一个C#设计上的奇特构件。在设计会议纪要中，给出了如下说法：

在C#中，允许开发人员抛出null。这会引发一个运行时错误，进而导致抛出一个NullReferenceException异常。因此，抛出NullReferenceException并非正大光明的，而是一种丑陋的模式。

完全没有理由允许抛出默认值。我们并不认为用户会感觉这是可行的，或是了解它的工作机制。

Microsoft并未引入默认常值，而是考虑通过扩展“null”实现同一效果。因为在VB中“nothing”和“null”是两个不同的关键词，所以在VB中可以这样做。即使不使用关键字，VB中也具有null的概念。因此，开发人员可以看到“NothingReferenceException”这样的异常。

在C#中，开发人员可能常会有这样的一个疑问：“null是否表示的是实际的空值，或是表示了可能为空值也可能不为空值的默认值？”我们认为，这是一个令人非常困惑的问题。

在本文的第二部分中，我们将介绍元组和模式匹配。

查看英文原文： An Early Look at C# 7.1: Part 1