为什么当我在 switch 语句中为每个枚举常量都有情况时，我仍然必须提供默认值吗？ [复制]

我试图在 Java 中声明一个枚举，并在 switch 语句中使用该类型的变量，其中涵盖了该类型枚举常量的所有可能情况。

enum MyEnum {
    FOO, 
    BAR
}

private static void test(MyEnum e) {
    String msg;
    switch (e) {
        case FOO:
            msg = "foo";
            break;
        case BAR:
            msg = "bar";
            break;
    }
    System.out.println("Enum is: " + e + " msg is: " + msg); //compiler error
}

为什么编译器无法检测到此开关将始终初始化msg（或者抛出 NullPointerException 因为e is null)?

想象一下如果MyEnum是一个单独的类。然后就可以重新编译了MyEnum类，并添加新值，无需重新编译EnumSwitchTest（所以不会出现任何错误）。

然后另一个类就可以调用test与新的价值。