C# 三元條件運算符 ?: 完整指南：類型推斷、短路求值與巢狀陷阱

C# 的條件運算符 ?:（三元運算符）是表達式級的分支機制，支援短路求值與複雜類型推斷規則。掌握其語意細節，能編寫簡潔且型別安全的程式碼。

基本語法與求值邏輯

結果 = 條件 ? 真分支值 : 假分支值;

執行流程：

1. 評估 條件（必須為 bool 或隱含轉換為 bool）
2. true → 評估 真分支值，結果為其值
3. false → 評估 假分支值，結果為其值

關鍵特性：短路求值 — 永遠只評估其中一個分支，另一分支完全不執行。

右結合性與巢狀解析

?: 為右結合：

a ? b : c ? d : e
// 等價於
a ? b : (c ? d : e)

建議：巢狀超過兩層時，改用 if-else 或提取方法，提升可讀性。

類型推斷規則（核心複雜度）

第二、三運算元類型決定整體表達式類型，規則按優先順序：

類型推斷實戰範例

✅ 成功推斷

// int 與 long → long (int 隱含轉換 long)
var result1 = true ? 1 : 2L;           // long

// 衍生類別與基底類別 → 基底類別
class Base {} class Derived : Base {}
var result2 = flag ? new Derived() : new Base(); // Base

// null 與參考類型 → 參考類型
string s = cond ? "hello" : null;      // string

// int? 與 int → int? (int 隱含轉換 int?)
int? nullable = cond ? 5 : (int?)null; // int?

❌ 編譯失敗案例

// int 與 string 無隱含轉換
var bad1 = cond ? 123 : "abc";         // CS0173

// 兩個不相關的介面實作類別
interface IA {} interface IB {}
class A : IA {} class B : IB {}
var bad2 = cond ? new A() : new B();   // CS0173 (需強制轉型)

修正策略

// 1. 明確轉型
var fixed1 = cond ? (object)123 : (object)"abc"; // object

// 2. 統一為共同基底/介面
IA fixed2 = cond ? (IA)new A() : (IA)new B();    // 需 A,B 實作 IA

// 3. 使用 Tuple 或自訂類型封裝
var fixed3 = cond ? (Value: 123, Text: "") : (Value: 0, Text: "abc");

進階用法模式

Null 合併運算符替代

// 等價但 ?: 更靈活
var name = user?.Name ?? "Guest";
var name2 = user != null ? user.Name : "Guest";

Lambda 表達式中使用

var classify = (int x) => x > 0 ? "Positive" : x < 0 ? "Negative" : "Zero";

屬性初始化

public string DisplayName => _name ?? "Anonymous";

效能與最佳實踐

• 零開銷抽象：編譯為 IL brtrue/brfalse，極高效
• 避免副作用：分支中勿放置有副作用的呼叫（除非刻意利用短路）
• 類型一致性：刻意設計分支類型相容，減少強制轉型
• 可讀性優先：超過 80 字元或巢狀超過 1 層 → 改用 if-else

常見陷阱

1. 副作用順序誤解：cond ? DoA() : DoB() 只呼叫其中一個
2. 類型推斷失敗：數值字面常數 1 (int) vs 1.0 (double) 導致不匹配
3. 優先級陷阱：x = y > 0 ? 1 : -1 正確，但 x = y > 0 ? 1 : -1 * 2 為 x = y > 0 ? 1 : (-1 * 2)

善用 ?: 可減少樣板程式碼，但務必理解其類型推斷規則與短路語意，並在複雜場景選擇更清晰的替代方案。