又有一種源自於函數式編程語言中的概念加入了C#和VB的陣營，這就是被稱為模式匹配（Pattern Matching）的特性。初看上去，模式匹配的作用類似於一段switch/select語句塊，但它的功能要強大的多。
請注意：由於VB版本的規格說明現在還沒有完成，因此這些示例主要都是來自於C#中的模式匹配規格說明。
.NET中的模式匹配主要是通過“is/Matches”操作符支持的。這種還讓人不太熟悉的操作符將一個類分解為多個組成部分。以下這個示例是基於在周二的新聞報道中所提到過的Cartesian記錄類http://www.infoq.com/news/2014/08/Record-Class（record class）的基礎上創建的。
1 2 3 4 5
public static bool operator is(Cartesian c, out double x, out double y)
x = c.X;
y = c.Y;
return true;
}
這個is操作符不僅限於在它的定義類中使用，以下這個示例以另一種方式定義了一個操作符，使它能夠分解一個Cartesian對象，讓它能夠匹配一個Polar對象。
1 2 3 4 5 6 7 8 9 10 11public 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);
最簡單的模式是類型模式，它本質上就是嘗試進行類型轉換並同時賦給某個變量。以下是這種模式的一個示例：
1 2if (expr is Type v)
{ // code using v }
多數模式都是作為遞歸模式的形式出現，意即它們是由較簡單的模式所組成的。看一下這種模式的示例：
1 2var 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模式是一定會匹配成功的，該模式對應的變量將會被賦值為調用該is操作符時所提供的值，而該變量的類型則是由該表達式所決定的靜態類型。
通配符模式本質上來說就是var表達式，不過你不需要關心匹配的結果。
讓我們繼續討論一下這個location類的示例，編譯器在編譯階段會進行以下幾個步驟的處理：
Switch語句塊的功能將得到擴展，它將能夠使用模式匹配特性。這實際上意味著你可以按以下方式編寫語句：
1 2 3case null:
case String s
case Location(1, var y, *):
在目前的規格草稿中，還沒有對於范圍檢查的支持。這意味著你不能編寫類似於“a is Location( > 0, 1 to 5, <= 10)”這樣的代碼。此外目前也不支持在一個列表或迭代器中進行元素匹配。
英文原文：Pattern Matching in C# 6 and VB 12
a1 = 0x01; //0000 0001
a2 = 0x00; //0000 0000
a3 = 0x03; //0000 0011
a4 = 0x02; //0000 0010
b1 = a1 ^ a2; //0000 0001
b2 = a1 ^ a3; //0000 0010
b3 = a1 ^ a4; //0000 0011
^異或運算符,位值相同為0,不同為1,見上示例.
//
簡單實際問題舉例:
======\=======\=======
======a=======b=======
上面是2條電路,2個開關分別為a和b,打開狀態:\[1],關閉狀態:/[0].
若同時打開或者關閉,兩條電路均不通.
若a打開[1],b關閉[0],電路1通電
======\=======/=======
若a關閉[0],b打開[1],電路2通電
======/=======\=======
綜上,電路在a,b狀態相同時不通[0],在a,b不同時通電[1].
a1 = 0x01; //0000 0001
a2 = 0x00; //0000 0000
a3 = 0x03; //0000 0011
a4 = 0x02; //0000 0010
b1 = a1 ^ a2; //0000 0001
b2 = a1 ^ a3; //0000 0010
b3 = a1 ^ a4; //0000 0011
^異或運算符,位值相同為0,不同為1,見上示例.
//
簡單實際問題舉例:
======\=======\=======
======a=======b=======
上面是2條電路,2個開關分別為a和b,打開狀態:\[1],關閉狀態:/[0].
若同時打開或者關閉,兩條電路均不通.
若a打開[1],b關閉[0],電路1通電
======\=======/=======
若a關閉[0],b打開[1],電路2通電
======/=======\=======
綜上,電路在a,b狀態相同時不通[0],在a,b不同時通電[1].
