不同的行爲模式匹配使用VAR或顯式類型

Question

時，請考慮以下，乍一看荒謬，模式匹配：

string s = null; 
if (s is string ss) //false 
if (s is string) //false 

兩個is將返回false。但是，如果我們使用var的行爲完全改變：

string s = null; 
if (s is var ss) //true!?! 

如果您在VS2017懸停在var，型號爲string但is的行爲是完全不同的。即使推斷類型相同，編譯器也在做一些完全不同的事情。怎麼會這樣？這是一個錯誤？ null類型以某種方式冒出來？

Answer 1

C＃語言參考確認行爲是有意的。

與var模式匹配的模式總是成功。它的語法是

expr is var varname 

如果expr的值總是被分配到一個名爲 varname的一個局部變量。 varname是與表達式相同類型的靜態變量。

請注意，如果expr爲空，表達式仍爲爲真，並將null指定給varname。

Source: MSDN - C# Language Reference

---

的var圖案

的變種圖案只是複製源變量到一個新的命名的變量，然後可以建立與一個case塊表達式如下面

string s = null; 
var collection = new string[] { "abb", "abd", "abc", null}; 

switch (s) 
{ 
    case "xyz": 
     Console.WriteLine("Is xyz"); 
     break; 

    case var ss when (collection).Contains(s): 
     Console.WriteLine("Is in list"); 
     break; 

    default: 
     Console.WriteLine("Failed!"); 
     break; 

} 

輸出：

> Is in list