Csharp 使用switch 类型模式时出现奇怪的编译器行为

发布于12月24日

在下面的代码中，我是try 访问s还是o并不重要，在这两种情况下，编译器都会报告变量没有初始化.我希望至少o始终被初始化，因为它是最不特定的类型.那么，为什么编译器甚至允许我在该场景中指定变量呢？

void Foo(object obj)
{       
        switch (obj)
        {
            case string s:
            case object o:
                Console.WriteLine(s);
                break;
        }      
}

我用的是.NET 7.

推荐答案

从docs(重点是我的):

Switch语句执行first switch section whose case pattern matchesa匹配表达式中的语句列表，并且其case Guard(如果存在)的计算结果为真

所以我认为这是意料之中的事.你有两条通向Console.WriteLine的路径，其中一条或另一条匹配(而不是两条).在伪代码中，它可能看起来像这样:

string s;
object o;

if(obj is string)
{
   s = (string) obj;
   goto doSomething;
}


if(obj is object)
{
   o = (object) obj;
   goto doSomething;
}

doSomething:
// your Console.WriteLine here
// Console.WriteLine(s); Local variable 's' might not be initialized before accessing
// Console.WriteLine(o); Local variable 'o' might not be initialized before accessing

因此，如果第一个匹配，则第二个不会被处理(因为说明书说没有理由这样做)，导致o不被初始化，如果第二个匹配，则意味着第一个不匹配，因此s不被初始化.

从specification:

一个switch语句执行如下:

...

Control is transferred according to the value of the converted switch expression:

同一switch语句中case个标签的集合中的The lexically first pattern个标签，如果匹配Switch表达式的值，并且其防护表达式不存在或求值为真，则导致将控制转移到匹配的case个标签之后的语句列表.

...