Java pattern matching for switch 遇到 null 分支怎么写

把普通对象交给 Java 的 pattern matching for switch 时，最容易忽略的是 null 不会自动落到 default，也不会因为 case Object obj 看起来很宽泛就被模式接住。需要保留空值语义时，直接写 case null；如果想把空值和其他未匹配值合并处理，则使用 case null, default。

为什么模式分支接不住 null

模式匹配先看选择器是否为 null。若没有 null 标签，switch 会按既有规则抛出 NullPointerException；这一步早于 String、Integer 等模式判断。于是下面的代码并不是“匹配不到就走 default”，而是直接异常：

static String classify(Object value) {
    // 没有 null 标签时，value 为 null 会先抛出异常
    return switch (value) {
        case String s -> "文本：" + s;
        case Integer i -> "整数：" + i;
        default -> "其他对象";
    };
}

这也是为什么只增加一个看起来很宽的 case Object obj 不能替代 null 分支。代码的关键不是模式覆盖范围，而是选择器是否已经被显式允许进入 switch 的标签匹配。

用 case null 明确接住空值

最清楚的写法是把空值作为独立业务状态。箭头语法适合把每个结果放在一个分支里，读者也能一眼看出 null 与普通类型并列：

static String classify(Object value) {
    // 把空值翻译成业务可识别的结果
    return switch (value) {
        case null -> "缺少输入";
        case String s -> "文本：" + s;
        case Integer i -> "整数：" + i;
        default -> "其他对象";
    };
}

这里的 case null 只负责 null，case String s 才会绑定字符串变量。这样做适合空值需要单独记录、返回默认对象或转换成参数错误的场景。对于 switch 表达式，还要保证每个分支都能产生结果；把 null 分支漏掉，通常会在测试输入为空时才暴露。

什么时候使用 case null, default

如果业务只关心“文本”和“非文本”，可以把两个兜底条件合在最后：

static String textOrFallback(Object value) {
    // null 与其他非文本值共用一个兜底结果
    return switch (value) {
        case String s -> s;
        case null, default -> "不是文本";
    };
}

case null, default 是合法组合，因为它表达的是一个统一兜底标签；但 case null, String s 不合法，原因是 null 不能和类型模式放进同一标签。若空值和整数需要不同提示，就应该拆成 case null、case Integer i 和 default 三个分支。

写完后检查这几个边界

先确认项目编译级别至少支持最终版 pattern matching for switch，再检查选择器的静态类型。如果它是 Object、String、包装类型或枚举，测试用例都应包含一个真实 null。最后检查标签顺序和组合关系：更具体的类型模式放在前面，统一兜底的 case null, default 放在最后；不要用改名或额外条件掩盖空值策略。

如果 null 代表请求缺少字段，建议保留独立分支并返回明确错误；如果 null 与未知对象都只表示“无法转成目标类型”，统一兜底更简洁。关键是让分支的业务边界与 Java 的匹配边界保持一致。

常见问题

只写 default 能处理 null 吗？

不能。没有 null 标签时，选择器为 null 会抛出 NullPointerException，不会进入 default。

可以写 case null, String s 吗？

不能。null 只能与 default 组合；需要同时处理时，拆成独立的 null 分支和 String 分支。

case Object obj 能替代 case null 吗？

不能把它当成显式 null 策略。要表达空值处理，仍应直接写 case null 或 case null, default。

参考：Oracle Java Language Updates：Pattern Matching with switch、Java SE 21 JLS 第 14 章。