Приоритет оператора

Приоритет оператора определяет, насколько «тесно» он связывает между собой два выражения. Например, выражение 1 + 5 * 3 вычисляется как 16, а не 18, поскольку у оператора умножения «*» более высокий приоритет, чем у оператора сложения «+». Порядок выполнения операторов изменяют круглыми скобками, поэтому выражение (1 + 5) * 3 вычисляется как 18.

Выполнятся ли операторы с равным приоритетом слева направо или справа налево, определяет ассоциативность. Например, оператор «-» относится к левоассоциативным, поэтому выражение 1 - 2 - 3 сгруппируется как (1 - 2) - 3 и пересчитается в -4. При этом оператор «=» относится к правоассоциативным, потому выражение $a = $b = $c сгруппируется как $a = ($b = $c).

Неассоциативные операторы с одинаковым приоритетом нельзя указывать совместно. Например, выражение 1 < 2 > 1 не сработает в PHP. При этом выражение 1 <= 1 == 1 сработает, поскольку у оператора == более низкий приоритет, чем у оператора <=.

Ассоциативность касается только двоичных и тернарных операторов. Унарные операторы бывают префиксными или постфиксными, поэтому понятие ассоциативности к ним не относится. Например, !!$a получится сгруппировать только как !(!$a).

Скобки, даже если они необязательны, часто улучшают читаемость кода за счёт явной группировки, а не опоры на приоритеты и ассоциативность.

Следующая таблица приводит список операторов, отсортированный по убыванию приоритетов. У операторов, которые перечислили в одной строке, одинаковый приоритет, а порядок выполнения этих операторов определяется группировкой.

Порядок выполнения операторов
Ассоциативность Оператор Дополнительная информация
(н/а) clone new clone и new
правая ** арифметические операторы
(н/а) + - ++ -- ~ (int) (float) (string) (array) (object) (bool) @ арифметические операторы (унарные + и -), инкремент/декремент, побитовые операторы, приведение типов и оператор управления ошибками
левая instanceof типы
(н/а) ! логические операторы
левая * / % арифметические операторы
левая + - . арифметические операторы (бинарные + и -), операторы, работающие с массивами и строковые операторы (. до PHP 8.0.0)
левая << >> побитовые операторы
левая . строковые операторы (начиная с PHP 8.0.0)
неассоциативна < <= > >= операторы сравнения
неассоциативна == != === !== <> <=> операторы сравнения
левая & побитовые операторы и ссылки
левая ^ побитовые операторы
левая | побитовые операторы
левая && логические операторы
левая || логические операторы
правая ?? операторы сравнения с null
неассоциативна ? : тернарный оператор (левоассоциативный до PHP 8.0.0)
правая = += -= *= **= /= .= %= &= |= ^= <<= >>= ??= операторы присваивания
(н/а) yield from yield from
(н/а) yield yield
(н/а) print print
левая and логические операторы
левая xor логические операторы
левая or логические операторы

Пример #1 Ассоциативность

<?php

$a
= 3 * 3 % 5; // (3 * 3) % 5 = 4
var_dump($a);

$a = 1;
$b = 2;
$a = $b += 3; // $a = ($b += 3) -> $a = 5, $b = 5
var_dump($a, $b);

?>

Тернарный оператор требуется указывать в круглых скобках, чтобы устранить неоднозначность приоритета.

Пример #2 Явный приоритет

<?php

$a
= true ? 0 : (true ? 1 : 2);
var_dump($a);

// Начиная с PHP 8 такие выражения запретили
// $a = true ? 0 : true ? 1 : 2;

?>

Приоритет и ассоциативность оператора определяет только то, как группируется выражение, а не порядок его вычисления. Обычно PHP не указывает, в каком порядке вычисляются выражения, и нужно избегать кода, который предполагает спецефический порядок вычисления, потому что поведение может меняться в разных версиях PHP или в зависимости от окружающего кода.

Пример #3 Неопределённый порядок вычисления

<?php

$a
= 1;
echo
$a + $a++; // В зависимости от версии выводит как 2, так и 3

$i = 1;
$array[$i] = $i++; // В зависимости от версии устанавливает индекс как 1, так 2

Пример #4 Приоритет операторов +, - и .

<?php

$x
= 4;
// Следующий код иногда выдаёт неожиданный результат:
echo "x минус 1 равно " . $x - 1 . ", ну, я надеюсь\n";

// Круглые скобки помогают указать явный приоритет:
echo "x minus one equals " . ($x - 1) . ", ну, я надеюсь\n";

// Так нельзя, код выбросит ошибку TypeError:
echo (("x минус 1 равно " . $x) - 1) . ", ну, я надеюсь\n";

?>

Результат выполнения приведённого примера:

-1, ну, я надеюсь
-1, ну, я надеюсь
Fatal error: Uncaught TypeError: Unsupported operand types: string - int

Пример #5 До PHP 8 приоритет операторов +, - и . был одинаковым

<?php

$x
= 4;
// Следующий код иногда выдаёт неожиданный результат:
echo "x минус 1 равно " . $x - 1 . ", ну, я надеюсь\n";

// Поскольку до PHP 8.0.0 код вычислялся вот так:
echo (("x минус один равно " . $x) - 1) . ", ну, я надеюсь\n";

// Явный приоритет определяют круглыми скобками:
echo "x минус 1 равно " . ($x - 1) . ", ну, я надеюсь\n";

?>

Результат выполнения приведённого примера:

-1, ну, я надеюсь
-1, ну, я надеюсь
x минус 1 равно 3, ну, я надеюсь

Замечание:

Хотя у оператора = более низкий приоритет, чем у большей части других операторов, PHP всё же разрешает писать так: if (!$a = foo()), в этом примере результат выполнения функции foo() присвоится переменной $a.

Список изменений

Версия Описание
8.0.0 У объединения строк оператором . теперь более низкий приоритет, чем у арифметических операторов сложения + и вычитания -, и побитового сдвига влево << и вправо >>; раньше у оператора конкатенации строк был тот же приоритет, что и у операторов + и -, и более высокий приоритет, чем у операторов << и >>.
8.0.0 Тернарный оператор ? : стал неассоциативным; раньше оператор относился к левоассоциативным.
7.4.0 В выражениях с совместным указанием операторов теперь не рекомендуют полагаться на приоритет конкатенации строк оператором . при арифметических операциях сложения + или вычитания - и побитовом сдвиге влево << или вправо >>).
7.4.0 В выражениях с бесскобочным вложением ряда тернарных операторов теперь не рекомендуют полагаться на левоассоциативность тернарного оператора ? :.