PHP match 表达式未命中时的异常处理

PHP 的 match 表达式如果没有任何分支匹配主题值，不会返回 null，而是抛出 UnhandledMatchError。处理方式取决于“未知值”是不是正常输入：业务上允许未知值，就加 default；未知值说明调用方违反了约定，就在边界捕获或继续抛出，让问题尽早暴露。

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

为什么未命中会直接抛错

match 是一个有返回值的表达式，不是只负责跳转的语句。PHP 需要知道表达式最终产生什么值，所以它要求分支是穷举的。下面的代码只处理整数 1 和 2，传入 3 时就没有合法结果：

 '待处理',
    2 => '已完成',
};

echo $label;
?>

未命中时抛出的对象是 UnhandledMatchError，消息通常会带上未处理的值。它属于 Error 体系，而不是普通的 Exception；因此，不能只写 catch (Exception $e) 就认为已经兜住了。

先判断未知值是不是正常业务输入

最常见的修复是补上 default。它适合状态展示、日志标签、兼容旧数据等场景：未知值本来就可能出现，应用有一个稳定的替代结果即可。

 '待处理',
        2 => '已完成',
        default => '未知状态',
    };
}

echo statusLabel(3);
?>

但如果未知值代表数据库脏数据、协议字段升级遗漏或调用方传错参数，直接返回“未知状态”可能会掩盖真正的缺陷。此时更适合在边界显式抛出带上下文的异常，或者让原始的 UnhandledMatchError 继续向上交给统一错误处理器。

范围判断不能照搬 switch 的习惯

match 的分支比较是严格的，不会把字符串 '1' 当成整数 1。它也不会像 switch 那样自动贯穿后续分支。如果要按范围判断，可以把主题写成 true，让每个分支返回布尔条件：

 throw new InvalidArgumentException('年龄不能为负数'),
        $age  '未成年',
        $age  '成年人',
        default => '老年人',
    };
}

echo ageGroup(28);
?>

范围分支要按从窄到宽的顺序写，并保留 default 作为最后边界。若使用函数调用作为条件，注意它必须真正返回布尔值；不要把“非空”或其他 truthy 习惯误当成 true 的严格结果。

三种异常策略怎样放到合适层级

 '银行卡',
            'cash' => '现金',
        };
    } catch (\UnhandledMatchError $e) {
        // 保留原异常作为 previous，便于统一日志记录完整上下文。
        throw new RuntimeException('不支持的支付类型：' . $kind, 0, $e);
    }
}
?>

迁移旧的 switch 代码时，先列出所有合法输入，再决定是否允许未知值。不要为了消除错误盲目添加 default：如果这个分支会把数据问题隐藏起来，显式失败反而更安全。最后检查分支值的类型、范围顺序，以及捕获层是否真的能处理 Error。

相关问题

• match 能替代所有 switch 吗？ 不能。需要贯穿分支、副作用顺序或宽松比较时，应重新评估控制结构。
• catch (Exception $e) 能捕获未命中的错误吗？ 不能，UnhandledMatchError 属于 Error，应捕获它本身或更上层的 Throwable。
• 加 default 后还需要输入校验吗？ 需要。default 只规定匹配表达式的兜底结果，不能替代业务字段的格式、权限和协议校验。