Question

我偶然发现了一个if语句，使用PHP的null合并运算符，而不表现为“预期”。有问题的代码如下所示：

if ($foo['bar'] ?? false || $foo['baz'] ?? false) { /* ... */ }

将其更改为

if (($foo['bar'] ?? false) || ($foo['baz'] ?? false)) { /* ... */ }

解决它。

我在终端上进行了快速测试：

root@docker:/application# php -v
PHP 7.2.11-2+ubuntu18.04.1+deb.sury.org+1 (cli) (built: Oct 15 2018 11:40:35) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies
    with Zend OPcache v7.2.11-2+ubuntu18.04.1+deb.sury.org+1, Copyright (c) 1999-2018, by Zend Technologies
    with Xdebug v2.6.1, Copyright (c) 2002-2018, by Derick Rethans
root@docker:/application# php -a
Interactive mode enabled

php > $test = ['foo' => 'bar'];
php > var_dump($test['baz'] ?? null); // as expected
php shell code:1:
NULL
php > var_dump(($test['baz'] ?? null)); // as expected
php shell code:1:
NULL
php > var_dump($test['baz'] ?? null || $test['foobar'] ?? null); // as expected, but there's a Notice
PHP Notice:  Undefined index: foobar in php shell code on line 1
PHP Stack trace:
PHP   1. {main}() php shell code:0
php shell code:1:
bool(false)
php > var_dump(($test['baz'] ?? null) || ($test['foobar'] ?? null)); // as expected
php shell code:1:
bool(false)

现在，我认为测试编号会发生什么。 3，是它被执行为

$test['baz'] ?? (null || $test['foobar']) ?? null

因此，如果$test['baz']的评估结果为未设置（显然是这样），则下一个null || $test['foobar']的执行将被执行，这将导致$test['foobar']发出通知。

我的问题：这是PHP中空合并运算符的预期行为吗？我有点希望它比||（或）运算符具有更强的绑定力。
另一方面，在RFC（https://wiki.php.net/rfc/isset_ternary）中，有一个明确的示例：

var_dump(0 || 2 ?? 3 ? 4 : 5); // ((0 || 2) ?? 3) ? 4 : 5 => int(4)

这可能表明上面的示例是正确的行为。

您怎么看？应该将此报告为错误吗？我知道这不是一个“适当的”问题，但是由于我找不到关于它的错误报告/讨论/线程，所以我认为应该有记录该问题的资源。
如果您/国防部不同意，我将再次删除该问题。

Answer 1

由于operator precedence

，这是预期的行为

||的优先级高于??，因此您的原始语句被视为

if ($foo['bar'] ?? (false || $foo['baz']) ?? false)

这是PHP null合并运算符中的错误还是预期的行为？

1 个答案: