不同的是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))。