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 Main() static Task Main(string[]) static Task 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 x = default;
return default;
void Method(ImmutableArray 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