php 的 match 表达式和 switch 语句在语法结构、返回值处理以及类型匹配机制上存在显著差异。match 是 php 8.0 引入的表达式，支持严格类型比较且自动阻断穿透（fall-through），能够直接返回结果赋值给变量；而 switch 是传统语句，默认使用宽松比较并需要手动编写 break 防止穿透，仅能执行操作无法直接返回值。
match 表达式的返回值与类型匹配行为是什么
match 表达式通过严格模式（===）进行分支判断，并且每个分支的值会自动作为整个表达式的返回值。这意味着开发者不需要显式使用 return 或中间变量来收集结果，代码更加简洁且不易出错。
<?php
$mode = 'admin';
$result = match ($mode) {
'user' => '普通用户权限',
'admin' => '管理员权限',
default => '未知角色',
};
echo $result;
// 输出: 管理员权限
在上述代码中，$mode 为字符串 'admin'，match 会精确匹配到第二个分支并返回对应的字符串。由于 match 是表达式，其结果可以直接赋给 $result。如果将 $mode 改为整数 1，由于严格类型检查，它不会匹配到值为 1 的字符串分支（除非显式写出 1），这避免了 switch 中常见的类型混淆问题。
立即学习“PHP免费学习笔记（深入）”；
switch 语句的穿透特性与宽松比较机制如何工作
switch 语句采用宽松比较（==），允许不同类型但值相等的变量进入同一分支。此外，switch 具有“穿透”特性，即如果没有 break 语句，程序会继续执行下一个分支的代码，直到遇到 break 或语句结束。
<?php
$status = 2;
$output = '';
switch ($status) {
case 1:
$output .= '待审核';
case 2:
$output .= '已通过';
case 3:
$output .= '已拒绝';
break;
default:
$output .= '无效状态';
}
echo $output;
// 输出: 已通过已拒绝
在这个例子中，$status 为 2，匹配到 case 2 后，由于缺少 break，代码继续向下执行 case 3 的内容，最后才遇到 break 退出。因此 $output 包含了两个分支的结果。这种穿透行为在 switch 中是默认且危险的，而在 match 中是被禁止的，每个分支只执行一次并立即返回。
当输入值为 null 时两者的处理逻辑有何不同
在处理 null 值时，match 和 switch 的行为差异主要体现在类型安全和默认分支的触发条件上。match 要求显式声明 null 才能匹配，否则可能落入 default；而 switch 的宽松比较可能导致非预期匹配。
<?php
$value = null;
// match 示例
$res_match = match ($value) {
0 => '零',
'' => '空字符串',
null => '空值',
default => '其他',
};
// switch 示例
$res_switch = '';
switch ($value) {
case 0:
$res_switch = '零';
break;
case null:
$res_switch = '空值';
break;
default:
$res_switch = '其他';
}
echo $res_match . ' | ' . $res_switch;
// 输出: 空值 | 空值
在 match 中，必须明确写出 null => 才能捕获 null 输入，因为 0 和 '' 在严格模式下不等于 null。在 switch 中，虽然 case null: 也能匹配，但如果不小心写成 case 0:，由于 null == 0 为真，也会错误地进入该分支。因此，在处理可能为 null 的数据时，match 提供了更清晰、更安全的控制流。
