Java 模式匹配处理 null 分支的安全结构

Java 模式 switch 要接住空引用，应显式写 case null；只有 default 并不能避免选择器为 null 时抛出 NullPointerException。空值和未知类型要不同处理时，拆开 case null 与 default；两者确实采用同一种结果时，才写 case null, default。

我更倾向先把“没有值”和“有值但不支持”分开，再决定是否合并。这样审阅代码时更容易发现被兜底掩盖的输入问题。下面用一个自拟的展示文本函数说明判断过程，不声称这是线上事故复盘或已经执行的测试。

官方语言说明入口：https://docs.oracle.com/en/java/javase/26/language/pattern-matching-switch.html。示例只使用引用类型模式，不涉及基本类型模式预览功能；项目应使用支持正式模式 switch 的语言级别。

先找空指针发生在哪一层

遇到异常，先看堆栈定位的源码位置和实际传入值，而不是马上添加 default。需要区分三种情况：选择器自身是 null；选择器表达式调用的方法内部已经抛异常；进入分支后访问了另一个空字段。case null 只能处理第一种情况，不能捕获任意异常。

例如 switch(loadValue()) 中，loadValue() 如果抛出异常，尚未得到可匹配的值；如果返回 null，才涉及 null 标签。排查时可以在应用自己的调试环境把选择器值保存到局部变量，避免为了观察而重复调用有副作用的方法。日志只记录必要类型与空值标记，不直接输出敏感对象。

把三个输入区域画清楚

本文把输入分为 null、已知类型、其他非空类型。case String text 对应非空字符串；default 对应没有被其他标签接住的非空值；case null 独立表达空值语义。不能因为 Object 是引用类型共同父类，就认定 case Object value 会接住 null。

同样，不应写 case null, String text 来共享分支。空引用没有一个可以供字符串分支使用的 text。null 标签可以与 default 组合；这种组合不声明字符串模式变量。

空值需要单独解释时，保留独立分支

下面示例把 null 显示为“未提供”，字符串保留文本内容，其他类型显示为“不支持”。它只负责展示分类，不代表输入已经满足业务完整性要求。

public final class ValueCaption {
    private ValueCaption() {}

    public static String caption(Object value) {
        // 空值与未知非空类型采用不同语义，避免兜底掩盖缺失输入。
        return switch (value) {
            case null -> "未提供";
            case String text -> text;
            default -> "不支持的类型";
        };
    }
}

这里 case String text 的绑定变量只用于相应分支，不拿到 default 中复用。空字符串仍然是字符串，不是 null。若空字符串也要显示“未提供”，那是另一个业务约定，必须明确增加判断，不能把二者天然视为等价。

如果接口从设计上就不接受 null，我会优先在入口明确拒绝，而不是返回一个可能被误认为正常结果的占位文本。是否允许空值，应由接口契约决定，不是由 switch 的便利语法决定。

只有含义相同时才合并兜底

另一种展示控件可能只关心字符串，其他输入全部显示占位符。此时可以合并 null 与 default，减少重复，但要承认已经失去区分“缺失”和“不支持”的能力。

static String textOrPlaceholder(Object value) {
    // 仅用于空值与其他非字符串输入确实共享同一展示规则的场景。
    return switch (value) {
        case String text -> text;
        case null, default -> "暂无文本";
    };
}

不要在组合兜底里直接调用 value.toString()：该分支允许 value 为 null，仍然可能产生空指针。组合标签让控制流有去处，不会自动让每个变量变为非空。上面的分支返回常量，刻意不解引用选择器。

用反向输入检查兜底是否过宽

下面是建议读者在自己的工程测试中使用的预期矩阵，不是本文运行输出。测试时直接比较函数返回值，不需要依赖 JVM 具体异常提示文本。

反向检查尤其要试“非空但不支持”的值。如果也得到“未提供”，说明缺失值与未知类型可能已经被混为一谈。若业务有意如此，应把规则写入方法说明；若无意如此，就拆开两个分支。

改造旧代码时再检查项目编译语言级别、CI 的 release 设置，以及部署运行时。不要把新语法编译错误当作 null 规则错误，也不要为了这两个示例开启与本文无关的预览特性。

审阅清单与常见疑问

• 明确接口是否允许 null，并决定是拒绝还是转换成缺失状态。
• 不要把 default 或 Object 类型模式当作 null 兜底。
• 组合兜底内部不能无条件解引用选择器。
• 保留已知类型、其他非空类型和空值三类测试输入。
• 异常仍存在时继续定位选择器表达式和分支内部调用。

default 写在最后就能接住 null 吗？不能，改变位置并不会赋予它 null 匹配语义，应显式写 null 标签。

有 case null 就不会再空指针了吗？不是。方法调用、字段访问和分支体仍有独立的空值风险。

应该始终使用组合标签吗？不应该。我的取舍是优先保留业务差异；只有输出、日志与错误处理确实不需要区分时才合并。

参考：Oracle Java 模式 switch 语言说明。本文按其中 null 标签与模式变量规则编写，函数、占位文字及测试矩阵为原创示例。