为什么打开枚举需要默认值？

Question

通常，在switch语句中不需要默认值。但是，在以下情况下，仅当我取消注释默认语句时，代码才能成功编译。有人可以解释为什么吗？

public enum XYZ {A,B};
public static String testSwitch(XYZ xyz)
{
    switch(xyz)
    {
    case A:
        return "A";
    case B:
    //default:
        return "B";
    }
}

Answer 1

您必须取消注释的原因default是您的函数说它返回一个String，但是如果您只case为定义了标签A，B那么如果您传入其他任何内容，该函数将不会返回值。Java要求所有声明它们返回值的函数实际上在所有可能的控制路径上都返回一个值，并且在您的情况下，编译器不确信所有可能的输入都返回了值。

我相信（我不确定）这是因为即使您涵盖所有enum情况，在某些情况下代码仍然可能失败。特别是，假设您编译包含此switch语句的Java代码（效果很好），然后稍后更改，enum以便现在有了第三个常量-
假设C-但您不使用其中的switch语句重新编译代码。现在，如果您尝试编写使用先前编译的类并传递C到该语句中的Java代码，则该代码将没有返回值，这违反了Java协定，即所有函数始终返回值。

从技术上讲，我认为真正的原因是JVM字节码验证程序始终拒绝函数，其中某些控制路径不在函数末尾（请参阅JVM规范的
§4.9.2 ），如果代码进行编译，无论如何它只会在运行时被JVM拒绝。因此，编译器会为您提供错误以报告存在问题。