PHP match 表达式没有匹配分支时如何设计默认结果

PHP 的 match 不是“匹配不到就返回空”的宽松分支结构。它使用严格比较，并且要求所有可能输入都得到处理；当输入没有命中任何 arm 时，运行时会抛出 UnhandledMatchError。因此，标题所说的“默认结果”通常有两种设计：未知值本来就属于正常业务范围，用 default 返回明确兜底值；未知值代表程序契约被破坏，则在 default 中显式抛出异常，而不是悄悄返回一个看似正常的结果。

先判断未知输入是“可预期的新值”还是“不可接受的脏数据”，再决定 default 返回值还是抛出异常。

一、先看清 UnhandledMatchError 为什么出现

下面的代码只处理了两个状态。当订单状态来自数据库、消息或外部请求时，pending 之外的值都可能进入表达式：

 '待处理',
    'paid' => '已支付',
};
// archived 没有命中任何 arm，这里会抛出 UnhandledMatchError。
echo $label;

PHP 手册把 match 定义为必须穷尽匹配的表达式：分支比较使用身份运算符 ===，不会像旧式 switch 那样做弱类型比较。排查时先看两点：输入的真实类型和值，以及是否确实存在覆盖剩余输入的分支。

二、用 default 设计稳定的默认结果

如果产品允许未来出现新的状态，而页面只需要一个可展示的通用标签，可以把默认语义写在 default 里。返回类型要和其他分支保持一致，避免调用方一半拿字符串、一半拿 null：

 '待处理',
        'paid' => '已支付',
        'shipped' => '已发货',
        default => '状态待确认',
    };
}

echo orderLabel('refunded'); // 状态待确认

这种写法适合列表展示、日志摘要等“未知值仍可继续呈现”的位置。default 不是把错误吞掉的借口，文案应明确表达“待确认”或“未知”，不要返回“已支付”这类具有误导性的正常状态。

三、非法输入不要用静默默认值掩盖

支付状态、权限动作、库存变更等关键路径通常不能把未知值当作普通结果。此时可以保留穷尽语义，并在 default 中抛出带原始值的异常：

 'write',
        'update' => 'write',
        'read' => 'read',
        default => throw new InvalidArgumentException(
            "Unsupported action: {$action}"
        ),
    };
}

throw 可以作为表达式使用，所以能直接成为 default 右侧结果。这样调用方拿不到假结果，日志里也能保留异常类型和输入值。若接口需要把它转换成 4xx 响应，应在边界层统一捕获，不要在每个 match 分支里重复拼接 HTTP 响应。

四、把类型、归一化和测试一起补上

很多“没有匹配分支”并非分支真的漏写，而是输入类型与预期不同。例如 match (1) 不会命中 '1'。对来自表单或 JSON 的值，可以先完成归一化，再进入表达式：

 '待处理',
    'paid' => '已支付',
    default => '状态待确认',
};

测试至少覆盖已知值、未知值、空字符串、null 和数字字符串。若函数的返回类型声明为 string，每个分支包括 default 都应返回字符串；若未知值必须失败，则断言异常类型和消息中包含的原始输入。这样以后新增状态时，测试会提醒你同步评估默认策略。

常见问题

PHP match 可以像 switch 一样省略 default 吗？

语法上可以省略，但未命中时会抛出 UnhandledMatchError。是否省略取决于未知值是正常扩展还是程序错误。

match 会把整数 1 和字符串“1”当成同一个值吗？

不会。它使用严格比较，必须同时满足值和类型；需要统一输入时应先归一化。

default 应该返回 null 吗？

只有调用方明确把 null 当作一种业务状态时才这样做。否则优先返回可识别的中性值，或直接抛出异常。