登录
推荐 文章 Go 技术 课程 下载 专题 AI
首页 >  文章 >  java教程

Java switch 模式匹配怎么显式处理 null

来源:17golang原创

时间:2026-09-27 22:39:29 291浏览 收藏

模式匹配 switch 遇到 null 时,不会自动进入 case Object obj 或 default。选择器为 null 且没有空值标签时,运行期会抛出 NullPointerException。需要把空值策略写成独立的 case null,或者在明确接受合并语义时使用 case null, default。

要点速览
  • case Object obj 只匹配非空对象,不能兜住 null。
  • case null 用来表达缺失值、拒绝输入或默认回退策略。
  • case null, default 会把空值和未知类型放在同一分支,只有语义确实相同才这样写。

为什么类型模式不能代替 null 分支

我第一次把类型模式迁移到事件路由代码时,习惯性地保留了 default,以为它会覆盖所有没有命中的值。实际情况不同:模式匹配先判断选择器是否为空,null 不会被类型模式接收;没有 null 标签时,switch 会直接抛出空指针异常。

static String describe(Object value) {
    // 类型模式只负责非空对象的类型分派,不能替代 null 策略
    return switch (value) {
        case String text -> "文本:" + text;
        case Object object -> "对象:" + object.getClass().getSimpleName();
    };
}

这段代码面对字符串和其他非空对象没有问题,但传入 null 时不会返回“未知”。因此,排查这类异常时先看选择器是否可能为空,再看模式是否覆盖了目标类型;不要只给最后一行加 default 就认为覆盖完整。

Java switch 模式匹配中 null 与非空类型模式的边界说明图
图1:Java switch 选择器的空值边界说明图,展示 null 不进入类型模式。

用 case null 显式写出空值策略

最直接的写法是把 case null 放在模式分支旁边。空值到底应该返回缺省状态、抛出业务异常,还是记录后跳过,由调用场景决定;语法只负责让这个决定可见。

static String classify(Object value) {
    // 空值返回明确状态;字符串和其他对象分别处理
    return switch (value) {
        case null -> "MISSING";
        case String text -> text.isBlank() ? "BLANK" : "TEXT";
        default -> "OTHER";
    };
}

这里的 default 只承担“非空但没有专门类型分支”的职责,和 null 的含义分开。若这是参数校验入口,可以把空分支改为抛出带字段名的异常;若是日志或事件汇聚,则返回一个稳定的缺失标识通常更容易观察。

什么时候可以合并 case null 和 default

Oracle 的模式匹配文档允许把 null 与 default 写在同一个标签中,但不能把 null 直接和类型模式放在一起。例如 case null, String s 是非法的,而下面这种写法表达的是“空值或非字符串都走回退”。

static String stringOrFallback(Object value) {
    // 只有 null 与未知类型确实共享同一结果时才合并
    return switch (value) {
        case String text -> "STRING:" + text;
        case null, default -> "FALLBACK";
    };
}

合并的代价是诊断信息减少:调用方无法仅凭返回值区分“没有传值”和“传入了不支持的对象”。在 API、配置加载和消息协议等边界,我更倾向于保留独立的 case null,让缺失输入可以单独计数或给出更准确的错误提示。

写法覆盖范围适合场景
case null仅空值缺失值有独立业务含义
case null, default空值和其他未匹配值两者确实共享同一个回退动作
无 null 标签空值不被处理只有调用前已完成非空约束时才可接受

把 null 分支落到调用边界和测试清单

实际改造时可以先把选择器的来源列出来:HTTP 参数、配置字段、反序列化对象和事件载荷通常都可能为空。然后为每种输入写一条测试,至少覆盖下面四种结果。

static void check(Object input, String expected) {
    // 断言分类结果,失败时带出输入类型,便于定位分支遗漏
    String actual = classify(input);
    if (!expected.equals(actual)) {
        throw new AssertionError("expected=" + expected + ", actual=" + actual);
    }
}

// null、空字符串、普通字符串和其他对象分别验证
check(null, "MISSING");
check("", "BLANK");
check("java", "TEXT");
check(42, "OTHER");

发布前再检查两点:第一,项目的 Java 版本确实支持模式匹配 switch;第二,case null 的结果是否符合接口契约,而不是为了消除异常随便返回默认值。若空值代表编程错误,保留独立分支并抛出上下文明确的异常,比静默落入 default 更安全。

Java switch case null、类型模式与 default 的分支决策关系说明图
图2:case null、类型模式和 default 的分支决策结构图,强调独立空值策略。

常见问题

case Object obj 能匹配 null 吗?

不能。没有单独的 case null 时,选择器为 null 会抛出 NullPointerException。

case null 能和 String 模式写在一起吗?

不能直接合并。可以分别写 case null 和 case String s,或者只在语义相同的情况下把 null 与 default 合并。

应该把 null 放到 default 里处理吗?

只有空值和未知类型确实共享同一结果时才合并。需要监控、报错或补默认字段时,应保留独立的 case null。

这类改造的关键不是记住一个语法片段,而是先决定空值在当前边界上的业务含义,再让 case null、类型模式和 default 分别承担一种职责。

声明:本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>