Java 自增運算符陷阱深度解析：i=i++ 與 i=++i 的區別

前言

Java 中的自增運算符（++）看似簡單，但 i = i++ 與 i = ++i 的行為差異常讓開發者困惑。本文通過字節碼級分析揭示其內部機制，並對比 C/C++ 的不同行為。

現象演示

public class Inc {
    public static void main(String[] args) {
        Inc inc = new Inc();
        int i = 0;
        inc.fermin(i);
        i = i++;
        System.out.println(i); // 輸出 0
    }
    void fermin(int i) {
        i++;
    }
}

結果：0（若為 C/C++ 則輸出 1）

核心原因：JVM 臨時變量機制

Java 編譯器為表達式求值引入了臨時變量（操作數棧槽位），導致賦值與自增的順序固化：

• i = i++ 等價於：
  1. temp = i（保存舊值）
  2. i = i + 1（自增）
  3. i = temp（將舊值寫回，覆蓋自增結果）
• i = ++i 等價於：
  1. i = i + 1（先自增）
  2. temp = i（保存新值）
  3. i = temp（寫回新值）

JVM 執行步驟詳解（以 i=i++ 為例）

1. JVM 將 i 的值（0）拷貝到臨時變量區（temp=0）。
2. 變量區 i 自增，值變為 1。
3. 從臨時變量區讀取值（仍為 0）。
4. 將該值賦給變量區 i，最終 i 重置為 0。

對比 C/C++ 行為

C/C++ 無額外臨時變量，所有操作在同一內存地址完成，故 i = i++ 結果為 1（未定義行為，編譯器實現不同）。

最佳實踐建議

• 避免在同一表達式中對同一變量多次修改，拆分為多條語句：

// 推薦寫法
i++;
int result = i; // 或直接使用 i

• 若需使用自增結果，優先使用前綴 ++i。
• 代碼審查時重點檢查此類表達式。

總結

Java 的 i = i++ 因引入臨時變量導致自增結果被覆蓋，最終值不變。理解 JVM 表達式求值機制有助於編寫無歧義、可維護的代碼。