Приоритет оператора
Приоритет оператора определяет, насколько "тесно" он связывает между собой два выражения. Например, выражение 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, с другой стороны, будет, поскольку == имеет более низкий приоритет чем <=.
Использование скобок, кроме случаев когда они строго необходимы, может улучшить читаемость кода, группируя явно, а не полагаясь на приоритеты и ассоциативность.
В следующей таблице приведен список операторов, отсортированный по убыванию их приоритетов. Операторы, размещенные в одной строке имеют одинаковый приоритет и порядок их выполнения определяется исходя из их ассоциативности.
Порядок выполнения операторов
Ассоциативность | Оператор |
---|---|
неассоциативна | clonenew |
левая | [ |
правая | ** |
правая | ++--~(int)(float)(string)(array)(object)(bool)@ |
неассоциативна | instanceof |
правая | ! |
левая | */% |
левая | +-. |
левая | <<>> |
неассоциативна | <<=>>= |
неассоциативна | ==!====!==<><=> |
левая | & |
левая | ^ |
левая | | |
левая | && |
левая | || |
правая | ?? |
левая | ? : |
правая | =+=-=*=**=/=.=%=&=|=^=<<=>>= |
левая | 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
$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
$x = 4;
// следующий код может выдать неожиданный результат:
echo "x минус 1 равно " . $x-1 . ", ну я надеюсь\n";
// поскольку он вычисляется таким образом:
echo (("x минус один равно " . $x) - 1) . ", ну я надеюсь\n";
// требуемый приоритет следует задать скобками:
echo "x минус 1 равно " . ($x-1) . ", ну я надеюсь\n";
?>
Результат выполнения данного примера:
-1, ну я надеюсь -1, ну я надеюсь x минус один равно 3, ну я надеюсь
Замечание:
Несмотря на то, что = имеет более низкий приоритет, чем большинство других операторов, PHP все же позволяет делать так: if (!$a = foo()), в этом примере результат выполнения foo() будет присвоен $a.