通常在 switch 语句中不需要 default。但是，在下面这种情况下，只有当我取消注释 default 语句时，代码才能成功编译。有人能解释一下为什么吗？
public enum XYZ {A,B};
public static String testSwitch(XYZ xyz)
{
switch(xyz)
{
case A:
return "A";
case B:
//default:
return "B";
}
}
default 的原因是，你的函数声明返回一个 String，但如果你只为 A 和 B 定义了 case 标签，则如果传入其他任何值，函数将不会返回任何值。Java 要求所有声明返回值的函数在所有可能的控制路径上实际返回值，在你的情况下，编译器并不确信所有可能的输入都有返回值。enum 情况，代码仍然可能在某些情况下失败。特别是，假设你编译包含此 switch 语句的 Java 代码（它可以正常工作），然后稍后更改 enum，使其现在有第三个常量 - 比如说 C - 但你没有重新编译带有 switch 语句的代码。现在，如果你尝试编写使用先前编译的类并将 C 传递到该语句中的 Java 代码，则代码将无法返回值，违反了 Java 所有函数始终返回值的约定。我认为这可以通过JLS 16.2.9中对switch语句的明确赋值规则来解释，其规则如下：
"如果满足以下所有条件，则在
switch语句之后V是[未]分配的：
- 在switch块中有一个默认标签或者在switch表达式之后V是[未]分配的。
如果我们将此应用于虚构的方法返回值V，我们可以看到，如果没有default分支，则该值在概念上未被分配。
好的... 我正在推断明确赋值规则以涵盖返回值，也许它们不是。但是我在规范中找不到更直接的东西并不意味着它不存在 :-)
还有一个（更加严谨的）原因，为什么编译器必须报错。这源于JLS 13.4.26中枚举类型的二进制兼容性规则，其规定如下：
"向枚举类型添加或重新排序常量不会破坏与现有二进制文件的兼容性。"
那么在这种情况下如何应用呢？假设编译器被允许推断OP示例switch语句总是返回某个值。如果程序员现在更改枚举以添加额外的常量，会发生什么？根据JLS二进制兼容性规则，我们没有破坏二进制兼容性。然而，包含switch语句的方法现在可以（根据其参数）返回未定义的值。这是不能被允许的，因此switch 必须成为编译错误。
唯一不太清楚的是隐式默认子句实际上会做什么。我猜它会抛出一个未经检查的异常。(截至目前，Java 12的JLS尚未更新以描述新的switch表达式。)switch表达式的case必须是全面的；对于所有可能的值，都必须有匹配的switch标签。(显然，switch语句不需要是全面的。)
实际上，这通常意味着需要一个默认子句；但是，在涵盖所有已知常量的枚举switch表达式的情况下，编译器会插入一个默认子句，以指示枚举定义在编译时和运行时之间已更改。依赖于这种隐式的默认子句插入可以使代码更加健壮；现在，当代码重新编译时，编译器会检查是否显式处理了所有情况。如果开发人员插入了显式的默认子句(如今天的情况)，可能会隐藏一个错误。
default情况不是应用程序错误也是有意义的。 - Stephen Cpublic static String testSwitch(XYZ xyz) {
return switch (xyz) {
case A -> "A";
case B -> "B";
};
}
XYZ以添加（比如说）一个C值，而你没有修改/重新编译这个方法，那么它会返回什么？试一下…… - Stephen Cpublic static String testSwitch(XYZ xyz) {
if(xyz == null) return "null";
switch(xyz){
case A:
return "A";
case B:
return "B";
}
return xyz.getName();
}
这与以下语句的结果相同
public static String testSwitch(XYZ xyz) {
return "" + xyz;
}
public static String testSwitch(XYZ xyz) {
switch(xyz){
case A:
return "A";
case B:
return "B";
}
throw new AssertionError("Unknown XYZ "+xyz);
}
String.valueOf(x)所做的相同，也不会抛出异常。 - Peter Lawrey有一个合同规定这个方法必须返回一个字符串，除非它抛出异常。而且每次都不仅限于xyz的值等于XVZ.A或XYZ.B的情况。
这里有另一个例子，很明显代码会运行正确，但由于同样的原因我们有一个编译时错误：
public boolean getTrue() {
if (1 == 1) return true;
}
并不是说你一定要添加一个默认语句，而是在任何时候都必须返回一个值。因此，您可以在 switch 块后添加默认语句或返回语句。
在您的代码示例中，如果xyz为空，会发生什么？在这种情况下，该方法缺少返回语句。
NullPointerException，它追溯到switch(xyz)语句。 - Nicolas Favre-FelixNullPointerException。这里有一个例子，你可以自己尝试一下。它执行了一个 switch(null)，这就会触发一个 NullPointerException。你还可以参考Oracle官方网站关于switch的教程，上面明确指出：确保switch语句中的表达式不为null，以防止引发NullPointerException。 - Nicolas Favre-Felixdefault: throw new AssertionError();
因为编译器无法猜测enum中只有两个值，并强制你从方法中返回值。（但我不知道为什么它无法猜测，可能与反射有关）。
ordinal，但我不确定这是否正确。 - templatetypedef