Java枚举Switch已覆盖所有枚举值，为何编译器仍提示缺返回语句？

我编写了一个接收枚举类型参数的switch函数，已覆盖该枚举的所有枚举值，且每个case分支均有返回值，但Java编译器仍提示‘缺少返回语句’。

示例代码如下：

class Main {
    enum MyEnum {
        A,
        B
    }
    
    static String toString(MyEnum e) {
        switch (e) {
            case A: return "A";
            case B: return "B";
        }
        // COMPILER COMPLAINS HERE: 'MISSING RETURN STATEMENT'
    }
    
    public static void main(String[] args) {
        System.out.println(toString(MyEnum.A) + toString(MyEnum.B));
    }
}

添加switch的default分支，或在函数末尾添加默认返回值，即可让代码编译通过：

// only 1 of the 2 fixes is required to get this to compile
static String toString(MyEnum e) {
    switch (e) {
        case A: return "A";
        case B: return "B";
        default: return null;  // fix 1
    }
    return null; // fix 2
}

我认为Java枚举是类型安全的，不会存在意外值（不同于C/C++可强制传入随机整数），因此未添加默认分支的代码理应正常编译，为何Java编译器会有此要求？

原因解释 #

Java编译器的静态检查基于可达性规则，它不会主动校验你的switch分支是否覆盖了枚举的所有可能值。虽然枚举本身是类型安全的，无法传入非枚举实例，但编译器不会在编译期去追踪枚举的所有成员是否都被case覆盖：

• 后续如果有人给枚举新增了枚举值，原有代码的switch就会出现未覆盖的分支，此时如果没有默认返回路径，运行时就会出现问题；
• 编译器的要求本质是一种强制的防御性编程约束，确保函数在任何情况下都有明确的返回路径，避免因代码变更或极端情况导致运行时异常。

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