PHP引用赋值结合空合并运算符失效问题及简化实现咨询

这个场景我之前也踩过坑，咱们一步步拆解问题：

1. 空合并运算符??为什么失效？ #

你写的$arr = &$original ?? []，问题出在运算符优先级和引用的特性上：

• PHP中，引用操作&的优先级比空合并??更高，所以会先执行&$original。
• 哪怕$original未定义，&$original会直接在当前作用域创建一个值为null的$original变量（这是PHP引用的特性：对未定义变量取引用会自动创建它）。
• 此时??的左边是已经存在的&$original（值为null），而??的逻辑是“左边存在且不为null时取左边，否则取右边”，所以它会返回null的引用，而不是右边的空数组。

2. 三元运算符为什么触发解析错误？ #

$arr = isset($original) ? &$original : [];报错的原因是PHP不允许三元运算符的两个分支一个返回引用，一个返回普通值。
左边分支&$original是引用类型，右边分支[]是普通数组值，类型不匹配，因此触发语法解析错误。

3. 更简洁的实现方式 #

有两种比if语句更简洁的写法，都能满足需求：

方法一：给空合并表达式加括号，改变优先级 #

$arr = &($original ?? []);

• 括号让$original ?? []先执行：如果$original未定义或为null，返回空数组；如果已定义且非null，返回$original本身。
• 再对这个结果取引用：既避免了提前创建$original变量，又实现了“存在则引用原变量，否则引用空数组”的需求。

方法二：三元运算符两边都用引用 #

$arr = isset($original) ? &$original : &[];

• 把右边的空数组也改成引用类型&[]，让两个分支的返回类型统一为引用，避免语法错误。
• 同样，isset($original)会先判断变量是否存在，不存在时不会执行左边的&$original，所以不会创建多余的变量。

4. 关于“引用赋值创建未定义变量”的补充问题 #

你提到的$b = &$a ?? [];会创建$a并赋值为null，本质还是因为&$a的优先级更高：

• 先执行&$a，自动创建$a = null。
• 然后??判断左边的&$a存在（值为null），所以返回null的引用给$b，右边的空数组完全没生效。
• 而用加括号的写法$b = &($a ?? []);就不会出现这个问题，因为$a ?? []先执行，$a未定义时直接返回空数组，不会触发引用创建变量的逻辑。

总结 #

这个行为是PHP的运算符优先级和引用特性共同导致的，属于合理的语法规则（虽然有点反直觉）。上面两种方法都能替代冗长的if语句，实现更简洁的代码。

内容的提问来源于stack exchange，提问作者AymDev