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

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

异步 Main 函数

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

 
ublic 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[])
</int></int>
{1}

如果代码中不存在另一个非异步 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
</sometype></sometype>

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

 
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