.NET 7中switch类型模式变量未初始化的编译器异常问题

你遇到的问题核心在于C#模式匹配里模式绑定变量的初始化规则，以及switch分支中多case标签的匹配逻辑。

为什么变量会提示未初始化？ #

你的代码里，case string s:和case object o:属于同一个switch分支（因为中间没有break），但这两个变量的初始化条件是完全独立的：

• s只有当obj是string类型、匹配第一个case时才会被初始化；
• o只有当obj不匹配第一个case（也就是非string的object）、进入第二个case时才会被初始化。

所以在分支的代码块里：

• 如果obj是string，s初始化完成，但o完全没被赋值；
• 如果obj不是string，o初始化完成，但s没被赋值。

编译器会严格跟踪每个变量的初始化状态，只要存在变量未被初始化就被访问的可能，就会抛出错误。

为什么编译器允许声明这类变量？ #

这些变量是模式绑定变量，设计初衷就是让你在对应模式匹配成功的场景下使用它们。它们的作用域覆盖整个switch分支，但只有匹配到对应case时才会被赋值。这种设计是为了支持模式匹配的灵活性——比如你可以在同一个分支里写多个模式，每个模式绑定不同的变量，按需使用。

修正方案 #

如果你的需求是分别处理string和其他object类型，应该把两个case拆成独立分支：

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

如果想在同一个分支里处理，但确保变量都能被安全访问，可以调整模式写法，比如用var匹配剩余情况：

void Foo(object obj)
{       
    switch (obj)
    {
        case string s:
            Console.WriteLine(s);
            break;
        case var o: // 这里会匹配所有未被前面case覆盖的情况
            Console.WriteLine(o);
            break;
    }      
}

内容的提问来源于stack exchange，提问作者codymanix