match 未处理分支怎么配置或排查

PHP 的 match 遇到未列出的值时，通常不是“配置没生效”，而是表达式没有覆盖这个输入。它从 PHP 8.0 开始可用，使用严格比较 ===，并且要求分支穷尽；没有任何分支命中时会抛出 UnhandledMatchError。排查时先看输入的类型和值，再决定补 default 还是把未知值升级成业务异常。

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

为什么 match 会出现未处理分支

switch 时代常见的宽松转换，不能直接套到 match。例如输入是整数 1，分支写成字符串 '1' 就不会命中；没有 default 时，最终结果不是空值，而是 UnhandledMatchError。这也是“明明看起来一样却报错”的第一排查点。

 '已提交',
        2 => '已完成',
    };
} catch (\UnhandledMatchError $e) {
    // 这里只演示边界处理；生产代码应记录业务上下文。
    $label = '未知状态：' . var_export($status, true);
}

var_dump($label);

这段代码的关键不是把异常吞掉，而是让你确认问题发生在“没有命中”这一层。先临时输出 get_debug_type($status) 和值，再回到调用方检查是否把请求参数、JSON 字段或枚举值转换成了预期类型。

用 default 建立稳定的输入边界

如果状态值来自用户、接口或配置文件，输入集合天然可能扩展，建议显式写 default。已知值返回展示文本，未知值抛出业务异常，调用方就能区分“可以降级显示”和“数据契约已经破坏”。

 '处理中',
        3 => '已完成',
        // 固定状态表不应静默接受未知值。
        default => throw new InvalidArgumentException("未知状态: {$status}"),
    };
}

echo statusLabel(3);

不要为了“让页面不报错”随意把 default 改成空字符串。默认值应该符合业务语义，例如返回“未知状态”、记录异常并拒绝写入，或者交给上层统一降级。

严格比较和范围判断怎么分别排查

先用一个小表核对输入，不要只看字面值：

需要按范围判断时，主题值写成 true，每个臂写返回布尔值的条件：

 '未成年',
    $age  '成年人',
    default => '老年人',
};

像 preg_match() 这种返回整数或其他“真值”的函数，不要直接当作条件比较；需要时明确转成布尔值，避免条件语义含糊。

上线前的四项复查

1. 列出输入全集：包括接口新值、空值、字符串数字和枚举变化。
2. 确认每个分支的比较类型和值，尤其检查 JSON 和表单输入。
3. 决定 default 是返回降级结果、记录后继续，还是抛出异常。
4. 为已知值、未知值和边界值各保留一个测试样例。

这样处理后，UnhandledMatchError 就不再是模糊的“match 配置错误”，而是一个可定位的输入契约问题。

相关问题

match 能像 switch 一样自动穿透到下一个 case 吗？

不能。match 分支不会贯穿执行，每个匹配臂只产生自己的结果。

match 一定要把结果赋值给变量吗？

不一定，可以单独使用，但作为独立表达式时仍要以分号结束。

什么时候不该用 default？

当输入集合是严格的数据契约时，宁可在 default 抛出带上下文的异常，也不要静默隐藏新增值。