与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
  
    Compute()
// Tuple syntax
(int x, int y) Compute()

// Call the method
var (x,y) = Compute()
  

接下来更详细的一个例子是状态机的实现。结合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