PHP 三元運算子左結合陷阱：為什麼巢狀判斷會產生錯誤結果

經典陷阱案例

<?php
$a = 2;

echo
    $a == 1 ? 'one' :
    $a == 2 ? 'two' :
    $a == 3 ? 'three' :
    $a == 4 ? 'four' : 'other';
// 直覺預期：'two'
// 實際輸出：'four'
?>

根本原因：左結合性

PHP 三元運算子 **左結合**，而非大多數語言（C、Java、JavaScript）的右結合。上述程式碼實際解析為：

<?php
echo (((($a == 1 ? 'one' : $a == 2) ? 'two' : $a == 3) ? 'three' : $a == 4) ? 'four' : 'other');
?>

逐步執行追蹤（$a = 2）

1. $a == 1 → false
2. false ? 'one' : $a == 2 → $a == 2 → true
3. true ? 'two' : $a == 3 → 'two'（字串非空 → true）
4. 'two' ? 'three' : $a == 4 → 'three'（字串非空 → true）
5. 'three' ? 'four' : 'other' → 'four'

正確寫法：明確加上括號

<?php
echo
    ($a == 1) ? 'one' :
    (($a == 2) ? 'two' :
    (($a == 3) ? 'three' :
    (($a == 4) ? 'four' : 'other')));
// 輸出：'two' ✅
?>

官方手冊範例驗證

<?php
// 手冊範例
echo (true ? 'true' : false ? 't' : 'f'); // 輸出 't'（非預期 'true'）

// 等價於
echo ((true ? 'true' : 'false') ? 't' : 'f'); // 'true' 非空 → true → 't'
?>

最佳實踐建議

1. 永遠用括號包裹巢狀三元運算：消除歧義、提升可讀性。
2. 超過兩層改用 if/elseif/else 或 match (PHP 8.0+)：

<?php
// PHP 8.0+ match 表達式（嚴格比較、無型別轉換、回傳值）
$result = match (true) {
    $a == 1 => 'one',
    $a == 2 => 'two',
    $a == 3 => 'three',
    $a == 4 => 'four',
    default => 'other',
};
echo $result; // 'two' ✅
?>

型別轉換副作用補充

上述過程中發生多次 字串轉布林：非空字串 'two'、'three' 皆為 true。這也是 PHP 鬆散比較特性導致的連鎖效應。

💡 總結：PHP 三元運算子左結合是歷史遺留設計，巢狀使用時必須加括號，或改用 match（PHP 8.0+）獲得更安全、可讀的語法。