Приоритет оператора
Приоритет оператора определяет, насколько "тесно" он связывает между собой два выражения. Например, выражение 1 + 5 * 3 вычисляется как 16, а не 18, поскольку оператор умножения ("*") имеет более высокий приоритет, чем оператор сложения ("+"). Круглые скобки могут использоваться для принудительного указания порядка выполнения операторов. Например, выражение (1 + 5) * 3 вычисляется как 18.
Если операторы имеют равный приоритет, то будут ли они выполняться справа налево или слева направо определяется их ассоциативностью - смотрите примеры ниже.
В следующей таблице приведен список операторов, отсортированный по убыванию их приоритетов. Операторы, размещенные в одной строке имеют одинаковый приоритет и порядок их выполнения определяется исходя из их ассоциативности.
| Ассоциативность | Оператор | Дополнительная информация |
|---|---|---|
| неассоциативна | clone new | clone и new |
| левая | [ | array() |
| правая | ++ -- ~ (int) (float) (string) (array) (object) (bool) @ | типы и increment/decrement |
| неассоциативна | instanceof | типы |
| правая | ! | логические операторы |
| левая | * / % | арифметические операторы |
| левая | + - . | арифметические операторы и строковые операторы |
| левая | << >> | побитовые операторы |
| неассоциативна | < <= > >= | операторы сравнения |
| неассоциативна | == != === !== <> | операторы сравнения |
| левая | & | побитовые операторы и ссылки |
| левая | ^ | побитовые операторы |
| левая | | | побитовые операторы |
| левая | && | логические операторы |
| левая | || | логические операторы |
| левая | ? : | тернарный оператор |
| правая | = += -= *= /= .= %= &= |= ^= <<= >>= => | операторы присваивания |
| левая | and | логические операторы |
| левая | xor | логические операторы |
| левая | or | логические операторы |
| левая | , | множество применений |
У операторов с равным приоритетом левая ассоциативность
подразумевает, что выражение вычисляется слева направо,
правая ассоциативность, соответственно, подразумевает противоположный порядок.
Неассоциативные операторы с равным приоритетом не могут комбинироваться сами
с собой. Например, выражение 1 < 2 > 1 в PHP недопустимо,
тогда как выражение 1 <= 1 == 1 корректно, потому что
оператор T_IS_EQUAL имеет меньший приоритет, чем
оператор T_IS_SMALLER_OR_EQUAL.
Пример #1 Ассоциативность
<?php
$a = 3 * 3 % 5; // (3 * 3) % 5 = 4
$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
// при совместном использовании ++ и + результат будет неопределенным
$a = 1;
echo ++$a + $a++; // может вывести 4 или 5
?>
Замечание:
Несмотря на то, что оператор = имеет низший приоритет, чем большинство остальных операторов, PHP все равно позволяет использовать следующую конструкцию: if (!$a = foo()), которая присваивает переменной $a результат выполнения функции foo().
Коментарии
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.
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.
Sometimes it's easier to understand things in your own examples.
If you want to play around operator precedence and look which tests will be made, you can play around with this:
<?php
function F($v) {echo $v." "; return false;}
function T($v) {echo $v." "; return true;}
IF (F(0) || T(1) && F(2) || F(3) && ! F(4) ) {
echo "true";
} else echo " false";
?>
Now put in IF arguments f for false and t for true, put in them some ID's. Play out by changing "F" to "T" and vice versa, by keeping your ID the same. See output and you will know which arguments actualy were checked.
<?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);
?>
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: tokens
Something that threw me of guard and I hadn't found it mentioned anywhere is if you're looking to asign a value in an if statement condition and use the same value in the said condition and compare it to a different value note the precedence of operators.
if($a=5&&$a==5){
echo '5';
} else {
echo 'not 5';
}
//echos not 5
You'll get a Notice: Undefined variable: a;
This happens because the expression is treated as
($a=5&&($a==5))
In this case $a was undefined.
Use parentheses to enforce the desired outcome or and instead of &&.
if(($a=5)&&$a==5){ // or $a=5 and $a==5
echo '5';
} else {
echo 'not 5';
}
//echos 5
We get no notice!
A use case for this can be a three part condition that first checks if a value is valid, second assigns a new variable based on the first value and then checks if the result is valid.
$ID=100;
if ($ID&&($data=get_table_row_for_ID($ID))&&$data->is_valid()) { //NOTE: assigned $data
// do something with the data
}
If assigning variables in an if condition I recommend adding a comment at the end of the line that such an action took place.
Three types of operator associativity in php.
1.left
2.rigt
3.non-associativity
Category of three operators are right associativity
1)**
2)=,+=,-=,*=,/=,%=,&=,^=,|=,<<=,>>=,??=,.=
3)??
Category of eight operators are non-associativity
1)clone new
2)++,--,~,@
3)!
4)<,<=,>,>=
5)<<,>>
6)yield from
7)yield
8)print
Rest of the operators are left associativity
//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.