Java 後置遞增陷阱：i = i++ 為何結果為 0？深入解析位元碼機制

前言：一個看似簡單的面試題

你能在不運行程式碼的情況下，準確說出以下程式碼的輸出結果嗎？

int i = 0;
i = i++;
System.out.println(i); // 輸出什麼？

許多開發者直覺會回答 1，但實際運行結果卻是 0。這背後隱藏著 Java 賦值運算與後置遞增運算子優先級的微妙互動。本文將透過位元碼層面的對比，為你揭開謎底。

位元碼視角的對比分析

我們對比兩段程式碼及其對應的 JVM 位元碼（使用 javap -c 獲取）：

案例一：i = i++

0: iconst_0
1: istore_2
2: iload_2       // 將區域變量 2 (i) 的值 0 壓入操作數棧
3: iinc 2, 1     // 將區域變量 2 (i) 自增 1 (i 變為 1)
4: istore_2       // 將操作數棧頂的值 (0) 存回區域變量 2 (i 變回 0)
5: return

案例二：i = ++i

0: iconst_0
1: istore_2
2: iinc 2, 1     // 先自增 (i 變為 1)
3: iload_2       // 再將區域變量 2 的值 (1) 壓入操作數棧
4: istore_2       // 存回區域變量 2 (i 保持 1)
5: return

核心差異：指令順序與臨時變量機制

關鍵差異在於位元碼的第 2、3 行指令順序。這反映了 Java 中賦值運算 = 的執行機制：先計算右側表達式的值（使用臨時變量/操作數棧），再將結果賦給左側變量。

• 後置遞增 (i++)：優先級低於賦值運算。執行時，先將 i 原值 (0) 壓入棧（iload_2），再執行自增（iinc），最後將棧中舊值 (0) 存回 i（istore_2）。自增操作作用於區域變量，但最終賦值覆蓋了它。
• 前置遞增 (++i)：優先級高於賦值運算。執行時，先自增（iinc），再將新值 (1) 壓入棧（iload_2），最後存回（istore_2）。結果符合預期。

總結

Java 的賦值運算遵循「先計算右值，後賦左值」的原則，右值計算過程中產生的中間結果保存在操作數棧（相當於臨時變量）。對於 i = i++，右值計算捕獲的是遞增前的值，導致最終賦值將變量恢復為舊值。理解位元碼執行流程，能幫助我們避開此類語言陷阱，寫出更確定的程式碼。