Java switch表达式怎么用？新语法详解

Java 14+ 的 switch 表达式是返回值、用 ->、无 fall-through 的新特性，需全覆盖或 default，分支用 yield 返回，支持 byte/short/int/char/String/enum/Sealed（Java 21+），不支持 long/float/double/boolean。

Java 14 开始引入 switch 表达式（JEP 361），它不是语法糖，而是真正返回值、支持箭头语法、能避免 fall-through 的新结构；但必须注意：它和传统 switch 语句不兼容，不能混用，且只在 Java 14+ 作为预览特性启用，Java 14–16 需加 --enable-preview，Java 17+ 才是正式特性。

如何写一个合法的 switch 表达式

核心区别在于：表达式必须有返回值，所有分支必须覆盖全部可能（或有 default），且每个分支以 -> 结尾，后面不能跟 break，也不能隐式穿透。

• 必须用 = 或 var 接收返回值，比如 String result = switch (day) { ... };
• 分支体可以是单个表达式（如 "Mon"）、代码块（需用 {} 包裹，并用 yield 返回）
• 如果漏掉某个枚举常量或没有 default，编译直接报错：the switch expression does not cover all possible input values

int day = 3;
String name = switch (day) {
    case 1 -> "Mon";
    case 2 -> "Tue";
    case 3 -> "Wed";
    case 4 -> "Thu";
    case 5 -> "Fri";
    case 6, 7 -> "Weekend";
    default -> "Unknown";
};

在 switch 表达式里执行多行逻辑

单表达式不够用时，分支体必须写成代码块，并显式用 yield 返回结果；yield 不是 return，它只向当前 switch 表达式返回值，不会退出外层方法。

• 不能用 break 或 return 替代 yield，否则编译失败
• 代码块内可声明局部变量、调用方法，但要注意作用域仅限该分支
• 若忘记写 yield，编译器提示：missing yield statement

String level = switch (score) {
    case 90, 100 -> "A";
    case 80 -> "B";
    case 70 -> {
        System.out.println("Just passed");
        yield "C";
    }
    default -> {
        String msg = "Fail: " + score;
        yield msg;
    }
};

switch 表达式支持哪些类型

支持 byte、short、int、char、String、enum 类型，以及从 Java 21 开始支持的 sealed 类（通过模式匹配）。不支持 long、float、double、boolean，也不支持普通 class（除非是 sealed 层级下的具体子类）。

• String 分支比较用的是 equals()，不是 ==，无需额外判空（但传入 null 仍会抛 NullPointerException）
• 枚举类型必须写全限定名（如 DayOfWeek.MONDAY），不能只写 MONDAY（除非静态导入）
• Java 17+ 可用 record 或 sealed 类配合模式匹配，但那是另一套语法（case Foo(int x)），不属于基础 switch 表达式范畴

常见编译错误和对应修复

这类错误往往卡住新手，关键要分清“语句”和“表达式”的边界。

• switch expressions are not supported at language level '8'：检查 javac -version 和 IDE 的语言级别是否 ≥ 14（推荐 ≥ 17）
• not a functional interface 出现在 switch 前：说明你把它当成了 lambda 写在了需要函数式接口的地方，比如 Function f = switch (...) {...}; —— 这是非法的，switch 表达式不能直接赋给函数式接口，得先求值再传参
• 把 -> 错写成 :，或在表达式中用了 break "value"：这是旧式语句写法，表达式里只认 -> 和 yield

最容易被忽略的是：即使所有 case 都写了，如果 switch 的入参类型是 Integer（而非 int），而某个 case 是 null，运行时仍会 NPE——表达式本身不帮你做空安全，该判空还得自己来。