C語言 ? 運算符詳解：三元運算符語法、優先級與實戰技巧

核心結論

C 語言中 ? 只出現在三元運算符 ? : 中，無獨立含義。語法：condition ? expr1 : expr2。

語法與語義

// 基本形式
int max = (a > b) ? a : b;

// 等價 if-else
int max;
if (a > b) max = a;
else max = b;

關鍵特性

實戰模式

1. 簡潔賦值

int abs = (x >= 0) ? x : -x;
int min = (a < b) ? a : b;
const char* status = (code == 0) ? "OK" : "ERROR";

2. 嵌套使用（需括號明確優先級）

int sign = (x > 0) ? 1 : ((x < 0) ? -1 : 0);
// 等價
int sign;
if (x > 0) sign = 1;
else if (x < 0) sign = -1;
else sign = 0;

3. 函數參數/返回值

printf("%s\n", (age >= 18) ? "Adult" : "Minor");
return (ptr != NULL) ? ptr->value : DEFAULT_VAL;

4. 避免副作用陷阱

// ❌ 危險：i 可能自增兩次或零次
int val = (cond) ? i++ : i++;

// ✅ 安全：分離副作用
if (cond) val = i++;
else val = i++;

優先級與結合性陷阱

// 優先級：? : 低於 算術/關係/邏輯運算符，高於 賦值/逗號
int a = 1, b = 2, c = 3;
int x = a > b ? a : b + c;  // 等價 a > b ? a : (b + c)

// 右結合：a ? b : c ? d : e  等價  a ? b : (c ? d : e)
// 建議：複雜嵌套加括號
int y = a ? b : (c ? d : e);

GNU 擴展：省略中間表達式

// GCC/Clang 支持：x ? : y  等價  x ? x : y
int val = get_value() ? : default_val;  // 非標準，可移植代碼避免使用

與 C++ 差異

最佳實踐建議

1. 簡單條件用三元：單行、無副作用、提升可讀性
2. 複雜邏輯用 if-else：多層嵌套、有副作用、需調試
3. 括號明確意圖：(cond) ? (expr1) : (expr2)
4. 類型一致：兩分支類型盡量一致，避免隱式轉換驚喜
5. 避免宏中濫用：宏展開可能導致多次求值

總結

C 語言 ? 唯一身份是三元運算符 ? : 的一部分。掌握其短路求值、右結合、類型轉換、優先級特性，用於簡單條件賦值/返回，複雜邏輯堅持用 if-else。切記：三元運算符是表達式，不是語句，這是它與 if-else 最大的本質區別。