不同的是X是X _

Question

之前，C＃7.0，下面的代碼是有效的：

if(x is X) 
{ 
    //... 
} 

現在，下面也是正確的：

if(x is X _) 
{ 
    //... 
} 

Accoding到TryRoslyn，這些代碼段生成相同的IL。我的問題是：模式匹配中丟棄操作符的用途是什麼？我在這裏錯過了什麼嗎？

這個問題與that不一樣，因爲我要求丟棄運算符（通配符）的目的是專門用於模式匹配（is運算符）。

Answer 1

根據Neal Gafter，丟棄運算符在這種情況下是這是非常沒用的，至少現在。

Answer 2

這還沒有用。但是，當引入遞歸模式匹配（希望在C＃8.0中）時，在模式的一部分中放棄丟棄會很有用。

細節尚未最終確定，但可以想象如is (1, (_, 3))或可能的is X (1, Y (_, 3))。