Приоритет оператора определяет, насколько «тесно» он связывает между собой два выражения. Например, выражение 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)
.
Указание скобок, даже если это не строго необходимо, часто может улучшить читаемость кода за счёт явной группировки, а не опоры на приоритеты и ассоциативность.
В следующей таблице приведён список операторов, отсортированный по убыванию их приоритетов. Операторы, перечисленные в одной строке, имеют одинаковый приоритет, тогда порядок их выполнения будет определён тем, как они сгруппированы.
Пример #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 | Практика, когда можно было полагаться на левоассоциативность тернарного оператора (? : ), т. е. вложение нескольких тернарных операторов без скобок, не рекомендована. |