PHP空合并运算符(??)与==/===优先级问题及合理性问询

以下是一段PHP代码：

var_dump(3 ?? null);
var_dump(3 ?? null === null);
var_dump(3 === null);
var_dump(3 ?? 1 > 2);
var_dump(null ?? 1 > 2);

核心问题 #

为什么PHP引擎将===的优先级设为高于??？谁会希望写出if ($count ?? (null === null))这种代码，而非符合直觉的if (($count ?? null) === null)？

例如，当$count = 3; if ($count ?? 1 > 2)时，直觉上应该计算为if ((3 ?? 1) > 2)，即if (3 > 2)，返回true。但实际执行的是if (3 ?? (1 > 2))，即if (3)，结果为真值。这种逻辑不符合合理需求，看似是解释器bug，该设计是否存在合理原因？

问题解析 #

PHP里运算符的优先级设计并非随机，空合并运算符(??)的优先级低于比较运算符(===、>等)，主要是为了和其他类似运算符的行为保持一致性，同时避免语法歧义。

1. 与三元运算符(?:)的行为对齐 #

三元运算符?:的优先级同样低于比较运算符，比如$a ?: $b > $c会被解析为$a ?: ($b > $c)，而非($a ?: $b) > $c。??作为?:的空值安全替代（仅判断null而非假值），延续了这一优先级规则，减少了开发者需要记忆的特殊规则数量。

2. 避免常见场景的语法冲突 #

如果??优先级高于比较运算符，那么像$a ?? $b === $c这种写法会被解析为($a ?? $b) === $c，但如果开发者确实想表达$a ?? ($b === $c)，就需要额外加括号；反之，当前的优先级下，若要表达($a ?? $b) === $c，只需要加括号即可。从语法设计的角度，让低优先级运算符需要括号明确意图，是更合理的选择——毕竟$a ?? ($b === $c)这种场景虽然少见，但存在，而($a ?? $b) === $c可以通过括号清晰表达，不会产生歧义。

3. 回归运算符的本质 #

??的核心作用是“当左侧为null时返回右侧，否则返回左侧”，它本质上是一个取值运算符，而非逻辑组合运算符。将其优先级设为低于比较运算符，符合“先计算判断逻辑，再进行取值 fallback”的逻辑顺序。比如$a ?? ($b > $c)的语义是“如果$a不为null就用$a，否则判断$b是否大于$c”，这是一个合理的业务场景——比如当没有配置值时，用一个逻辑判断的结果作为默认值。

关于反直觉案例的正确写法 #

对于$count = 3; if ($count ?? 1 > 2)，如果你想实现“取$count的有效值，再判断是否大于2”，正确的写法应该是if(($count ?? 1) > 2)，通过括号明确分组。PHP的运算符优先级规则下，任何时候当你不确定优先级时，加括号都是最稳妥的方式，既能避免歧义，也能让代码更易读。

内容的提问来源于Stack Exchange，提问作者Theodore R. Smith