match天然杜绝case穿透，因其是纯表达式、强制严格比较、必须有返回值且无隐式控制流；PHP 8.1+要求default兜底，8.3+支持联合模式如'get'|'head'。
PHP match 从设计上就禁止穿透
因为 match 不是语句，而是表达式；它不支持隐式控制流延续，也不接受 break、continue 或无返回的语句。每个分支必须有明确的返回值，执行完即退出，天然杜绝 case 穿透。
match 分支里写 echo 或 return 会报错
以下写法全部非法：
match ($x) {
1 => echo 'one', // ❌ 语法错误：echo 不是表达式
2 => return 'two', // ❌ 语法错误：return 不允许出现在 match 分支中
3 => { $log->info('three'); 'three' }, // ✅ 可用箭头函数或立即执行闭包包裹，但必须有最终返回值
};
你只能写纯表达式，比如字符串字面量、函数调用（有返回值）、三元运算、数组构造等。没有“执行一段代码然后继续”的空间。
match 默认严格比较，且不支持松散匹配兜底
这直接消除了 PHP switch 中最危险的穿透诱因之一：松散比较 + 漏 break → 多个看似无关的值（如 0、false、''）全被 case 0: 匹配并一路穿透执行。
立即学习“PHP免费学习笔记（深入）”；
-
match (0)只匹配0，不会匹配false或null - 没匹配到会抛出
UnhandledMatchError，而不是静默跳过 - 无法写出
case $x > 5:这类运行时判断 —— 所有分支值必须是字面量、常量或枚举成员
match 的 default 不是 fallback，而是 required 兜底项（PHP 8.1+）
PHP 8.1 起，如果 match 表达式可能无匹配（比如输入类型不确定），静态分析器会警告你缺少 default；而 PHP 8.2 更进一步，要求所有非穷尽匹配必须显式声明 default，否则报编译错误。
这意味着你不能再靠“漏掉 default”来假装处理了所有情况 —— 编译期就强制你面对未覆盖分支。
真正难处理的不是语法，而是把原有 switch 中那些靠穿透实现的共享逻辑（比如 case 'get': case 'head':）安全迁移到 match：要么合并为一个联合模式（PHP 8.3+ 支持 'get'|'head'），要么抽成函数复用。这点容易被忽略，但恰恰是升级时最卡壳的地方。
