本文深入探讨了java `switch-yield`表达式在特定模式下与逻辑非运算符`!`结合使用时可能遇到的编译错误。该问题表现为当`yield`关键字后直接跟随`!`运算符时，编译器会报告“not a statement”错误。文章揭示了这是一个已知的jdk缺陷，并提供了通过升级jdk版本（尤其是jdk 17及更高版本）或采用代码规避策略来解决此问题的详细指导，确保代码的正确编译与执行。
理解Java switch表达式与yield
Java 12引入了switch表达式，它允许switch语句返回一个值，从而可以将其赋值给变量。为了在switch块中使用多行逻辑并返回一个值，Java 13又引入了yield语句。yield语句类似于return语句，用于从switch表达式的某个分支中产生一个值。
一个典型的switch-yield表达式示例如下：
final var result = switch(input) {
case "ONE" -> {
System.out.println("Processing ONE");
yield 1;
}
case "TWO" -> 2;
default -> {
System.out.println("Processing default");
yield -1;
}
};
System.out.println("Result: " + result);switch-yield与逻辑非运算符!的编译冲突
在某些JDK版本中，当yield语句在一个代码块中，并且其后直接跟随逻辑非运算符!时，可能会导致意外的编译错误。
问题代码示例：
立即学习“Java免费学习笔记（深入）”；
考虑以下使用switch-yield表达式的代码片段，其中yield后直接跟着!运算符：
public class SwitchYieldError {
public static void main(String[] args) {
String input = args.length > 0 ? args[0] : "A";
final var errorExample = switch(input) {
case "A" -> {
// 预期会发生编译错误
yield !true || true;
}
default -> false;
};
System.out.println("Error example result: " + errorExample);
}
}尝试编译上述代码时，编译器会输出以下错误信息：
error: not a statement
yield !true || true;
^这个错误提示“not a statement”可能会让人感到困惑，因为yield后跟随一个布尔表达式在语法上看起来是正确的。
成功编译的对比示例：
有趣的是，如果仅仅调整表达式中!运算符的位置，代码就能成功编译。例如，将!运算符作用于表达式的后半部分：
public class SwitchYieldSuccess {
public static void main(String[] args) {
String input = args.length > 0 ? args[0] : "A";
final var successExample = switch(input) {
case "A" -> {
// 能够成功编译
yield true || !true;
}
default -> false;
};
System.out.println("Success example result: " + successExample);
}
}这段代码能够顺利编译并执行，这表明问题并非出在yield语句本身或逻辑非运算符的语法上，而是yield后紧跟!这种特定组合。
深入分析：JDK中的已知缺陷
经过查证，上述编译错误是一个已知的JDK缺陷，其追踪编号为JDK-8268670。该缺陷的描述指出，yield语句不允许在表达式中直接使用一元运算符~（按位取反）或!（逻辑非）。这意味着，当这些一元运算符直接作为yield关键字后的第一个操作符时，编译器会错误地将其解析为非语句。
这个缺陷在JDK 17版本中已经得到解决。因此，受影响的用户在使用低于JDK 17的版本时，可能会遇到此问题。
解决方案与建议
针对这个JDK缺陷，有以下两种主要的解决方案和建议：
升级JDK版本： 最彻底和推荐的解决方案是将您的Java开发工具包（JDK）升级到17或更高版本。在JDK 17及后续版本中，此问题已经得到修复，您可以正常使用yield !expression的语法而不会遇到编译错误。
-
代码规避策略（适用于无法立即升级JDK的情况）： 如果由于项目限制或其他原因无法立即升级JDK版本，可以通过调整代码来规避此问题。核心思想是避免yield关键字后直接跟随!或~一元运算符。
-
调整表达式顺序： 如前所示，如果逻辑非运算符不是表达式的第一个部分，代码通常可以成功编译。
// 原始错误代码 // yield !true || true; // 调整后的工作代码 yield true || !true;
-
使用括号明确优先级： 通过将一元运算符及其操作数用括号括起来，可以改变编译器的解析方式，使其不再将!视为yield后的第一个操作符。
// 原始错误代码 // yield !true || true; // 使用括号规避 yield (!true) || true;
这种方式能够有效地绕过缺陷，使得代码在旧版JDK上也能正常编译。
-
总结
Java switch-yield表达式与逻辑非运算符!在特定组合下产生的编译错误是一个已知的JDK缺陷（JDK-8268670），主要影响JDK 17之前的版本。该问题表现为yield !expression模式导致“not a statement”错误。解决此问题的最佳方法是升级到JDK 17或更高版本。若无法升级，开发者可以通过调整表达式顺序或使用括号明确优先级来规避此问题。理解并应用这些解决方案，可以确保您的Java代码在不同JDK环境下都能稳定可靠地编译和运行。
