Приоритет оператора определяет, насколько «тесно» он связывает между собой два
выражения. Например, выражение 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
|
|
| левая |
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 |
В выражениях с бесскобочным вложением ряда тернарных операторов
теперь не рекомендуют полагаться на левоассоциативность тернарного оператора ? :.
|
Watch out for the difference of priority between 'and vs &&' or '|| vs or':
<?php
$bool = true && false;
var_dump($bool); // false, that's expected
$bool = true and false;
var_dump($bool); // true, ouch!
?>
Because 'and/or' have lower priority than '=' but '||/&&' have higher.If you've come here looking for a full list of PHP operators, take note that the table here is *not* complete. There are some additional operators (or operator-ish punctuation tokens) that are not included here, such as "->", "::", and "...".
For a really comprehensive list, take a look at the "List of Parser Tokens" page: http://php.net/manual/en/tokens.phpNote that ?? has a low priority, so this can lead to unexpected results:
$a=[];
$a['aa']??'not set'
--> not set (as expected)
but
"lets see if it is set".$a['aa']??'not set'
--> notice; undefined index aa
--> lets see if it is set
so you need to use parenthesis
"lets see if it is set".($a['aa']??'not set')Beware the unusual order of bit-wise operators and comparison operators, this has often lead to bugs in my experience. For instance:
<?php if ( $flags & MASK == 1) do_something(); ?>
will not do what you might expect from other languages. Use
<?php if (($flags & MASK) == 1) do_something(); ?>
in PHP instead.An easy trick to get the result of the left shift operation (<<), e.g.
15 << 2 = 15 * (2*2) = 60
15 << 3 = 15 * (2*2*2) = 120
15 << 5 = 15 * (2*2*2*2*2) = 480
and so on...
So it's:
(number on left) multiplied by (number on right) times 2.
The same goes for the right shift operator (>>), where:
(number on left) divided by (number on right) times 2 e.g.
15 >> 2 = (15/2)/2 = 7/2 = 3 (use floor values if result is in decimals).
35 >> 3 = (((35/2)/2)/2 = (17/2)/2 = 8/2 = 4Using cast and ternary operator can be unclear,
(Useful to know with: declare(strict_types = 1) ).
<?php
$num_str="5";
$i1 = (int) isset($num_str) ? $num_str : 0;
$i2 = (int) (isset($num_str) ? $num_str : 0);
var_dump($i1);
var_dump($i2);
?>
Output:
string(1) "5"
int(5)<?php
// Another tricky thing here is using && or || with ternary ?:
$x && $y ? $a : $b; // ($x && $y) ? $a : $b;
// while:
$x and $y ? $a : $b; // $x and ($y ? $a : $b);
?>//incorrect
$a = true ? 0 : true ? 1 : 2; // (true ? 0 : true) ? 1 : 2 = 2
//Unparenthesized `a ? b : c ? d : e` is not supported. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)`
//correct
$a = (true ? 0 : true) ? 1 : 2; // (true ? 0 : true) ? 1 : 2 = 2
==> correction documentation.