PHP 三元運算子 ?: 完整指南：語法、優缺點、最佳實踐與現代替代方案

三元運算子 ?: 是 PHP 中唯一接受三個運算元的運算子，能將簡單的 if-else 賦值邏輯壓縮為單行表達式。本文深入解析其語法細節、巢狀陷阱、效能特性、PHP 7/8 新增的 Null 合併運算子 ?? 以及程式碼風格建議。

一、基礎語法與執行流程

<?php
// 語法：條件 ? 真值 : 假值
$result = $condition ? $valueIfTrue : $valueIfFalse;

// 等價 if-else
if ($condition) {
    $result = $valueIfTrue;
} else {
    $result = $valueIfFalse;
}
?>

經典應用場景：預設值賦值

<?php
// GET 參數安全獲取
$id = isset($_GET['id']) ? (int)$_GET['id'] : 0;

// 陣列鍵值預設
$name = $data['name'] ?? 'Guest'; // PHP 7+ 推薦寫法（見下文）

// 布林轉換
$flag = $input ? true : false; // 冗餘，直接 $flag = (bool)$input 即可
?>

二、進階用法與常見陷阱

1. 巢狀三元運算子：左結合性陷阱（PHP 8.0+ 棄用無括號巢狀）

<?php
// PHP 7.x：左結合，邏輯常違反直覺
$grade = $score >= 90 ? 'A' : $score >= 80 ? 'B' : $score >= 70 ? 'C' : 'F';
// 實際解析為：(($score >= 90 ? 'A' : $score >= 80) ? 'B' : $score >= 70) ? 'C' : 'F'
// 結果錯誤！

// 正確：必須加括號
$grade = $score >= 90 ? 'A' : ($score >= 80 ? 'B' : ($score >= 70 ? 'C' : 'F'));

// PHP 8.0+：無括號巢狀拋出 Deprecated，強制加括號
?>

2. 省略中間運算元：Elvis Operator ?: (PHP 5.3+)

<?php
// 若 $expr 為真值，返回 $expr；否則返回 $default
$result = $expr ?: $default;

// 等價於
$result = $expr ? $expr : $default;

// 實用範例：獲取第一個非空值
$username = $input['name'] ?? $input['nickname'] ?? $session['user'] ?? 'Anonymous';
?>

3. Null 合併運算子 ?? (PHP 7.0+) —— 現代預設值首選

<?php
$username = $_GET['user'] ?? 'Guest';        // 鍵不存在或值為 null 時用預設
$page = $_GET['page'] ?? 1;                  // 0 是合法頁碼，?? 不會誤判
$limit = $config['limit'] ?? 20;             // 陣列鍵預設

// 串聯：返回第一個「已設定且非 null」的值
$dbHost = $env['DB_HOST'] ?? $config['db']['host'] ?? '127.0.0.1';

// 結合賦值：??= (PHP 7.4+)
$config['timeout'] ??= 30; // 等同 $config['timeout'] = $config['timeout'] ?? 30;
?>

三、效能與編譯器層面分析

• Opcode 層面：三元運算子編譯為 JMPZ_EX/JMPZ 指令，與 if-else 基本一致，無顯著效能差異
• 短路求值：真/假分支只會執行其中一邊，函數呼叫、複雜表達式不會被雙重執行
• ?? 比 isset() + 三元更快：單一 Opcode COALESCE 完成檢查與賦值

<?php
// 替代多層三元/if-elseif
$grade = match (true) {
    $score >= 90 => 'A',
    $score >= 80 => 'B',
    $score >= 70 => 'C',
    default => 'F',
};

// 嚴格比較、無類型轉換、支援多條件合併
$message = match ($status) {
    200, 201 => 'Success',
    400 => 'Bad Request',
    401, 403 => 'Unauthorized',
    404 => 'Not Found',
    default => 'Unknown Status',
};
?>

<?php
// === 傳統寫法（冗長） ===
function getPageTraditional(array $params): int
{
    if (isset($params['page'])) {
        $page = $params['page'];
    } else {
        $page = 1;
    }
    if ($page < 1) $page = 1;
    return (int)$page;
}

// === 三元運算子（緊湊但語義不精確） ===
function getPageTernary(array $params): int
{
    $page = isset($params['page']) ? (int)$params['page'] : 1;
    return $page < 1 ? 1 : $page;
}

// === Null 合併 + 現代寫法（推薦） ===
function getPageModern(array $params): int
{
    $page = (int)($params['page'] ?? 1);
    return max(1, $page); // 保底邏輯清晰可讀
}

// === PHP 8.0+ 完美版 ===
function getPagePerfect(array $params): int
{
    return max(1, (int)($params['page'] ?? 1));
}
?>