Какой приоритет у оператора => определения элемента массива?

Question

[Евгений Обыкновенный]

Какой приоритет у оператора => определения элемента ассоциативного массива? В частности, интересует приоритет относительно оператора ??. Всегда ли 'a' => obj->id ?? 0 означает 'a' => (obj->id ?? 0)? В документации об этом ничего не написано.

Comments

[Дмитрий]

В любой не понятной ситуации с приоритетами, работайте со скобками

Answer 1

[Rsa97]

Приоритета нет, поскольку это не оператор, а языковая конструкция key => value.
Каждый из элементов конструкции вычисляется отдельно.

Comments

[Евгений Обыкновенный]

Можно назвать языковой конструкцией, но суть в том, что результат применения языковой конструкции вычисляется во время выполнения.

[Rsa97]

Евгений Обыкновенный, И какой же результат?

[Евгений Обыкновенный]

Rsa97, примерно такой же, как и у оператора присваивания - элементу массива с данным ключом присваивается вычисляемое значение.

[Rsa97]

Евгений Обыкновенный, Нет, у оператора присваивания есть результат - присвоенное значение. $x = $y = 5 Здесь у операции $y = 5 результат 5, который присваивается $x.
А какой результат у 'a' => 1? Никакого. Поскольку это только часть языковой конструкции array(), представляющей литерал массива.

[Евгений Обыкновенный]

Rsa97,

Нет, у оператора присваивания есть результат - присвоенное значение

Результат операции присваивания - это занесение какого-то значения в переменную. А цепочки присваиваний - это уже побочный синтаксический сахар, который не во всех языках есть.

Здесь у операции $y = 5 результат 5, который присваивается $x.

А здесь $arr = ['a' => 1] у операции 'a' => 1 результат 1, который присваивается по адресу $arr['a'].

Более того, инструкции с => выполняются пошагово. Например, если здесь ['a' => divto(0), 'b' => divto(1)] во время выполнения функция divto(0) бросит ошибку, то до divto(1) очередь не дойдет.

[Rsa97]

Евгений Обыкновенный,

А здесь $arr = ['a' => 1] у операции 'a' => 1 результат 1, который присваивается по адресу $arr['a'].

Нет. Если бы это был оператор с результатом 1, то работала бы конструкция
$arr = [$x = ('a' => 1)];

[Евгений Обыкновенный]

Rsa97, оператор не обязан возвращать значение, пригодное для присваивания. Например, не работает конструкция x := (y := z) в паскале, не работает конструкция mov ax, (mov bx, cx) в ассемблере. Это же не значит, что := и mov не операторы.

[Rsa97]

Евгений Обыкновенный, И? Присваивание в паскале не является оператором и не приводится в таблице приоритетов. А в ассемблере операторов вообще нет, там инструкции.
Что касается PHP, то документация говорит следующее:

An operator is something that takes one or more values (or expressions, in programming jargon) and yields another value (so that the construction itself becomes an expression).

array() is a language construct used to represent literal arrays, and not a regular function.

[Евгений Обыкновенный]

Rsa97, видимо, мы используем разные определения оператора. В англоязычной традиции есть statement (любая минимальная инструкция языка) и operator (аналог математической операции с операндами, который возвращает какое-то значение). На русском все это часто называют оператором, даже условные операторы.

[Rsa97]

Евгений Обыкновенный, Если мы говорим о PHP, то и определение надо использовать из PHP. И, раз PHP не относит конструкцию key => value к операторам, то искать её в списке приоритетов операторов смысла нет.

Answer 2

[aleksejjjjj]

В общем случае можно считать тот же приоритет, что и у остальных присвоений.

$a = obj->id ?? 0; // 0
$a[
    'b' => obj->id ?? 0, // 0
];