printf 參數求值順序與前後置 ++ 運算子陷阱

C/C++ 標準未規定函數參數的求值順序，編譯器可自由選擇「左到右」或「右到左」。結合前置 ++a（先增後取值）與後置 a++（先取值後增）的語義差異，極易產生未定義行為（UB）或編譯器相關結果。本文透過經典案例深度解析。

經典測試代碼

int a = 15;
printf("%d,%d,%d", ++a, a++, 10 * a++);

觀察到的輸出（某編譯器）

18, 17, 150

推導過程（假設參數「右到左」求值）

1. 第 3 參數 10 * a++：
   當前 a=15 → 計算 10*15=150 → a 變 16
2. 第 2 參數 a++：
   當前 a=16 → 取值 16 → a 變 17
3. 第 1 參數 ++a：
   當前 a=17 → 先增為 18 → 取值 18

對應輸出順序（左到右）：18, 17, 150

關鍵結論

1. 參數求值順序未定義：MSVC 傾向右到左，GCC/Clang 可能左到右，甚至同編譯器不同優化等級結果不同
2. 同一序列點多次修改同一變數 = UB：此例中 a 在一次函數呼叫中被修改三次，標準明確規定為未定義行為
3. 前置/後置 ++ 差異：
   ++a：a = a + 1; return a;
a++：tmp = a; a = a + 1; return tmp;

標準規範引用 (C99 6.5.2.2/10)

「函數呼叫的參數求值順序未指定。……若同一標量物件在相鄰序列點之間被修改超過一次，行為未定義。」

正確寫法：拆分語句，明確序列點

int a = 15;
int p1 = ++a;      // a=16, p1=16
int p2 = a++;      // p2=16, a=17
int p3 = 10 * a++; // p3=170, a=18
printf("%d,%d,%d", p1, p2, p3); // 16,16,170 - 確定行為

最佳實務

• 單一語句中避免同一變數多次副作用
• 複雜表達式拆分為多條語句，利用 ; 產生序列點
• 啟用編譯器警告（-Wall -Wextra -Wsequence-point / /Wall）
• 靜態分析工具（Cppcheck, PVS-Studio, Clang Static Analyzer）可自動偵測此類 UB

記住：能讓人困惑的代碼，就是壞代碼。為了幾行字節數犧牲可讀性與正確性，得不償失。