本文深入探讨了java `switch-yield`表达式中，当逻辑非运算符 `!` 紧跟在 `yield` 关键字之后时，可能出现的编译错误。该错误表现为“not a statement”，是jdk的一个已知缺陷（jdk-8268670）。文章将通过示例代码展示问题现象，并指出该问题已在jdk 17及更高版本中得到解决，建议升级jdk版本以避免此问题。
理解Java switch-yield表达式
Java 14引入了switch表达式，允许switch语句作为表达式使用，返回一个值。这极大地简化了代码，避免了传统switch语句中常见的冗余赋值操作。在switch表达式的case分支中，可以使用yield关键字来返回一个值。
一个典型的switch-yield表达式示例如下：
String dayType = switch (dayOfWeek) {
case MONDAY, TUESDAY, WEDNESDAY, THURSDAY, FRIDAY -> "工作日";
case SATURDAY, SUNDAY -> "周末";
default -> throw new IllegalArgumentException("无效的日期");
};当case分支需要执行多行逻辑时，可以使用代码块，并在块内通过yield关键字返回结果：
int result = switch (value) {
case 1 -> {
System.out.println("处理值1");
yield 10;
}
case 2 -> {
System.out.println("处理值2");
yield 20;
}
default -> 0;
};yield后紧跟!运算符导致的编译错误
在某些特定的场景下，当逻辑非运算符 ! 直接跟在 yield 关键字之后时，Java编译器会报告一个意外的编译错误。尽管从语法逻辑上看表达式是完全合法的，但编译器会将其误识别为“not a statement”。
立即学习“Java免费学习笔记（深入）”；
考虑以下代码片段：
public class SwitchYieldError {
public static void main(String[] args) {
// 假设 args[0] 为 "A"
final var errorExample = switch(args[0]) {
case "A" -> {
// 此处会发生编译错误
yield !true || true;
}
default -> false;
};
System.out.println("Error Example Result: " + errorExample);
}
}尝试编译上述代码时，编译器会输出以下错误信息：
error: not a statement
yield !true || true;
^这个错误信息表明编译器无法将 yield !true || true; 解析为一个有效的语句或表达式，尤其是在 yield 关键字后直接遇到 ! 运算符时。
成功编译的示例与对比
有趣的是，如果将逻辑非运算符 ! 的位置稍作调整，使其不再直接紧跟在 yield 关键字之后，代码就能正常编译。这进一步证实了问题出在 yield 和 ! 的特定组合上。
以下是成功编译的代码示例：
public class SwitchYieldSuccess {
public static void main(String[] args) {
// 假设 args[0] 为 "A"
final var successExample = switch(args[0]) {
case "A" -> {
// 编译成功，逻辑非运算符不在 yield 之后
yield true || !true;
}
default -> false;
};
System.out.println("Success Example Result: " + successExample);
}
}在这个成功的示例中，表达式 true || !true 的结构使得 ! 运算符不再是 yield 后的第一个操作符，从而避免了编译器的解析错误。
根本原因：JDK已知缺陷
经过深入调查，这个编译错误被确认为Java Development Kit (JDK) 中的一个已知缺陷。该问题在OpenJDK的Bug系统中被记录为 JDK-8268670，标题为“yield statements doesn't allow ~ or ! unary operators in expression”。
这个Bug表明，在switch表达式的yield语句中，当尝试使用一元运算符（如逻辑非 ! 或按位非 ~）作为yield后表达式的起始部分时，编译器会错误地解析语法，导致编译失败。这并非用户代码的逻辑错误，而是JDK编译器在处理这种特定语法模式时的缺陷。
解决方案与建议
解决这个问题的最直接和推荐的方法是升级您的JDK版本。
升级JDK版本： 根据OpenJDK Bug系统的记录，此问题已在 JDK 17 及更高版本中得到解决。因此，如果您正在使用JDK 17之前的版本，并且遇到了此问题，升级到JDK 17或更高版本将彻底消除这个编译错误。
-
代码规避（适用于无法升级JDK的情况）： 如果由于项目限制暂时无法升级JDK版本，可以通过调整表达式的结构来规避此问题。具体方法是确保 ! 或 ~ 运算符不会直接紧跟在 yield 关键字之后。例如，可以通过引入括号或调整操作数顺序来实现：
// 原始编译错误代码 // yield !someBooleanValue; // 规避方法1：使用括号 yield (!someBooleanValue); // 规避方法2：调整表达式顺序（如果逻辑允许） yield someOtherBooleanValue || !someBooleanValue;
虽然规避方法能够解决当前的编译问题，但它增加了代码的复杂性，并且治标不治本。强烈建议在条件允许的情况下，尽快升级JDK版本。
总结
Java switch-yield表达式中 ! 运算符紧跟在 yield 关键字之后导致的编译错误是一个由JDK已知缺陷（JDK-8268670）引起的问题。该问题已在JDK 17中得到修复。开发者在遇到此类问题时，应首先检查所使用的JDK版本。最可靠的解决方案是升级到JDK 17或更高版本。如果暂时无法升级，则可以通过调整表达式结构来规避。了解并关注JDK的已知缺陷对于编写健壮和可维护的Java代码至关重要。
