Приоритет оператора в PHP
Что такое и для чего нужен приоритет оператора?
Приоритет оператора определяет, насколько «тесно» он связывает между собой два выражения. Например, выражение 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, с другой стороны, будет, поскольку == имеет более низкий приоритет чем <=.
Использование скобок, кроме случаев когда они строго необходимы, может улучшить читаемость кода, группируя явно, а не полагаясь на приоритеты и ассоциативность.
Порядок выполнения операторов
В следующей таблице приведен список операторов, отсортированный по убыванию их приоритетов. Операторы, размещенные в одной строке имеют одинаковый приоритет и порядок их выполнения определяется исходя из их ассоциативности.
Ассоциативность | Оператор | Дополнительная информация |
неассоциативна | clone new |
clone и new |
левая | [ | array() |
правая | ** | арифметические операторы |
правая | ++ — ~ (int) (float) (string) (array) (object) (bool) @ |
типы и инкремент/декремент |
неассоциативна | instanceof | типы |
правая | ! | логические операторы |
левая | * / % |
арифметические операторы |
левая | + — . |
арифметические операторы и строковые операторы |
левая | << >> |
побитовые операторы |
неассоциативна | < <= > >= |
операторы сравнения |
неассоциативна | == != === !== <> <=> |
операторы сравнения |
левая | & | побитовые операторы и ссылки |
левая | ^ | побитовые операторы |
левая | | | побитовые операторы |
левая | && | логические операторы |
левая | || | логические операторы |
правая | ?? | операторы сравнения |
левая | ? : | тернарный оператор |
правая | = += -= *= **= /= .= %= &= |= ^= <<= >>= |
операторы присваивания |
левая | and | логические операторы |
левая | xor | логические операторы |
левая | or | логические операторы |
Пример #1 Ассоциативность
<![CDATA[ <?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, or so I hope -1, or so I hope x минус один равно 3, ну я надеюсь
Важный момент: Несмотря на то, что = имеет более низкий приоритет чем большинство других операторов, PHP все же позволяет делать так: if (!$a = foo()), в этом примере результат выполнения foo() будет присвоен $a.