枚举类型穷尽式switch语句的静态分析疑问

先来看这段Java代码：

enum MyEnum { A, B, C; }
int foo(MyEnum e) {
    switch (e) {
        case A: return 1;
        case B: return 2;
        case C: return 3;
    }
}
// 编译器报错：error: missing return statement

编译器会直接抛出「缺少return语句」的错误。对比下面这段代码就很有意思了：

int bar() {
    if (...) { return 1; }
    else { return 2; }
}

这段代码完全没问题，编译器能识别到所有分支都有返回值，不会纠结后续是否还有return语句。

回到开头的switch场景：明明所有枚举值都被case覆盖了，每个case也都直接return了，逻辑上根本不可能走到switch块外面，为什么编译器还报错？这就引出了核心问题——针对每个case都带return的穷尽式switch语句，静态分析是否能识别switch后的代码块为不可达？

我特意翻了Java语言规范（JLS），确实没找到针对这个场景的明确说明。实际情况得看具体的工具实现：

• 咱们常用的Oracle/Sun javac编译器，是不会把这种场景判定为不可达代码的。哪怕你把枚举的所有case都写全了，它依然要求你在switch块之后加return，或者补一个default分支。这是因为javac的静态分析更偏向语法层面的严格检查，并没有做语义上的「枚举case穷尽性」判断——它不会主动去确认你是不是覆盖了所有枚举值。
• 但像Eclipse用的ECJ编译器，或者SpotBugs这类静态分析工具，是能识别这种场景的。它们会检查枚举的所有常量是否都被case处理，并且每个分支都有return，进而判定switch之后的代码是不可达的，不会报缺少return的错误。

本质上，这是因为JLS并没有强制要求编译器必须实现枚举case的穷尽性检查。JLS里关于不可达代码的规则，主要针对if-else、循环这类结构，对于switch和枚举的组合场景，给了编译器很大的实现空间，所以不同工具的处理逻辑才会不一样。

如果想让代码在javac下顺利编译，最稳妥的办法要么补一个永远走不到的default分支（比如default: throw new AssertionError("Unreachable");），要么在switch块后面加一个return（同样可以配合断言错误，明确表示这里逻辑上不可达）。

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