C# 6與VB 12即將加入模式匹配

又有一種源自於函數式程式語言中的概念加入了C#和VB的陣營，這就是被稱為模式匹配（Pattern Matching）的特性。初看上去，模式匹配的作用類似一段switch/select語句塊，但它的功能要強大的多。

　　請注意：由於VB版本的規格說明現在還沒有完成，因此這些範例主要都是來自於C#中的模式匹配規格說明。

　is或Matches 操作符

　　.NET中的模式匹配主要是透過「is/Matches」操作符支援的。這種也讓人不太熟悉的操作符將一個類別分解為多個組成部分。以下這個範例是基於在周二的新聞報告中所提到的Cartesian記錄類http://www.infoq.com/news/2014/08/Record-Class（record class）的基礎上創建的。

public static bool operator is(Cartesian c, out double x, out double y)
    x = c.X;
    y = c.Y;
    return true;
}

這個is操作符不僅限於在它的定義類別中使用，以下這個範例以另一種方式定義了一個操作符，使它能夠分解一個Cartesian對象，讓它能夠匹配一個Polar物件。

public static class Polar {
    public static bool operator is( Cartesian c, out double R, out double Theta)
   {
        R = Math.Sqrt(c.X*c.X + c.Y*c.Y);
        Theta = Math.Atan2(c.Y, c.X);
        return c.X != 0 || c.Y != 0;
   }
}
var c = Cartesian(3, 4);
if (c is Polar(var R, *))
   Console.WriteLine(R);

　型模式

　　最簡單的模式是型別模式，它本質上就是嘗試進行型別轉換並同時賦給某個變數。以下是這種模式的範例：

if (expr is Type v)
   { // code using v }

　遞歸模式

　　多數模式都是作為遞歸模式的形式出現，意即它們是由較簡單的模式所組成的。來看看這種模式的範例：

var a = new Location(1, 2, 3); //x=1, y=2, z=3
if (a is Location(1, var y, *))

這個遞歸模式包含了一個常數模式，一個var模式和一個通配符模式。

　常數模式

　　這個模式可以將一個屬性與一個常數值進行匹配，常數匹配使用object.Equals(left, right)方法來判斷兩者是否匹配。

　Var模式

　　Var模式是一定會匹配成功的，該模式對應的變數將會被賦值為呼叫該is操作符時所提供的值，而該變數的型別則是由該表達式所決定的靜態類型。

　通配符模式

　　通配符模式本質上來說就是var表達式，不過你不需要關心匹配的結果。

　內部實作

　　讓我們繼續討論一下這個location類別的範例，編譯器在編譯階段會進行以下幾個步驟的處理：

建立變數$x、$y和$z

調用Location.is(Location.is(Location.is(Location.is(Location.is)。 a, out $x, out $y, out $z)方法，並確認傳回結果為true

常數模式：檢查object.Equals($x, 1)呼叫的結果

Var模式：將$y賦給y

通配符模式：忽略$z變數

　Switch/Select Case 語句區塊

　　Switch語句區塊的功能將擴展，它將能夠使用模式匹配特性。這實際上意味著你可以用以下方式編寫語句：

case null:
case String s
case Location(1, var y, *):

限制

　　在目前的规格草稿中，还没有对于范围检查的支持。这意味着你不能编写类似于“a is Location( > 0, 1 to 5, <= 10)”这样的代码。此外目前也不支持在一个列表或迭代器中进行元素匹配。