C語言自增自減運算符陷阱：未定義行為與編譯器差異深度解析

核心結論：不要在同一表達式中多次修改同一變量

C 標準規定： 在兩個序列點之間，對同一標量對象進行多次修改，或修改後又讀取其值（非為了確定新值），行為未定義 (Undefined Behavior, UB)。

問題代碼示例

int i = 5;
int p = (i++) + (i++);      // UB：i 被修改兩次
int q = (++i) + (++i);      // UB：i 被修改兩次
int r = i++ + ++i;          // UB：修改後又讀取
int s = a[i++] = i;         // UB：修改 i 後又讀取 i 決定存儲位置

為什麼 VC6.0 能跑出「看似有規律」的結果？

舊版 MSVC (VC6.0) 採用特定求值順序與副作用應用策略：

• i++ 表達式值為舊值，副作用 (遞增) 延遲到語句結束統一應用
• ++i 立即應用副作用，表達式值為新值
• 多個 ++i 會累積遞增次數

但這是編譯器特定實現，非標準保證！ 換編譯器 (GCC, Clang, 新版 MSVC)、優化等級、周圍代碼微調，結果皆可能改變。

標準規定的求值順序 (C++17 後部分明確)

編譯器實測差異 (GCC 11 / Clang 13 / MSVC 19.30)

int i = 5;
printf("%d %d\n", i++, i++);  // GCC: 5 6 | Clang: 5 6 | MSVC: 6 5 (參數壓棧順序不同)
int j = 5;
printf("%d\n", (++j) + (++j)); // GCC: 14 | Clang: 14 | MSVC: 14 (巧合一致，不可依賴)

安全重寫模式

檢測工具

• 編譯器警告：-Wall -Wextra -Wsequence-point (GCC/Clang)
• 靜態分析：Cppcheck, Clang Static Analyzer, PVS-Studio
• 運行時檢測：UBSan -fsanitize=undefined 可捕獲部份 UB

總結

1. 同一表達式中絕不對同一變量進行多次自增/自減/賦值。
2. 將複雜表達式拆分為多條語句，明確副作用順序。
3. 開啟編譯器警告，視警告為錯誤 (-Werror)。
4. 理解「未定義行為」意味著程序可能 Crash、產生錯誤結果、或看似正常運行——均屬合法標準行為。