<p>PHP的運算符優(yōu)先級和結(jié)合性決定了表達式的求值順序，正確理解可避免隱蔽bug；1. 優(yōu)先級高的運算符先執(zhí)行，如算術(shù)運算中乘除高于加減；2. 相同優(yōu)先級時按結(jié)合性左或右結(jié)合，如減法左結(jié)合、賦值右結(jié)合；3. 括號()優(yōu)先級最高，應(yīng)多用以明確意圖；4. 字符串連接. 優(yōu)先于比較，需括號避免誤判；5. 邏輯運算&& || 優(yōu)先級高于and or，混用易出錯；6. 自PHP 7.4起三元運算?:改為右結(jié)合，更符合直覺；7. 建議優(yōu)先使用&&和||，復(fù)雜表達式拆分并用工具檢查，括號提升可讀性與安全性。</p> <p><img src="/static/imghw/default1.png" data-src="https://img.php.cn/upload/article/000/000/000/175393685385836.jpg" class="lazy" alt="Navigating the Labyrinth of PHP Operator Precedence and Associativity"></p> <p>PHP’s operator precedence and associativity rules are like the grammar of a language—they dictate how expressions are interpreted when parentheses aren’t present. While they may seem like a minor detail, misunderstanding them can lead to subtle bugs and unexpected behavior. Let’s break down how PHP handles operator precedence and associativity in a practical, developer-friendly way.</p> <img src="/static/imghw/default1.png" data-src="https://img.php.cn/upload/article/000/000/000/175393685412441.jpeg" class="lazy" alt="Navigating the Labyrinth of PHP Operator Precedence and Associativity"><hr> <h3 id="What-Are-Operator-Precedence-and-Associativity">What Are Operator Precedence and Associativity?</h3> <p><strong>Operator precedence</strong> determines which operations are performed first in an expression with multiple operators. For example, in <code>2 + 3 * 4</code>, multiplication has higher precedence than addition, so it's evaluated as <code>2 + (3 * 4) = 14</code>, not <code>(2 + 3) * 4 = 20</code>.</p> <p><strong>Associativity</strong> comes into play when operators of the same precedence appear in sequence. It defines whether evaluation happens left-to-right or right-to-left. For instance, subtraction is left-associative: <code>10 - 5 - 2</code> is <code>(10 - 5) - 2 = 3</code>, not <code>10 - (5 - 2) = 7</code>.</p> <img src="/static/imghw/default1.png" data-src="https://img.php.cn/upload/article/000/000/000/175393685724518.jpeg" class="lazy" alt="Navigating the Labyrinth of PHP Operator Precedence and Associativity"><p>PHP has a well-defined hierarchy of 18 levels of precedence and specific associativity rules for each operator group.</p> <hr> <h3 id="Key-Precedence-Levels-You-Should-Know">Key Precedence Levels You Should Know</h3> <p>While PHP’s full precedence table is extensive, here are the most commonly encountered operators, ordered from highest to lowest precedence:</p> <img src="/static/imghw/default1.png" data-src="https://img.php.cn/upload/article/000/000/000/175393685836279.jpeg" class="lazy" alt="Navigating the Labyrinth of PHP Operator Precedence and Associativity"><ul> <li> <strong>Parentheses <code>()</code></strong> – Always highest; use them to override default rules.</li> <li> <strong>Unary operators</strong> – <code>!</code>, <code>++</code>, <code>--</code>, <code>+</code> (as in <code>+$a</code>), <code>-</code> (as in <code>-$a</code>)</li> <li> <strong>Arithmetic</strong> – <code>*</code>, <code>/</code>, <code>%</code> (higher), then <code>+</code>, <code>-</code> (lower)</li> <li> <strong>String concatenation</strong> – The <code>.</code> operator (often surprises developers!)</li> <li> <strong>Comparison operators</strong> – <code><</code>, <code>></code>, <code><=</code>, <code>>=</code>, <code>==</code>, <code>!=</code>, <code>===</code>, <code>!==</code> </li> <li> <strong>Logical operators</strong> – <code>&&</code>, <code>||</code>, but also the lower-precedence <code>and</code>, <code>or</code> </li> <li> <strong>Ternary operator</strong> – <code>?:</code> (left-associative in older PHP versions, <strong>right-associative as of PHP 7.4+</strong>)</li> <li> <strong>Assignment operators</strong> – <code>=</code>, <code>+=</code>, <code>.=</code>, etc. (right-associative)</li> </ul> <p>One common pitfall: many assume <code>and</code> and <code>&&</code> have the same precedence, but they don’t.</p><pre class='brush:php;toolbar:false;'>// This may not work as expected: $bool = true && false; $result = $bool or true; // Equivalent to: ($result = $bool) or true;</pre><p>Here, <code>=</code> has higher precedence than <code>or</code>, so <code>$result</code> gets assigned <code>true && false</code> → <code>false</code>, and then the <code>or</code> is evaluated but doesn’t affect <code>$result</code>. To fix:</p><pre class='brush:php;toolbar:false;'>$result = ($bool or true); // Use parentheses // Or better yet, stick with && and ||</pre><hr /><h3 id="Watch-Out-for-String-Concatenation-and-Comparison">Watch Out for String Concatenation and Comparison</h3><p>The <code>.</code> operator has higher precedence than most comparison operators, which can trip you up:</p><pre class='brush:php;toolbar:false;'>echo "Hello " . $user == "Admin" ? "Welcome!" : "Guest";</pre><p>This doesn’t do what it looks like. It parses as:</p><pre class='brush:php;toolbar:false;'>echo (("Hello " . $user) == "Admin") ? "Welcome!" : "Guest";</pre><p>So you’re comparing the concatenated string <code>"Hello John"</code> to <code>"Admin"</code>—which will always be false unless the user is literally named <code>"Admin"</code> and the string is exactly <code>"Hello Admin"</code>.</p><p>Instead, use parentheses:</p><pre class='brush:php;toolbar:false;'>echo "Hello " . ($user == "Admin" ? "Welcome!" : "Guest");</pre><hr /><h3 id="Logical-Operator-Precedence-Gotchas">Logical Operator Precedence Gotchas</h3><p>PHP has two sets of logical operators with different precedence:</p><ul><li><code>&&</code> and <code>||</code> – higher precedence</li><li><code>and</code> and <code>or</code> – lower precedence</li></ul><p>This leads to confusing results:</p><pre class='brush:php;toolbar:false;'>$a = true and false; var_dump($a); // true — because it's parsed as ($a = true) and false</pre><p>The assignment happens first due to precedence, so <code>$a</code> becomes <code>true</code>, and the <code>and false</code> doesn’t reassign it.</p><p>Use <code>&&</code> and <code>||</code> for logical operations unless you're intentionally relying on low precedence for control flow (rare).</p><hr /><h3 id="Ternary-Operator-Changes-in-PHP">Ternary Operator Changes in PHP 7.4</h3><p>Before PHP 7.4, nested ternary expressions were left-associative, leading to confusing outcomes:</p><pre class='brush:php;toolbar:false;'>echo $a ? $a : $b ? $b : $c;</pre><p>In PHP < 7.4: this was <code>(($a ? $a : $b) ? $b : $c)</code><br /> In PHP >= 7.4: it’s <code>$a ? $a : ($b ? $b : $c)</code> — much more intuitive.</p><p>Best practice? Use parentheses for clarity:</p><pre class='brush:php;toolbar:false;'>echo $a ? $a : ($b ? $b : $c);</pre><hr /><h3 id="Practical-Tips-for-Avoiding-Precedence-Bugs">Practical Tips for Avoiding Precedence Bugs</h3><ul><li><strong>Use parentheses liberally</strong> — they make intent clear and override precedence safely.</li><li><strong>Prefer <code>&&</code> and <code>||</code> over <code>and</code> and <code>or</code></strong> — unless you’re doing control flow like:<pre class='brush:php;toolbar:false;'>do_this() or die('Failed');</pre><li> <strong>Break complex expressions into smaller ones</strong> — improves readability and reduces bugs.</li> <li> <strong>Use static analysis tools</strong> — PHPStan or Psalm can flag ambiguous expressions.</li> <hr> <p>Basically, PHP’s operator rules are predictable once you know them, but they’re full of traps for the unwary. When in doubt, parenthesize. It’s not laziness—it’s clarity.</p>

The above is the detailed content of Navigating the Labyrinth of PHP Operator Precedence and Associativity. For more information, please follow other related articles on the PHP Chinese website!