PHP match 表达式怎样处理未命中分支

我在把外部状态映射成内部结果时，最容易低估的不是 match 的语法，而是“没有命中”到底算正常输入，还是应该立刻暴露协议变化。PHP 的 match 表达式要求分支覆盖输入；没有任何分支命中且没有 default 时，会抛出 UnhandledMatchError。

官方地址：https://www.php.net/manual/en/control-structures.match.php

选择方式可以记成一句话：未知值可以正常降级，就用 default；未知值说明内部协议已经变化，就保留 UnhandledMatchError，并在边界统一记录或转换；不要为了“看起来不报错”把所有异常都吞掉。

先确认未命中的真实语义

match 与 switch 有两个容易混在一起的差别：它是表达式，可以直接返回值；分支比较使用严格身份比较，也就是 ===。因此，输入值没有命中任何 arm 时，问题不是返回了一个隐式的空值，而是整个表达式没有可用结果。

例如下面的写法只声明了两个已知状态。它适合用来表达“状态集合必须封闭”，但调用方传入其他值时需要能够看到错误。

 '可处理',
    'running' => '处理中',
};

当 $state 是 paused 时，表达式没有分支可返回，PHP 会抛出 UnhandledMatchError。它不是“match 没有默认值所以返回 null”，也不是弱比较导致的隐式转换。

开放输入优先用 default 统一兜底

如果输入来自请求参数、配置文件或第三方接口，未来出现新值并不一定是程序错误。这类输入通常适合用 default 给出一个明确的业务结果，例如统一映射成“未知状态”，而不是让异常一路冒到页面或任务入口。

 '可处理',
    'running' => '处理中',
    default => '未知状态',
};

echo $label;

default 只匹配前面没有被处理的值。它不是把所有输入都当成已知值，而是明确告诉读者：这条业务路径接受未知输入，并且有一个统一结果。兜底文本、状态码或默认策略应当是业务上可接受的，不要用模糊的空字符串掩盖问题。

封闭输入保留 UnhandledMatchError 更容易发现协议变化

当状态集合由枚举、内部消息协议或同一代码库中的固定约定决定时，新值往往意味着生产者和消费者没有同步升级。此时补一个宽泛的 default 可能让错误数据继续向下流动，直到更晚的地方才表现为错误。

我在这种场景里会保留未命中错误，但在边界层决定怎样记录和转换。捕获的目标是把错误接到统一的错误处理机制，而不是在每个 match 旁边都写一段吞错逻辑。

 '可处理',
        'running' => '处理中',
    };
}

$state = 'paused';

try {
    // 这里的 catch 只负责把协议错误转换成边界层能记录的业务错误。
    echo stateLabel($state);
} catch (\UnhandledMatchError $error) {
    error_log($error->getMessage());
    throw new RuntimeException('状态协议未覆盖', 0, $error);
}

UnhandledMatchError 属于 PHP 的 Error 体系。是否捕获、捕获后返回什么，取决于当前边界能否继续提供安全结果；如果不能，就保留原始错误作为 previous throwable，方便后续定位。

三种处理路径怎么选

把选择条件放在“输入是否可扩展”和“未知值是否能降级”两个问题上，比单纯比较代码长短更可靠。

回归时别只测一个已知值

这个问题的回归重点不是把所有分支再抄一遍，而是验证“未知值的契约”没有被改坏。至少覆盖下面四类输入：

• 一个明确命中的已知值，确认具体分支仍返回预期类型。
• 一个未命中的字符串，确认开放输入走 default，封闭输入抛出 UnhandledMatchError。
• 一个类型相近但不相同的值，确认严格比较没有被误当成弱比较。
• 一个未来可能由上游新增的状态，确认团队已经决定是降级、记录还是失败。

如果代码审查里只看到“为了防止报错加了 default”，我会继续追问这个未知值是否真的可以作为正常业务输入。能回答清楚这一点，才算处理了未命中分支，而不是把异常提示藏起来。

我的选择结论

显式分支、default 和 try/catch 没有绝对的优先级。封闭集合优先让 UnhandledMatchError 暴露协议变化；开放输入优先使用有业务含义的 default；跨多个入口的内部协议，则在统一边界捕获并保留原始错误。

真正需要避免的是无意义的兜底：如果未知值既不能被接受，也没有可观察的记录，那么程序虽然不再立刻抛错，结果反而更难追踪。

相关问题

match 和 switch 的比较方式一样吗？

不一样。match 使用严格身份比较，并且作为表达式返回值；不要把 switch 中的弱比较经验直接带过来。

加了 default 还会抛 UnhandledMatchError 吗？

只要 default 本身有效且覆盖了其他未命中值，通常不会因这些值触发 UnhandledMatchError；但 default 的返回内容仍需要符合业务契约。

可以在每个 match 外面都 try/catch 吗？

可以捕获，但不建议把同一类协议错误分散处理。优先在边界层统一记录、转换和决定是否终止。