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

Приоритет оператора определяет, насколько «тесно» он связывает между собой два выражения. Например, выражение 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
// ассоциативность тернарных операторов отличается от C/C++
$a = true ? 0 : true ? 1 : 2; // (true ? 0 : true) ? 1 : 2 = 2 (до PHP 8.0.0)

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

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

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

<?php

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

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

Пример #3 +, - и . имеют одинаковый приоритет (до PHP 8.0.0)

<?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 минус один равно 3, ну, я надеюсь

Замечание:

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

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

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