PHP match 为什么使用严格比较

PHP 的 match 使用严格比较，不是一个偶然的语法差异。它用与 === 相同的规则判断分支：类型和值必须同时一致。因此整数 1、字符串 "1" 和布尔值 true 是三个不同的输入，不会因为 PHP 的类型转换规则而误入同一个分支。

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

严格比较如何分开同值不同类型

先看一个最小例子。输入看起来是数字 1，但它实际是字符串，所以只会命中字符串分支。

 '整数分支',
    '1' => '字符串分支',
    true => '布尔分支',
    default => '其他分支',
};

// 预期输出：字符串分支，因为 '1' 与 1 的类型不同。
echo $result;

如果这里使用宽松比较，'1' == 1 和 1 == true 都可能成立，分支结果就会受到隐式类型转换影响。match 要解决的正是这种不确定性：每个分支条件都保留自己的类型语义，代码读起来是什么，运行时就按什么比较。

match 与 switch 的关键差别

switch 在比较条件时使用宽松比较，match 使用严格比较。把旧代码直接换成新语法后，最容易出现的变化就是原本会命中的字符串数字不再匹配整数分支。

 '整数分支',
    '1' => '字符串分支',
    default => '其他分支',
};

// 两段代码可能得到不同结果，迁移时必须检查输入类型。
echo $switchResult . ' / ' . $matchResult;

严格比较的收益不仅是避免错误，还会迫使数据边界更清晰。调用者必须决定自己传入的是整数状态码、字符串命令还是布尔开关，而不是把这个决定留给运行时猜测。

外部输入先校验再交给 match

URL 查询参数、表单字段和大多数 HTTP 请求值到达 PHP 时通常是字符串。如果业务分支以整数状态码为契约，就应先验证格式，再显式转换。不要指望 match 自动把 '2' 当成整数 2。

 '待处理',
    1 => '处理中',
    2 => '已完成',
    default => throw new DomainException('未知状态码'),
};

// 此处 $status 已明确为整数，分支契约稳定。
echo $label;

这段代码把职责拆开：ctype_digit 负责输入格式，强制转换负责建立整数类型，match 只负责业务映射。若业务不允许 01、超大数字或负数，还应在校验阶段补充对应规则，而不是在分支里混杂输入清洗。

用 default 或异常保证分支穷尽

match 必须得到一个结果。如果没有任何条件严格匹配，而且也没有 default，PHP 会抛出 UnhandledMatchError。这能让新增枚举值、未知状态和遗漏分支尽早暴露，而不是静默返回空值。

 8,
        'west' => 12,
        'central' => 10,
        // 对未知区域主动抛出业务异常，错误信息更明确。
        default => throw new DomainException('不支持的配送区域'),
    };
}

是否写 default 取决于契约。若输入集合是稳定且封闭的，故意不写 default 可以在新值出现时触发 UnhandledMatchError；若输入来自用户或外部系统，通常应明确处理未知值，返回兜底结果或抛出更有业务含义的异常。

match(true) 仍然遵守严格比较

match (true) 常用于范围判断，因为每个分支条件都会计算为布尔值。需要注意，主体是布尔值 true，所以分支条件也必须真正产生布尔值；返回整数 1 的函数结果并不与 true 严格相等。

= 90 => 'A',
    $score >= 80 => 'B',
    $score >= 60 => 'C',
    default => 'D',
};

// 每个比较表达式都返回真正的 bool，因此可与 true 严格匹配。
echo $grade;

以 preg_match 为例，它成功匹配时返回整数 1，不是布尔值 true。若要放进 match (true)，应先处理错误并写成 $matched === 1，这样分支条件才是明确的布尔表达式。

从 switch 迁移到 match 的检查清单

• 检查真实输入类型：日志或单元测试里确认值是整数、字符串、布尔值还是 null。
• 删除对隐式转换的依赖：需要整数就先验证并转换，需要字符串就保持字符串契约。
• 补齐未知值策略：决定使用 default、业务异常还是让 UnhandledMatchError 暴露遗漏。
• 确认返回类型一致：不同分支最好返回同一类值，便于静态分析和调用方处理。
• 测试容易混淆的边界：至少覆盖 0、'0'、false、null、空字符串和未知枚举值。

归根结底，match 使用严格比较，是为了把分支选择从“运行时替你转换”改成“代码明确表达类型”。只要在系统入口建立清晰的类型边界，这种规则会让状态映射、枚举处理和返回值选择更可预测，也更容易测试。

相关问题

match 能匹配 null 吗？

可以。null 只会严格匹配 null 分支，不会与空字符串、0 或 false 混同。

多个条件可以返回同一个结果吗？

可以。使用逗号把多个条件写在同一个分支左侧，例如 'jpg', 'jpeg' => 'image'。

为什么请求参数 '1' 没有命中 1 分支？

因为查询参数通常是字符串，而 '1' !== 1。先根据业务规则校验并转换为整数，或把分支条件写成字符串。

match(true) 会改用宽松比较吗？

不会。主体只是布尔值 true，比较依然严格；每个分支条件都应产生明确的布尔值。