1、語法

與其單獨(dú)講類型模式，還不如讓你先明白，聲明模式的那個(gè)類型，就是類型模式。

所以，你干脆理解成這樣：“聲明模式 = 類型模式（就是這個(gè)類型）+ 變量定義”。但是，單獨(dú)提出來說，是有原因的。

2、不支持可空類型的類型模式

C# 8 開始擁有可空引用類型，而在 C# 2 開始則擁有可空值類型。這兩種數(shù)據(jù)類型都帶有 ? 標(biāo)記類型是可空的。不過，這些類型并不能使用到類型模式之中。

這兩種都是錯(cuò)誤的。原因很簡(jiǎn)單：因?yàn)?is 是匹配類型，因此它必須得是這個(gè)類型。而既然都是這個(gè)類型的數(shù)據(jù)了，那么為何還去匹配一個(gè)可空類型呢？假設(shè) obj 是 int 類型的數(shù)據(jù)，那么 int is int? 合理嗎？顯然不合理。int is int 才合理。那 null is int? 嗎？null 是沒數(shù)值的可空類型的默認(rèn)數(shù)值，它不包含任何數(shù)值，因此 is 匹配它是沒有意義的。

正是因?yàn)檫@些原因，你無法在 is 后使用和聲明可空類型作為類型模式——因?yàn)槭菦]有意義的。

3、聲明模式棄元

在 C# 里，switch 語句可以專門對(duì)一個(gè)不知道是什么類型的東西作模式匹配：

這里，C# 也是允許的。可問題在于，arr、enumerable 等變量如果不用，我們無法去掉：C# 9 之前，這個(gè)變量是不可省去的：即使不用，你也得寫棄元符號(hào)：_。

不過，從 C# 9 開始，棄元符號(hào)就可以不寫了。于是乎，模式匹配就可以簡(jiǎn)寫成真正的類型模式了：