1. 程式人生 > >高效遍歷Java容器

高效遍歷Java容器

通過本文,你可以更深入的學習 Java 語言中 forEach 語法的知識,以及它和 C 語言形式的 for 迴圈、 Steam API 的對比。

簡介

Java 程式設計師經常使用容器,比如 ArrayList 和 HashSet。Java 8 中的 lambda 語法和 steaming API 可以讓我們更方便的使用容器。大部分情況下,我們僅僅處理幾千個元素,也不會去考慮效能問題。但是,在一些極端場景下,如果我們需要遍歷上百萬個元素,效能問題就凸顯出來了。

本文將採用 JMH 計算每塊程式碼的執行時間。

forEach vs. C Style vs. Stream API

遍歷是一個基本的功能。所有程式語言都提供了簡單的語法,讓程式設計師去遍歷容器。

Steam API 以一種非常直接的形式來遍歷容器。

public List<Integer> streamSingleThread(BenchMarkState state){
   List<Integer> result = new ArrayList<>(state.testData.size());
   state.testData.stream().forEach(item -> {
       result.add(item);
   });
   return result;
}
public List<Integer> streamMultiThread(BenchMarkState state){
   List<Integer> result = new ArrayList<>(state.testData.size());
   state.testData.stream().parallel().forEach(item -> {
       result.add(item);
   });
   return result;
}

forEach 迴圈也很簡單:

public List<Integer> forEach(BenchMarkState state){
 List<Integer> result = new ArrayList<>(state.testData.size());
 for(Integer item : state.testData){
   result.add(item);
 }
 return result;
}

C 語言形式的 for 迴圈囉嗦一些,不過依然很緊湊:

public List<Integer> forCStyle(BenchMarkState state){
 int size = state.testData.size();
 List<Integer> result = new ArrayList<>(size);
 for(int j = 0; j < size; j ++){
   result.add(state.testData.get(j));
 }
 return result;
}

以下是效能報告:

Benchmark                               Mode  Cnt   Score   Error  Units
TestLoopPerformance.forCStyle           avgt  200  18.068 ± 0.074  ms/op
TestLoopPerformance.forEach             avgt  200  30.566 ± 0.165  ms/op
TestLoopPerformance.streamMultiThread   avgt  200  79.433 ± 0.747  ms/op
TestLoopPerformance.streamSingleThread  avgt  200  37.779 ± 0.485  ms/op

使用 C 語言形式的 for 迴圈,JVM 每次僅僅增加一個數字,然後直接從記憶體裡讀出資料。這使得它非常迅速。但是 forEach 就大不一樣,根據 StackOverFlow 的這篇回答(https://stackoverflow.com/questions/85190/how-does-the-java-for-each-loop-work/85206#85206),和 Oracle 的文章(https://docs.oracle.com/javase/1.5.0/docs/guide/language/foreach.html),JVM 需要把 forEach 轉換成一個 iterator,然後每個元素都呼叫一次 hasNext() 方法。這就是 forEach 比 C 語言的形式慢一些的原因。

哪一個是遍歷 Set 最高效的方法呢?

我們先定義測試資料集:

@State(Scope.Benchmark)
public static class BenchMarkState {

   public Set<Integer> testData = new HashSet<>(500000);

   @Setup(Level.Trial)
   public void doSetup() {
       for(int i = 0; i < 500000; i++){
           testData.add(Integer.valueOf(i));
       }
   }

   @TearDown(Level.Trial)
   public void doTearDown() {
       testData = new HashSet<>(500000);
   }

}

Java 中的 Set 也支援 Steam API 和 forEach 迴圈。參考之前的測試,如果我們把 Set 轉換成 ArrayList,然後遍歷 ArrayList,或許效能會好一些?

public List<Integer> forCStyle(BenchMarkState state){
   int size = state.testData.size();
   List<Integer> result = new ArrayList<>(size);
   Integer[] temp = (Integer[]) state.testData.toArray(new Integer[size]);
   for(int j = 0; j < size; j ++){
       result.add(temp[j]);
   }
   return result;
}

如果把 iterator 和 C 語言形式結合起來呢?

public List<Integer> forCStyleWithIteration(BenchMarkState state){
   int size = state.testData.size();
   List<Integer> result = new ArrayList<>(size);
   Iterator<Integer> iteration = state.testData.iterator();
   for(int j = 0; j < size; j ++){
       result.add(iteration.next());
   }
   return result;

}

或者,簡單的遍歷怎麼樣?

public List<Integer> forEach(BenchMarkState state){
   List<Integer> result = new ArrayList<>(state.testData.size());
   for(Integer item : state.testData) {
       result.add(item);
   }
   return result;
}

這個主意不錯,不過它的效率也不高,因為初始化一個新的 ArrayList 同樣需要消耗資源。

Benchmark                                   Mode  Cnt  Score   Error  Units
TestLoopPerformance.forCStyle               avgt  200  6.013 ± 0.108  ms/op
TestLoopPerformance.forCStyleWithIteration  avgt  200  4.281 ± 0.049  ms/op
TestLoopPerformance.forEach                 avgt  200  4.498 ± 0.026  ms/op

HashMap (使用 HashMap<E,Object> 的 HashSet) 不是為遍歷所有元素設計的。遍歷一個 HashMap 最快的方法是把 Iterator 和 C 語言形式結合起來,這樣 JVM 就不會去呼叫 hasNext()。

結論

Foreach 和 Steam API 用來處理集合是很方便的。你可以更快的寫程式碼。不過,如果你的系統很穩定,效能是一個主要的考量,你應該考慮一下重寫你的迴圈。