必须加 default 分支，否则 PHP 8+ 会抛出 UnhandledMatchError；因 match 是穷尽性表达式，要求覆盖所有可能输入，且用严格比较（===），类型或值不匹配又无 default 时即报错。
必须加 default 分支，否则 PHP 8+ 会直接抛出 UnhandledMatchError 中断执行。
为什么 match 不写 default 就报错
match 是表达式，不是语句；它设计上要求「穷尽所有可能」。不像 switch 可以漏掉分支还默默走完，match 在运行时发现没匹配项，就立即抛出 UnhandledMatchError —— 这是 PHP 8 引入的明确错误类型，属于 Error 子类，不能被 catch (\Exception $e) 捕获，得用 catch (\Error $e) 或更宽泛的 catch (\Throwable $e)。
常见触发场景包括：
- 传入值是动态变量（比如 API 返回的整数状态码），但
match只写了几个已知枚举值，没覆盖全部可能 - 用了
true作为 subject 做条件判断，但逻辑分支遗漏了某个布尔路径（例如忘了处理$user->isActive() === false的情况） - 数组键或对象属性值意外为
null、0、空字符串等“假值”，而分支里没声明这些字面量
default 分支不是可选项，是强制兜底机制
PHP 不允许你靠“不写 default”来暴露逻辑漏洞——它选择在运行时报错，逼你显式声明 fallback 行为。这个设计是为了避免静默失败，尤其在类型安全和配置驱动场景下很关键。
立即学习“PHP免费学习笔记（深入）”；
正确写法示例：
$status = getHttpStatusCode(); // 可能返回 200, 404, 500, 或其他未定义值
$message = match ($status) {
200 => 'OK',
404 => 'Not Found',
500 => 'Internal Server Error',
default => 'Unknown status: ' . $status, // 必须有，且建议带上下文
};
注意点：
-
default必须放在最后，否则语法错误 - 即使你 100% 确信输入只可能是几个值，也得加
default—— 运行时不可信，类型系统不保证 - 不要只写
default => null或空字符串，容易掩盖问题；至少记录原始值或抛出自定义异常
想捕获并降级处理？用 try/catch (\UnhandledMatchError $e)
极少数场景下，你确实需要拦截这个错误（比如做灰度路由、fallback 切换、或统一错误上报），可以单独 catch 它：
try {
$result = match ($input) {
'a' => 'alpha',
'b' => 'beta',
};
} catch (\UnhandledMatchError $e) {
error_log('UnhandledMatchError at ' . $e->getFile() . ':' . $e->getLine());
$result = 'fallback_value';
}
但要注意：
- PHP 8.0+ 才支持直接 catch
\UnhandledMatchError；低版本只能 catch\Error - 这种写法绕过了语言层的穷尽性检查，削弱了
match的安全优势，仅限特殊架构层使用 - 别在业务逻辑里大量用 try/catch 包裹
match，那不如退回去用switch
容易忽略的细节：严格比较 + 字面量陷阱
match 用 === 比较，所以类型不对也会进 default，进而可能触发 UnhandledMatchError（如果你忘了写 default）。
典型翻车现场：
-
$id = $_GET['id'] ?? '';→ 传进来是字符串"123"，但match分支写的是整数123 => ...，不匹配 -
json_decode($json, true)返回null，但分支只列了字符串和数字，没写null => ... - 数据库字段定义为
TINYINT(1)，PHP 读出来是整数0或1，但前端传参是字符串"0"
解决办法不是硬转类型，而是让分支覆盖真实输入类型：
$value = $_GET['mode'] ?? null;
$handler = match ($value) {
'live', 'prod' => new ProductionHandler(),
'dev', 'local' => new DevelopmentHandler(),
'0', '1', 0, 1 => new LegacyModeHandler(), // 同时兼容字符串和整数
null, '' => new DefaultHandler(),
default => throw new InvalidArgumentException("Invalid mode: " . var_export($value, true)),
};
最常被跳过的动作，其实是检查输入源的类型真实性——match 的报错从来不是语法问题，而是你对数据契约的假设崩了。
