Java 與 C/C++ 中 i++ 行為差異深度解析

Java 和 C/C++ 對後綴自增 i++ 在複合表達式中的語義不同，導致相同代碼產生不同結果。本文深度解析兩者的運算機制、字節碼/指令序列差異，並給出完整測試案例對照表。

核心差異總結

Java 機制：臨時變量模型

Java 語言規範 (JLS) 定義：後綴表達式求值過程：

1. 計算操作數變量的地址/引用。
2. 保存當前值到臨時變量。
3. 執行自增（變量值 +1）。
4. 表達式的值 = 臨時變量（舊值）。

因此 i = i++ 等價於：

temp = i;  // temp=0
i = i + 1; // i=1
i = temp;  // i=0 ← 覆蓋了自增！

C/C++ 機制：序列點與副作用

C 標準定義：

• i++ 的值 = i 的當前值（右值）。
• 副作用（i = i+1）在下一個序列點前完成。
• 序列點：語句結尾（;）、&&、||、?:、函數調用後等。

因此 a = i++ + i++：

// 兩個 i++ 的值均為舊值 0
// 加法 0+0=0
// 賦值 a=0
// 語句結束（序列點），執行兩次自增：i=2

完整測試案例對照表

C++17 改進：求值順序規範化

C++17 規定：

• 賦值表達式右邊先於左邊求值。
• a + b 中 a 先於 b 求值（左到右）。
• f(a, b) 參數求值順序未規定，但每個參數完整求值後再求下一個。

因此 C++17 下 a = a++ + ++a 明確為：

// 右邊先算
// a++: 值0, 副作用a=1 (延遲)
// ++a: a=2, 值2
// 加法: 0+2=2
// 賦值: a=2
// 序列點: 執行a++副作用 a=3? 不，C++17規定副作用在值計算後緊接完成
// 實際GCC/Clang C++17結果: a=3

最佳實踐建議

1. 避免在同一表達式中多次修改同一變量：i = i++、a[i++] = i++ 等在兩語言中均易錯/未定義。
2. 拆分語句：用 temp = i; i++; a = temp + temp; 使意圖明確。
3. 單元測試驗證：跨語言移植代碼時，對涉及自增的表達式編寫測試用例。
4. 啟用編譯器警告：GCC -Wsequence-point、Clang -Wunsequenced 可檢測可疑用法。

總結

Java 採用臨時變量模型，副作用立即生效，表達式值取自臨時變量；C/C++ 採用序列點模型，副作用延遲到序列點。C++17 進一步規範了求值順序，但最安全的做法是完全避免在單一表達式中對同一變量進行多次副作用操作。理解這一差異對跨語言開發、代碼移植、面試考察至關重要。

1. 上一篇文章： Topcoder SRM 646 Div1 600：BFS + 剪枝求最大達達標距離
2. 下一篇文章： HDU 5159：期望值線性性質與快速冪優化

關於C++

POJ 2528 Mayor's Posters：離散化 + 線段樹區間染色統計可見海報

題目核心 長度 10⁷ 的牆面，依序貼 n ≤ 10⁴ 張海

Win32 開發入門（7）：非矩形視窗——SetWindowRgn 多邊形視窗實作

SetWindowRgn 改變視窗形狀 預設視窗為矩形，呼叫

ACE_Task 線程管理完全指南：從 C# 到 C++ 的範式轉換

為什麼需要 ACE_Task？ 從 C# 轉戰 C++ 系統

STL 源碼剖析筆記（四）：deque、stack、queue 容器實作詳解

本文基於 SGI STL 源碼，深入剖析雙端佇列 deque