具有var/null奇怪行为的开关

Question

鉴于以下代码：

string someString = null;
switch (someString)
{
    case string s:
        Console.WriteLine("string s");
        break;
    case var o:
        Console.WriteLine("var o");
        break;
    default:
        Console.WriteLine("default");
        break;
}

为什么开关语句在case var o上匹配？

我的理解是，当s==null时，大小写字符串s不匹配，因为（实际上）（null为字符串）！=null计算结果为false。VS Code上的IntelliSense告诉我，o也是一个字符串。有什么想法吗？

类似于：带有空检查的C#7开关外壳




Answer 1

这是因为case

（发帖是因为我喜欢简短的答案。）

Answer 2

我在这里整理了多条twitter评论——这对我来说确实是新鲜事，我希望jaredpar能给出一个更全面的答案，但是；据我所知的简短版本：

case string s:

被解释为if（someString为string）{s=（string）someString；..或if（（s=（someString为string））！=null）{…} -其中任何一项都涉及null测试-在您的情况下，该测试失败；相反地：

case var o:

其中，编译器将o解析为string就是o=（string）someString-nonulltest，尽管它在表面上看起来很相似，只是编译器提供了类型。

最后：

default:

这里是无法联系到的，因为上面的案例抓住了一切。这可能是一个编译器错误，因为它没有发出无法访问的代码警告。

我同意这是非常微妙的，微妙的，令人困惑的。但是显然，case var o场景使用空传播（o？.Length±0等）。我同意奇怪的是，这在var o和string s之间的工作方式非常不同，但这正是编译器目前所做的。

Answer 3

匿名用户

在模式匹配switch语句中，对显式类型使用case询问所讨论的值是该特定类型还是派生类型。它完全等同于is

switch (someString) {
  case string s:
}
if (someString is string) 

值null没有类型，因此不满足上述任一条件。在这两个例子中，someString的静态类型都不起作用。

模式匹配中的var类型虽然起着通配符的作用，它将匹配任何值，包括null。

这里的默认情况是死代码。case var o将匹配任何值，无论是空值还是非空值。非默认案例总是胜过默认案例，因此default永远不会被击中。如果你看一下IL，你会发现它甚至没有被释放出来。

乍一看，这似乎很奇怪，它在没有任何警告的情况下编译（绝对让我大吃一惊）。但是这与可以追溯到1.0的C#行为相匹配。编译器允许默认情况，即使它可以简单地证明它永远不会被命中。以下面为例：

bool b = ...;
switch (b) {
  case true: ...
  case false: ...
  default: ...
}

在这里，default将永远不会被命中（即使对于值不是1或0的bool）。然而，C#从1.0开始就在没有警告的情况下允许这样做。模式匹配正符合这种行为。