Java ArrayList 遍歷方式性能深度對比：Iterator、For-Each、索引循環實測分析

前言

`ArrayList` 是 Java 最常用的集合，遍歷操作無處不在。常見四種遍歷方式：**Iterator 顯式、for-each 隱式 Iterator、傳統索引 for 循環、Lambda forEach (JDK 8+)**。它們在字節碼層面、JIT 優化程度、邊界檢查消除上有何差異？本文通過源碼分析、JMH 基準測試數據、JIT 編譯原理，給出**生產環境選型建議**。

四種遍歷方式代碼對照

List list = new ArrayList<>(1_000_000); // 填充數據
// ... 填充代碼省略

// 1. 顯式 Iterator (while)
Iterator it = list.iterator();
while (it.hasNext()) { String s = it.next(); /* 操作 */ }

// 2. for-each (語法糖，編譯後同 1)
for (String s : list) { /* 操作 */ }

// 3. 傳統索引 for 循環
for (int i = 0, size = list.size(); i < size; i++) { 
    String s = list.get(i); /* 操作 */ 
}

// 4. Lambda forEach (JDK 8+)
list.forEach(s -> { /* 操作 */ });

字節碼與 JIT 深度解析

1. for-each = 顯式 Iterator (編譯期等價)

Java 編譯器將 for-each **脫糖** 為 Iterator 模式：

// 源碼
for (String s : list) { ... }

// 編譯後等價字節碼邏輯
Iterator it = list.iterator();
while (it.hasNext()) {
    String s = it.next();
    ...
}

**結論**：方式 1 和 2 **性能完全一致**，選擇純粹看代碼風格偏好 (for-each 更簡潔)。

2. 索引循環 vs Iterator：核心差異

3. Lambda forEach (JDK 8+)

• 內部調用 `ArrayList.forEach(Consumer)` → 迭代器模式 + 消費者調用。
• 引入 Lambda 實例開銷 (逃逸分析通常消除)、接口調用開銷。
• **性能略遜於 for-each/索引**，但代碼最簡潔、支持並行流 `parallelStream()`。

JMH 基準測試實測數據 (參考值，環境：JDK 17, JIT 預熱充分)

生產環境選型決策樹

1. 純只讀遍歷、極致性能敏感 (熱點循環、大數據量) → 傳統索引 for 循環 (`for (int i=0, n=list.size(); i理由：零對象分配、極易向量化、邊界檢查完全消除、無 modCount 讀取。
2. 通用業務代碼、可讀性優先、無特殊性能瓶頸 → for-each (增強 for 循環)。
   理由：語法最簡潔、語義清晰、性能與 Iterator 等價、現代 JIT 優化後與索引循環差距可忽略。
3. 遍歷中需安全移除元素 → 顯式 Iterator + `it.remove()` 或 `ListIterator`。
   理由：唯一安全修改結構的標準方式。
4. 需並行處理、函數式風格、鏈式操作 (filter/map/reduce) → Stream API (`list.stream()` / `parallelStream()`)。
   理由：聲明式、可並行、組合豐富，性能開銷可接受。
5. 避免：在高頻熱點循環中使用 `list.forEach(lambda)` (微小開銷)、手寫 `while(it.hasNext())` (無優勢、碼多)。

ArrayList vs LinkedList 遍歷性能警示

• ArrayList：索引循環 O(1) 隨機訪問，**極快**；Iterator 順序訪問，**極快**。
• LinkedList：索引循環 `get(i)` 是 **O(n) 線性查找**，遍歷整體 **O(n²) 災難**！
  **LinkedList 必須用 Iterator/for-each/forEach (O(n) 總體)**。

鐵律：代碼中遍歷 List 介面時，若不確定具體實現，統一用 for-each/Iterator，絕不直接用索引循環。

總結

ArrayList 遍歷性能結論：**索引循環 ≈ for-each/Iterator > Lambda forEach (微差)**。現代 JIT (C2 編譯器、逃逸分析、循環展開、向量化) 已將高級抽象 (Iterator/for-each) 優化至接近裸數組訪問性能。**除非經證實是性能瓶頸熱點，優先選擇 for-each 享受最佳可讀性/安全性平衡**。理解底層機制，是為了在真正關鍵時做正確取捨，而非盲目優化。