Java 增強 for 迴圈原理驗證：編譯器語法糖與位元碼分析

兩種 for 迴圈寫法

1. 傳統 for(init; condition; update)
2. 增強 for（JDK 5+）：for(Type item : collection)

實驗設計

對比四組方法的編譯位元碼：

• superForeachTestArray：陣列增強 for
• foreachTestArray：陣列傳統 for（手寫等效邏輯）
• superForeachTestIterator：List 增強 for
• foreachTestIterator：Iterator 手寫遍歷

關鍵發現：位元碼完全一致

使用 javap -v 反編譯 ForeachTest.class：

• 陣列增強 for 編譯後位元碼（第 86-121 行）逐指令對應 手寫傳統 for（第 137-172 行）
• List 增強 for 編譯後位元碼（第 191-222 行）逐指令對應 手寫 Iterator 遍歷（第 237-268 行）

結論

1. 增強 for 是編譯期語法糖，不存在執行期機制。
2. 支援增強 for 的兩類型別：
   • 陣列：編譯器轉換為索引存取迴圈（arraylength、aaload）
   • 實作 Iterable 介面：編譯器轉換為 iterator() → hasNext()/next() 迴圈
3. Iterator 模式優勢：安全性（fail-fast）、抽象解耦（統一遍歷介面）

位元碼片段對照

陣列版本核心指令

aload_1          // 載入陣列參考
arraylength      // 取得長度
istore_2         // 存入區域變數
iconst_0         // i = 0
istore_3
iload_3          // 載入 i
iload_2          // 載入 length
if_icmpge 46     // i >= length 跳出
aload_1          // 載入陣列
iload_3          // 載入 i
aaload           // 取得元素
astore 4         // 存入區域變數 s
...              // 呼叫 println
iinc 3, 1        // i++
goto 22          // 回頭判斷

Iterator 版本核心指令

aload_0          // 載入 List
invokeinterface iterator()  // 取得 Iterator
astore_1
aload_1
invokeinterface hasNext()   // 檢查是否有下一個
ifeq 54          // 無則跳出
aload_1
invokeinterface next()      // 取得下一個
checkcast String // 型別檢查
astore_2
...              // 呼叫 println
goto 25          // 回頭判斷

實務啟示

• 增強 for 無額外效能負擔，放心使用提升可讀性
• 陣列版本避免建立 Iterator 物件，極微量更快
• 若需移除元素，必須使用 Iterator.remove()，增強 for 會拋 ConcurrentModificationException