C語言序列點陷阱深度解析：為什麼 i+++*i++ 結果不可預期

經典面試題：int i=3; int b=i+++*i++; 為什麼結果可能是 9？本文結合 C 標準、編譯器實現差異、序列點規則，徹底講清表達式求值順序未定義行為的本質，並提供跨編譯器對比實測數據。

核心結論先行

在兩個序列點之間，對同一對象修改超過一次，行為未定義（Undefined Behavior, UB）。不同編譯器、優化等級、架構下結果完全不可預期。

標準規則回顧 (C99/C11 6.5/5.1.2.3)

1. 序列點：執行到此處時，所有副作用（寫入變量）必須完成。常見序列點：語句結尾 ;、&& || ?: , 運算符、函數調用進入/返回。
2. 修改規則：相鄰序列點間，標量對象最多被修改一次；若被修改，其值不得被其他地方讀取（除非用於計算新值）。
3. 求值順序：運算符優先級/結合性不決定求值順序。編譯器可自由選擇操作數求值順序、副作用生效時機（只要在下一序列點前完成）。

逐步拆解 i+++*i++

詞法分析（最大吞噬原則）：i++ + *i++

• 左操作數：i++ → 讀取 i (3)，承諾稍後 +1
• 右操作數：*i++ → i++ 讀取 i (?) ，解引用，承諾稍後 +1
• 整個表達式只有一個序列點（語句末尾 ;）
• 違規點：i 在同一序列點間被修改了兩次（兩個后置++），且右操作數還讀取了 i 的值（非為計算自身新值）

編譯器實測對比

測試代碼（12 種變體）：

int i[12] = {3,3,3,3,3,3,3,3,3,3,3,3};
int b[12];
b[0] = i[0]++ + *i[0]++;          // 原題
b[1] = ++i[1] * ++i[1];           // 兩前置++
b[2] = ++i[2] * i[2]++;           // 前置 * 後置
b[3] = i[3]++ * ++i[3];           // 後置 * 前置
b[4] = i[4]++ * i[4]++ * i[4]++;  // 三後置
b[5] = i[5]++ * i[5]++ * ++i[5];
b[6] = ++i[6] * ++i[6] * ++i[6];  // 三前置
b[7] = ++i[7] * ++i[7] * i[7]++;
b[8] = ++i[8] * i[8]++ * i[8]++;
b[9] = ++i[9] * i[9]++ * ++i[9];
b[10]= i[10]++ * ++i[10] * ++i[10];
b[11]= i[11]++ * ++i[11] * i[11]++;

關鍵觀察：

• 所有純前置++組合結果一致（編譯器傾向先執行所有副作用再計算）
• 涉及後置++的組合，GCC/Clang 結果一致，MSVC 差異巨大
• 原題 i+++*i++ 在 GCC/Clang 下為 9（3*3），MSVC 為 12（3*4 或 4*3）

i = 3
讀取左 i++ → 3
讀取右 *i++ → *3 = 3
計算 3 + 3 = 9
序列點前：i += 2 → i = 5
結果 b = 9