C++ 運算順序陷阱：編譯器最佳化如何改變 ++a + ++a + ++a 的結果

現象重現

int a = 0;
int b = (++a) + (++a) + (++a); // b = ?

• VC6.0 關閉最佳化 → b = 7
• VC6.0 開啟最大速度/最小體積 → b = 9
• TC 2.0/3.0 (C/C++ 模式) → 一致 b = 9

標準語法 vs. 實作行為

C++ 標準規定：

1. () 優先級最高，左至右求值。
2. 前置 ++ 右至左結合，但優先級同 ()。
3. + 左至右結合。
4. 賦值 = 右至左。

嚴格依標準推導：三個 ++a 先執行 → a=3，再相加 → 3+3+3=9。結果 7 反而違背標準語法。

編譯器內部發生了什麼？

反組譯對比

關鍵差異

• 無最佳化：每次 ++a 即寫回記憶體，下一次讀取見到最新值 → 1+2+3=6？實測 7，說明 VC 以「運算單元」為粒度重排。
• 最佳化/TC：將 a 昇格為寄存器變數，三次遞增在寄存器完成，最後一次性寫回 → 3+3+3=9。

MSDN 文件說明

開啟最佳化啟用：

• Local/Global Common Subexpression Elimination
• Automatic Register Allocation（忽略 register 關鍵字）

編譯器將整個表達式視為單一計算圖，在寄存器內完成所有副作用，再提交結果。

結論與最佳實務

1. 不要在單一表達式中對同一變數多次副作用操作 — 行為未定義/實作定義，跨編譯器不可移植。
2. 若需連續遞增並求和，拆分為多條語句：++a; ++a; ++a; b = a+a+a;
3. 啟用警告 /Wall 或靜態分析工具可捕獲此類序列點違規。
4. 理解「語法規則」與「機器碼生成」的落差，是從 Coder 進階為 Engineer 的必經之路。

此例完美詮釋：電腦只遵循固定的語法模式執行，不具備人類的語義推理能力。寫出無歧義代碼，才是工程師的責任。