演算子の優先順位は、二つの式が"緊密に"結合している度合いを指定します。 例えば、式 1 + 5 * 3 の答えは 16 になり、18 とはなりません。 これは乗算演算子("*")は、加算演算子("+")より高い優先順位を有するか らです。必要に応じて強制的に優先順位を設定するために括弧を使用する ことが可能です。例えば、18と評価するためには、 (1 + 5) * 3 とします。
演算子の優先順位が等しい場合は、その結合性によって評価順 (右から評価するのか、あるいは左から評価するのか) が決まります。 たとえば "-" は左結合なので、 1 - 2 - 3 は (1 - 2) - 3 とグループ分けされて、 評価結果は -4 になります。 一方、"=" は右結合です。つまり $a = $b = $c のグループ分けは $a = ($b = $c) となります。
優先順位が同じで結合しない演算子を並べることはできません。つまり、たとえば 1 < 2 > 1 は PHP では無効になります。 一方 1 <= 1 == 1 は問題ありません。 == 演算子の優先順位が <= 演算子より低いからです。
厳密には不要な場所であっても、括弧をつけておけばコードの可読性があがります。 明示的にグループ分けをしておくことで、演算子の優先順位や結合性による暗黙のグループ分けに頼らずに済むからです。
次の表では、優先順位が高い順に演算子を挙げています。 同じ行にある演算子は優先順位が等しくなります。そのような場合は、 結合時の評価にしたがってグループ分けが決まります。
| 結合時の評価 | 演算子 | 追加情報 |
|---|---|---|
| 結合しない | clone new | clone および new |
| left | [ | array() |
| right | ++ -- ~ (int) (float) (string) (array) (object) (bool) @ | 型 および 加算子/減算子 |
| 結合しない | instanceof | 型 |
| right | ! | 論理演算子 |
| left | * / % | 代数演算子 |
| left | + - . | 代数演算子 そして 文字列演算子 |
| left | << >> | ビット演算子 |
| 結合しない | < <= > >= | 比較演算子 |
| 結合しない | == != === !== <> | 比較演算子 |
| left | & | ビット演算子 そして リファレンス |
| left | ^ | ビット演算子 |
| left | | | ビット演算子 |
| left | && | 論理演算子 |
| left | || | 論理演算子 |
| left | ? : | 三項演算子 |
| right | = += -= *= /= .= %= &= |= ^= <<= >>= => | 代入演算子 |
| left | and | 論理演算子 |
| left | xor | 論理演算子 |
| left | or | 論理演算子 |
| left | , | さまざまな利用法 |
例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
?>
演算子の優先順位や結合性は、あくまでも式のグループ分けだけを決めるものであり、評価順を決めるものではありません。 PHP では一般に、式をどの順番で評価するかは決めていませｎ。 そのため、特定の順序で式が評価されることを前提としたコードを書いてはいけません。 PHP のバージョンが変わったり前後のコードが変わったりしたときに、評価順が変わる可能性があるからです。
例2 評価順序は未定義
<?php
$a = 1;
echo $a + $a++; // 1 になるかもしれないし、2 になるかもしれません
$i = 1;
$array[$i] = $i++; // インデックス 1 をセットするかもしれないし、インデックス 2 をセットするかもしれません
?>
注意:
= は他のほとんどの演算子よりも優先順位が低いはずなのにもかかわらず、 PHP は依然として if (!$a = foo()) のような式も許します。この場合は foo() の返り値が $a に代入されます。