PHP 基礎陷阱題深度解析：變量賦值與運算符優先級

PHP 中看似簡單的賦值與邏輯運算組合，往往隱藏著令人踩坑的運算符優先級陷阱。本文通過三個經典變形題，層層剖析 =、||、&& 的優先級與短路求值機制，幫你徹底搞懂「為什麼結果是這樣」。

陷阱原題

<?php
$a = 3;
$b = 6;
if ($a = 5 || $b = 7) {
    $a++;
    $b++;
}
var_dump($a, $b);

常見錯誤理解

• 陷阱一：誤將 $a = 5 視為 $a == 5 比較 → 預期結果 3, 6（if 不成立）
• 陷阱二：以為賦值運算符優先級較高，$a = 5 執行後 $b = 7 短路不執行 → 預期結果 6, 7

正確解析：運算符優先級與結合性

PHP 運算符優先級（由高到低）相關片段：

1. &&（邏輯與）
2. ||（邏輯或）
3. =（賦值）

因此 $a = 5 || $b = 7 實際解析為：

$a = (5 || ($b = 7))

逐步執行流程

1. 5 為真值，|| 短路，右邊 $b = 7 不會執行（此處為關鍵：|| 左側為真時不評估右側）
2. 5 || ... 整體結果為 true
3. $a = true，賦值完成，$a 變為 bool(true)
4. if (true) 成立，進入代碼塊
5. $a++：true (1) + 1 = 2（整數）
6. $b++：$b 仍為 6，+1 = 7

正確結果： int(2), int(7)

原文輸出 true, 7 可能為 PHP 版本差異或筆誤，實際 var_dump 會顯示 int(2)，因 true++ 在 PHP 中轉為整數 1 再加 1 得 2。

變形一：加入 && 與第三個變量

$a = 3; $b = 6; $c = 1;
if ($a = 5 || $b = 7 && $c = 10) {
    $a++; $b++;
}
var_dump($a, $b, $c);

優先級分析

&& 優先級高於 ||，故結構為：

$a = (5 || (($b = 7) && ($c = 10)))

執行流程

1. 5 為真，|| 短路，整個右側 ($b = 7) && ($c = 10) 不執行
2. $a = true
3. 進入 if，$a++ → 2，$b++ → 7，$c 保持 1

結果： int(2), int(7), int(1)

變形二：左側賦值為 0（假值）

$a = 3; $b = 6; $c = 1;
if ($a = 0 || $b = 7 && $c = 10) {
    $a++; $b++;
}
var_dump($a, $b, $c);

執行流程

1. $a = 0 賦值完成，$a 為 0（假）
2. || 左側為假，**必須評估右側**
3. 右側 $b = 7 && $c = 10：
   $b = 7（真）→ 繼續評估 $c = 10（真）
   整體結果為真
4. 0 || true → true，$a = true（覆蓋先前的 0）
5. 進入 if：$a++ → 2，$b++ → 8，$c = 10

結果： int(2), int(8), int(10)

核心知識點總結

避坑最佳實踐

1. 永遠用括號明確優先級：if (($a = 5) || ($b = 7))
2. 條件判斷勿混用賦值：比較用 == / ===，賦值單獨寫在 if 之前
3. 啟用靜態分析工具：如 PHPStan、Psalm 可自動檢測「在條件中賦值」等可疑模式
4. 代碼審查關注點：看到 if ($x = ...) 立即要求作者說明意圖

理解運算符優先級與短路求值，是寫出可靠 PHP 條件邏輯的基石。下次遇到類似代碼，請先在腦中加上括號，再推導執行流程。