关于C#模式匹配中不匹配接口的不可达分支未生成警告的咨询

你遇到的这个情况其实是C#编译器对模式匹配分支可达性的判断逻辑导致的，咱们结合你的代码来拆解原因：

核心代码片段：

private static int Dispatch(int value, IAction action)
{
    switch (action)
    {
        case Increment _:
            return value + 1;
        case Decrement _:
            return value - 1;
        case DoNothing _:
            // 未实现IAction，永远不会执行，但未生成警告
            return value;
        default:
            return value;
    }
}

核心原因：DoNothing不是密封类 #

C#编译器无法判定case DoNothing _:分支永远不可达，因为非密封类允许被继承。虽然当前的DoNothing没有实现IAction，但编译器必须考虑未来可能出现这样的子类：

internal class SneakyAction : DoNothing, IAction {}

如果创建SneakyAction的实例并传入Dispatch方法，这个分支就会被命中——因为模式匹配会匹配父类型，SneakyAction是DoNothing的子类，自然符合DoNothing _的模式。

验证：密封DoNothing后会触发警告 #

如果把DoNothing改成密封类，编译器就能确定不可能有子类实现IAction了，此时这个分支会被标记为不可达：

internal sealed class DoNothing{} // 添加sealed修饰符

此时编译代码，你会收到CS0162 无法访问的代码警告，完全符合你预期的行为。

额外说明：编译器的保守性原则 #

C#编译器的可达性分析是保守的，它只会在绝对确定分支永远不会被执行的场景下才会生成警告。对于非密封的引用类型，编译器默认允许开发者后续扩展类型（比如子类实现接口），所以不会轻易标记这类分支为不可达。

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