Java 增強型 for 循環深度解析：語法糖原理、等價轉換與集合遍歷最佳實踐

JDK 1.5 引入的 增強型 for 循環，是 Java 語法糖中最高頻、最實用的一個。本文從語法定義、字節碼等價轉換、數組與集合遍歷差異、泛型配合、常見陷阱五個維度，徹底講透這個「每天都在用、未必真懂」的語法特性。

一、語法定義

for (ElementType element : arrayOrIterable) {
    // loop body
}

• ElementType：元素類型，數組為組件類型，集合為泛型參數類型
• element：局部變量，每次迭代賦值為當前元素
• arrayOrIterable：數組或實現 Iterable 接口的對象

二、字節碼層面的等價轉換

1. 數組遍歷：基於索引的普通 for

// 源碼
int[] nums = {1,2,3,4,5,6};
for (int n : nums) {
    System.out.print(n);
}

// javac 編譯後等價邏輯 (偽代碼)
int[] nums = {1,2,3,4,5,6};
for (int i = 0; i < nums.length; i++) {
    int n = nums[i];  // 關鍵：先賦值給局部變量
    System.out.print(n);
}

結論：數組增強 for 零額外開銷，純語法糖，編譯器直接展開為索引循環。

2. 集合遍歷：基於 Iterator 模式

// 源碼
List list = new ArrayList<>();
for (Integer n : list) {
    System.out.print(n);
}

// 等價邏輯
List list = new ArrayList<>();
for (Iterator it = list.iterator(); it.hasNext(); ) {
    Integer n = it.next();
    System.out.print(n);
}

關鍵點：

• 編譯器插入 iterator() 調用與 hasNext/next 循環
• 循環變量 n 在循環體外聲明 (JDK 1.5-1.7) 或循環體內 (JDK 8+)，影響閉包捕獲行為
• 不支援並發修改：迭代過程中結構性修改會拋 ConcurrentModificationException

三、泛型配合：類型安全的保障

List list = new ArrayList<>();
list.add("a"); list.add("b");

// 無泛型時：element 類型為 Object，需強轉
// 有泛型時：element 直接為 String，編譯期類型檢查
for (String s : list) {
    System.out.println(s.length()); // 直接調用 String 方法
}

增強 for + 泛型 = 消除 ClassCastException 風險，是現代 Java 代碼的標準寫法。

四、三大核心限制與應對

| 限制 | 說明 | 應對方案 | |------|------|----------| | 無法獲取索引 | 循環變量只有元素值 | 需索引時用普通 for 或 IntStream.range | | 無法移除元素 | 直接 list.remove() 拋 CME | 用 Iterator.remove() 或 list.removeIf() (Java 8) | | 無法替換元素 | 賦值 element = newVal 只改局部變量 | 用索引 list.set(i, newVal) 或流操作 |

五、實戰最佳實踐

1. 優先使用增強 for：只讀遍歷、無需索引、無需修改結構時，可讀性最高
2. 配合流式 API (Java 8+)：需過濾/映射/聚合時，list.stream().filter(...).forEach(...) 更聲明式
3. 避免在循環中修改被遍歷集合：若需邊遍歷邊刪，用 Iterator 或 removeIf
4. 基本類型數組優先：int[] 增強 for 無裝箱開銷，List 有裝箱/拆箱
5. 循環變量作用域最小化：JDK 8+ 編譯器將循環變量限制在循環體內，避免外部誤用

六、性能對比 (JMH 基準測試參考)

| 場景 | 增強 for | 普通 for (索引) | Iterator 顯式 | Stream.forEach | |------|----------|-----------------|---------------|----------------| | int[] 遍歷 | 1.0x (基準) | 1.0x | N/A | 1.3x | | ArrayList 遍歷 | 1.0x | 0.9x (避免 iterator 分配) | 1.1x | 1.5x | | LinkedList 遍歷 | 1.0x | 5.0x+ (隨機訪問 O(n²)) | 1.0x | 1.2x |

結論：增強 for 性能與手寫優化代碼持平，LinkedList 僅適合增強 for/Iterator，嚴禁索引訪問。

七、總結

增強型 for 循環是 Java 為「遍歷」這一高頻操作定制的語法糖：

• 數組 → 索引循環，零開銷
• 集合 → Iterator 模式，統一語義
• 泛型 → 編譯期類型安全
• 限制 → 無索引、無結構修改、無替換

掌握其編譯原理與適用邊界，才能在代碼審查中自信地說：「這裡用增強 for 是最佳選擇，因為...」