C#中基于类型的switch语句能否结合goto实现贯穿执行？

首先，咱们来拆解你遇到的编译错误：“Use of unassigned local variable 'animal1'”，核心原因是每个case分支里的animal1都是独立的局部变量——它们的作用域只限于各自的case块内部。当你从case Dog animal1:用goto MammalLabel跳转到case Mammal animal1:里的标签时，这里的animal1是另一个完全未初始化的变量（你并没有通过匹配Mammal类型进入这个分支，所以它没有被赋值），编译器自然会报错。

回到你的核心问题：可以结合基于类型的Switch实现类似贯穿执行的逻辑，但不能用你当前这种跨case跳转的方式，变量作用域的限制会导致编译错误。下面给你两种可行的方案，分别满足“最佳实践”和“语法实验”的需求：

方案1：利用类型层次自然复用逻辑（推荐） #

C#的类型模式Switch本身就会优先匹配最具体的类型，你可以把公共逻辑提取到独立方法中，既实现代码复用，又避免goto带来的可读性问题，完全符合C#的设计意图：

foreach (Animal animal in listOfAnimals)
{
    switch (animal)
    {
        case Dog dog:
            dog.Bark(); // 仅Dog专属逻辑
            HandleMammalBehavior(dog); // 复用Mammal逻辑
            HandleAnimalBehavior(dog); // 复用Animal逻辑
            break;
        case Mammal mammal:
            HandleMammalBehavior(mammal);
            HandleAnimalBehavior(mammal);
            break;
        case Animal baseAnimal:
            HandleAnimalBehavior(baseAnimal);
            break;
        default:
            break;
    }
}

// 提取公共方法，统一维护逻辑
static void HandleMammalBehavior(Mammal mammal)
{
    mammal.DoMammalStuff();
}

static void HandleAnimalBehavior(Animal animal)
{
    animal.Eat();
}

方案2：Switch外部声明变量配合Goto（仅用于语法实验） #

如果你只是想验证goto模拟贯穿执行的可能性，可以把变量声明在Switch外部，确保跳转后变量处于已赋值状态：

foreach (Animal animal in listOfAnimals)
{
    Dog dog = null;
    Mammal mammal = null;
    Animal baseAnimal = animal;

    switch (animal)
    {
        case Dog d:
            dog = d;
            dog.Bark();
            goto MammalLabel;
        case Mammal m:
            mammal = m;
            MammalLabel:
            // 从Dog分支跳转过来时，强制转换为Mammal（Dog是Mammal子类，不会为null）
            mammal ??= animal as Mammal;
            mammal.DoMammalStuff();
            goto AnimalLabel;
        case Animal a:
            baseAnimal = a;
            AnimalLabel:
            baseAnimal.Eat();
            break;
        default:
            break;
    }
}

这种方式需要额外处理null检查，可读性较差，实际开发中不建议使用，但能满足你对语法特性实验的需求。

关键结论 #

• 你完全不需要改用字符串比较或if-else结构，基于类型的Switch足以实现你的需求，只要避开变量作用域的陷阱即可。
• 提取公共方法是最符合C#最佳实践的方案，既清晰又易于维护。
• 若仅做语法实验，通过Switch外部声明变量的方式可以实现goto模拟贯穿执行，但要注意变量的初始化状态。

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