правой ассоциативности нулевого Coalesce оператора РНР

Question

Согласно PHP документации, нулевой оператор коалесцирующий ?? является правоассоциативной, т.е.

$a ?? $b ?? $c 

эквивалентно

$a ?? ($b ?? $c) 

Что такое значение этого? Разве для разработчиков не имеет значения, что он лево-ассоциативный или право-ассоциативный?

Для тех, кто думает, что будет вызывать меньше функций, это не так, потому что правый операнд не вычисляется, если левый операнд не является нулевым в соответствии с моим испытанием:

function f(string $a) : string { 
    echo "f($a)\n"; 
    return $a; 
} 
var_dump(f("a") ?? f("b") ?? f("c") ?? f("d")); 
echo "===\n"; 
var_dump(((f("a") ?? f("b")) ?? f("c")) ?? f("d")); 

Выход:

f(a) 
string(1) "a" 
=== 
f(a) 
string(1) "a" 

Answer 1

Я имею в виду проблемы с производительностью, где вы должны оценить ?? несколько раз (если первое значение не является нулевым) если он лево-ассоциативный, а один раз, только если он является право-ассоциативным. Сравните эти два случая:

(("a" ?? "b") ?? "c") ?? "d" 
"a" ?? ("b" ?? ("c" ?? "d")) 

На первой линии, после того, как второй (внутренний) круглые скобки ?? "b" разрешен, значение внутри первого (внешний) круглые скобки ?? "c" разрешен, то окончательное ?? "d" будет решена. ?? выполняется 3 раза.

Во второй строке, поскольку "a" не является нулевым, весь фрагмент ("b" ?? ("c" ?? "d")) не нужно разрешать. ?? выполняется только один раз.

Несмотря на то, что значение в правой части не разрешено, проверка !== null в меньшем масштабе может оказаться полезным.

(Тем не менее, мне интересно, если это единственная причина?)

Answer 2

В чем смысл этого?

По сравнению с троичным оператором (который левоассоциативный), оператор нулевой COALESCE будучи правоассоциативной позволяет для укладки. Например:

Это не будет работать

echo isset($foo) ? $foo : 
    isset($bar) ? $bar : 
    isset($baz) ? $baz : 
    'default'; 

Это, как вы могли бы ожидать, тройные работу оператора по умолчанию наступающего из C или C++, но вы бы неправильно. Новый оператор ?? позволяет следующей альтернативе:

Это будет работать

echo $foo ?? $bar ?? $baz ?? 'default';