必须用match：单一变量值匹配、严格类型返回、需显式default兜底；三元仅限二选一简单赋值或与??组合；禁止函数调用嵌入三元分支，迁移到match需提取变量、改字面量匹配、用match(true)处理复杂条件。
当你的PHP项目已升级到8.0及以上版本，面对三个或更多条件分支的值映射需求，必须在嵌套三元运算符和match表达式之间做出明确选择——这不是风格偏好问题，而是语法安全、类型保障与维护成本的综合判断。
什么情况下必须用match，不能用三元
第一步：确认判断依据是单一变量的值匹配
比如根据$status字符串决定颜色、根据$code数字决定状态文案、根据$role整数决定权限等级。这种“一个变量 → 多个字面量分支”的场景，【match是唯一推荐方案】。
第二步：检查是否要求严格类型返回
若所有分支返回string，但某一分支意外写了return 0或null，PHP 8.0+会直接抛TypeError；而match在编译期就强制所有分支返回同类型，错误暴露得更早。
第三步：验证是否需要default兜底
match必须显式声明default分支，否则未匹配时抛UnhandledMatchError；三元若漏写else分支，可能返回null导致后续调用失败，但错误延迟到运行时才暴露。
立即学习“PHP免费学习笔记（深入）”；
什么情况下三元仍可保留
方法一：纯二选一、无副作用、类型一致的简单赋值
例如：$is_active = $user['status'] === 'Active' ? true : false; 或 $name = $user['name'] ?? 'Guest'; 这类场景三元简洁且无歧义。
方法二：与空合并运算符??组合使用（注意括号）
例如：$title = ($post['title'] ?? '') ?: 'Untitled'; 这里??先提供默认值，?:再判断真假性，两者结合自然，无需match介入。
【禁止把函数调用或echo塞进三元分支】——比如$x = $a ? log('yes') : log('no'); 这种写法虽能执行，但log()返回null，整个表达式值为null，容易掩盖逻辑意图；应改用if语句明确分离“执行动作”与“取值”。
从三元迁移到match的实操步骤
① 找出所有形如 $x = $a === 'A' ? 'one' : ($a === 'B' ? 'two' : 'other'); 的嵌套三元行
② 提取判断变量（这里是$a），确认其类型是否为标量或枚举成员（match不支持对象实例或布尔表达式作为键）
③ 将每个分支条件改为字面量匹配，例如：$x = match($a) { 'A' => 'one', 'B' => 'two', default => 'other' };
④ 若原三元含复杂条件（如 $score >= 90），改用match(true)结构：
$grade = match(true) { $score >= 90 => 'A', $score >= 80 => 'B', default => 'C' };
⑤ 删除所有冗余括号——match天然消除结合性歧义，不再需要像三元那样层层加()防错。
