问带有模式匹配的Java 17空情况

EN

tl;dr

switch表达式!=模式匹配与switch

您将switch表达式的相对新特性与仍未发布的模式匹配特性与switch混合在一起。

Java中的switch特性经历了三个阶段的发展，其中两个阶段已经完成：

• switch语句(Java1中的原始特性)
• switch表达式(☑️14+)
• 用于switch的❌模式匹配，包括case null (在Java17、18、19和20中预览)

不要将switch表达式与模式匹配混为一谈

经典switch

要理解的是，历史上，Javaswitch语句一直对null检查怀有敌意。看这个问题，https://stackoverflow.com/q/10332132/642706。如图所示，代码如下：

switch (i) {
    case null:
        doSomething0();
        break;    
}

…是不可能的。

switch表达式

当switch表达式被添加到Java时，快速转发到Java 14。见https://openjdk.java.net/jeps/361。它允许您在第一个代码示例中看到的语法：

return switch(testEnum) {
  case foo -> newFoo();
  case bar -> newBar();
}

但是读JEP吧。没有提到null -蟋蟀。

switch中的模式匹配

快速前进，到https://openjdk.java.net/jeps/406。请注意，这是Java 17中的预览功能，而不是最后正式发布的特性。(要了解预览功能是如何工作的，请阅读https://openjdk.java.net/jeps/12。)

在JEP 406中，请注意它的第二个目标：允许在需要的时放松开关的历史无效敌意。

现在搜索该页面以查找“空”- 73命中！该页解释了以前Java语言的策略：

传统上，如果选择器表达式的计算结果为switch…，则NullPointerException语句和表达式将抛出null…。

请注意语句、原始switch语法和附加表达式，以及代码中使用的新语法。在这两种情况下，null检查都被禁止。

该页面将继续解释促使包含对空检查的支持的更改。阅读JEP的遗嘱详细信息。

其结果是，您可以在Java17中的case null中使用switch --但只有在您不择手段地使用时，才能启用预览功能。

仍在预览中，在Java 20中

• Java 17中的预览尚未在Java 18中完成。
• Java 18看到了第二次预览。
• 第三次预览出现在Java 19中：https://openjdk.java.net/jeps/427。
• 目前在Java 20中的第4次预览，截至2022-10年.

https://en.wikipedia.org/wiki/Orson_Welles_Paul_Masson_advertisements#1978:_Original_ad%E2%80%94Beethoven,_Emerald_Dry

在Java 20中，您也将不得不不择手段地使用激活预览功能。

当然还有两次提醒：

• 预览功能不应用于关键应用程序的生产。
• 预览功能可能会改变。这就是他们的目的，收集导致改变的反馈和建议。

示例

让我们来看看这个代码示例。注意我们如何在这里使用普通的旧语法，而不使用->。箭头操作符与我们在这里的讨论无关。

String x = null;
switch ( x )
{
    case "starburst":
        System.out.println( "Is starburst." );
        break;
    case null:
        System.out.println( "Whoops, null." );
        break;
    default:
        System.out.println( "Some other value found." );
        break;
}

在Java 17中，默认情况下，在不启用预览特性的情况下，我们在编辑case null代码时会出现此错误

在语言级别“17”不支持开关中的模式 将语言级别设置为17 (预览)-切换模式匹配

在启用Java 17中的预览功能之后，代码将毫无怨言地编译。它运行着：

喔，零。

此命令行适用于我：

$ javac -version
javac 17.0.3
$ javac  -source 17 -Xlint:preview --enable-preview org/kablambda/Main.java
org/kablambda/Main.java:10: warning: [preview] null in switch cases is a preview feature and may be removed in a future release.
            case null -> "c";
                 ^
1 warning