与 Mads Torgersen 一起提前预览 C# 7

Channel 9 的 Seth Juarez 访问了 C#的产品经理 Mads Torgersen，谈及关于下个版本的C#语言的开发，代号C# 7。 除一些其它特性外，还提及三个主要的特性：pattern matching、tuple syntax 和nullable references。

Pattern Matching

Mads 开场讲解由于系统更加分散，结构化数据频繁地通过电线交换。由于这些数据传送并不伴随其操作集合，肯定有方法能更容易地操作这些数据。这就是函数式编程突出的领域，尤其是使用 pattern matching。

 
// Moving a shape using C# 6
void Move (Shape s) {
 var r = s as Rectangle;
 if (r != null) { // Move the rectangle }
 var c as Circle;
 if (x != null) { // Move the circle }
}
 
// Moving a shape using pattern matching
void move (Shape s) {
 match (s) {
   (Rectangle r) => // Move rectangle
   (Circle c) => // Move circle
   default => // Handle default or throw
 }
}

Tuple syntax

Tuple syntax 使得临时聚合数据成为可能。Mads 讲解道，tuples 可以命名其成员，因此使得辨认 tuple 的各个成员更加容易。

 
// Current syntax
Tuple<int. int=""> Compute()
// Tuple syntax
(int x, int y) Compute()
 
// Call the method
var (x,y) = Compute()</int.>

接下来更详细的一个例子是状态机的实现。结合 pattern matching，写出以下几行语法简明的代码：

 
match (state, input) {
   (State.Init, Event.Go) => { // Process the input }
   (State.Init, Event.Stop) => { // Process the input}
   (_, _) => { // handle invalid state }
}

Nullable reference type

静态地避免空引用异常以前已经尝试过了，但 Mads 说团队将提供另一种方案。目的是能帮助人们获得更安全的行为而不需强加太多限制或引入破坏性更新。这个想法本质上是提议为引用添加可选类型。然而，在评论中 Mads 假定将引用表达为 nullable 比将其表达为 non-nullable 更加重要。

我觉得 nullable reference type 是特性中最重要的部分。因为这是个全新的（而且不受争议的）语法，就其本身而言它没有破坏任何现有的代码 － 连一个警告也没有。我们使其可行的方法是，当你解除其中一个引用 － 例如“string？” － 我们只会在你没有检查 null 的时候给你一个警告。

必须注意的是这都还在设计流程的早期阶段，而且这些特性和语法还只是有待探索的想法而已。因此 Mads 说：“所有东西已经在台面上了”。更多现有进展的信息可以浏览 GitHub 。

查看英文原文: Early View of C# 7 with Mads Torgersen