switch 表达式：让分支返回值

从语句到表达式01

switch 表达式整体产出一个值，可以直接赋给变量、作为 return 的参数。箭头标签 -> 不会贯穿，每个分支只执行自己的代码。

enum Op { ADD, SUB }

static int apply(Op op, int a, int b) {
    return switch (op) {
        case ADD -> a + b;
        case SUB -> {
            int r = a - b;
            yield r;
        }
    };
}

System.out.println(apply(Op.ADD, 2, 3));
System.out.println(apply(Op.SUB, 2, 3));

5
-1

• 箭头标签不会 fall through，不需要 break。
• 分支可以是表达式，也可以是代码块；代码块用 yield 返回值。
• switch 表达式必须穷尽；enum 覆盖所有常量时可以省略 default。
• return 在 switch 表达式里表示「从方法返回」，不是「从这个分支产出值」。

yield：代码块里的返回值02

当分支需要多行逻辑时，用 {} 包住，并在末尾 yield 一个值。yield 只能出现在 switch 表达式的分支块里；switch 语句里不能用它产出值。

static String grade(int score) {
    return switch (score / 10) {
        case 10, 9 -> "A";
        case 8 -> "B";
        case 7 -> {
            String note = score >= 75 ? "B+" : "C";
            yield note;
        }
        default -> "D";
    };
}

穷尽性：编译器替你查漏03

switch 表达式必须覆盖所有可能值。对 enum，覆盖所有常量即可省略 default；对 String、int 等开放类型，必须提供 default。

enum Level { LOW, HIGH }

static int weight(Level level) {
    return switch (level) {
        case LOW -> 1;
        case HIGH -> 2;
    };
}

这段代码没有 default，仍能编译。以后给 Level 增加 MEDIUM，所有这样的 switch 会立即编译失败——这是 enum 穷尽性最有价值的地方。

• enum 的穷尽性按常量名检查；新增常量会破坏所有未写 default 的 switch 表达式。
• String / int 的 switch 表达式没有封闭集合，必须写 default。
• sealed 类型的穷尽性在 17 仍依赖预览的 switch 类型模式；普通 switch 不能按子类型穷尽。
• switch 语句不要求穷尽；switch 表达式要求穷尽，这是两者最重要的区别之一。

null 选择器04

普通 switch（语句或表达式）在选择器为 null 时抛 NullPointerException。17 的 case null 只在 JEP 406 预览的 switch 类型模式里可用，普通 switch 不能写。

static int code(String s) {
    return switch (s) {
        case "a" -> 1;
        default -> 0;
    };
}

try {
    System.out.println(code(null));
} catch (NullPointerException e) {
    System.out.println("null-npe");
}

null-npe

如果业务上 null 有明确含义，应在 switch 之前显式判断，或使用 17 预览的 case null（并接受预览限制）。不要依赖 default 接住 null：它不会。

从旧 switch 迁移05

// JDK 8
int result;
switch (op) {
    case ADD:
        result = a + b;
        break;
    case SUB:
        result = a - b;
        break;
    default:
        throw new IllegalArgumentException();
}

// JDK 17
int result = switch (op) {
    case ADD -> a + b;
    case SUB -> a - b;
};

版本边界BOUNDARY

这张表比 API 本身更值得记。写代码时先确认你的运行时版本。

费曼自检SELF CHECK

先合上页面，用自己的话回答，再展开对照。能讲出因果和反例，才算真正掌握。