解读

国内一线/二线公司近两年的面试里，这道题出现的频率极高。面试官真正想考察的不是“会不会写 match”，而是“知不知道 match 是表达式、必须返回一个值；switch 是语句、可以不返回”。很多候选人把 match 当成“更漂亮的 switch”来写，结果在代码审计或单元测试环节直接踩坑：少写 return/赋值就报语法错误，或者逻辑短路导致下游拿不到预期值。能否把“强制返回值”这一差异讲清楚，直接决定面试是否进入“源码级”追问。

知识点

1. 语言结构定位

   • switch：语句（statement），可独立存在，不强制产生值。
   • match：表达式（expression），必须产生一个值，并立即被使用（赋值、return、echo 等）。

2. 语法层面约束

   • match 分支只能写“表达式”，不能写“语句块”；因此分支里不能出现 echo、for、if 等语句，只能产生一个值。
   • 如果 match 覆盖不全，PHP 8+ 会抛出 UnhandledMatchError，属于 EngineException，生产环境必须捕获或补全 default。

3. 返回值使用场景差异

   • switch 可以不 return，也可以在每个 case 里 break；逻辑值靠“副作用”完成。
   • match 必须被“消费”，否则编译期就报 “Match expression result is unused” 的致命错误（PHP 8.0+）。

4. 严格比较 vs 松散比较

   • switch 默认 ==，可能触发类型强制转换。
   • match 默认 ===，无隐式转换，更容易写出可预测返回值。

5. 性能与 OPcache

   • 两者都会生成 JT 跳转表，但 match 因为无 break、无 fall-through，字节码更短，OPcache 优化后略快；不过国内面试官更关注可读性与可维护性，而非微秒级差异。

答案

“match 是表达式，语法规定它必须返回一个值，并且该值必须被上层立即使用；如果分支覆盖不全，运行时还会抛 UnhandledMatchError。switch 是语句，可以不返回任何值，也可以利用 break/continue 控制流程，甚至不写 default。简记：match 强制返回值、无 fall-through、全等比较；switch 不强制返回值、有 fall-through、松散比较。”

代码示例对比（可直接在白板写出）：

// switch：语句，无返回值
switch ($type) {
    case 'A':
        $price = 100;
        break;
    case 'B':
        $price = 200;
        break;
    default:
        $price = 50;
}

// match：表达式，必须被消费
$price = match ($type) {
    'A' => 100,
    'B' => 200,
    default => 50,
};
// 若去掉 $price = 直接写 match(...){...}，PHP 8 会报致命错误

拓展思考

1. 如何在老项目里渐进升级？
   先对“纯赋值型” switch 做自动化重构，用 Rector 规则批量替换成 match；对含有副作用（如 case 里写日志）的 switch 保持不动，避免表达式限制导致逻辑拆分。

2. 与 nullsafe、箭头函数组合时的坑
   match 返回值如果可能是 null，再链式调用 ?? 或 ?-> 时，一定用括号包起来，否则运算符优先级会导致意外结果。

3. 单元测试覆盖策略
   对 match 必须写全分支覆盖，否则 UnhandledMatchError 会在灰度环境直接 500；可借助 PHPUnit 的 @coversNothing + 数据供给器，枚举全部输入域。

4. 面试反向提问技巧
   当面试官问完差异后，可以主动追问：“咱们业务代码对 PHP 8 新特性有灰度规范吗？我可以给出一套 Rector 规则，帮助把安全无痛的 switch 迁移到 match，减少 5% 圈复杂度。” 这样把“知识点”升级为“落地经验”，容易拿到更高评级。