概述

        Java語言中，提供了一套數據集合框架，其中定義了一些諸如List、Set等抽象數據類型，每個抽象數據類型的各個具體實現，底層又採用了不同的實現方式，比如ArrayList和LinkedList。

        除此之外，Java對於數據集合的遍歷，也提供了幾種不同的方式。開發人員必須要清楚的明白每一種遍歷方式的特點、適用場合、以及在不同底層實現上的表現。下麵就詳細分析一下這一塊內容。

數據元素是怎樣在記憶體中存放的？

        數據元素在記憶體中，主要有2種存儲方式：

1、順序存儲，Random Access（Direct Access）：

        這種方式，相鄰的數據元素存放於相鄰的記憶體地址中，整塊記憶體地址是連續的。可以根據元素的位置直接計算出記憶體地址，直接進行讀取。讀取一個特定位置元素的平均時間複雜度為O(1)。正常來說，只有基於數組實現的集合，才有這種特性。Java中以ArrayList為代表。

2、鏈式存儲，Sequential Access：

        這種方式，每一個數據元素，在記憶體中都不要求處於相鄰的位置，每個數據元素包含它下一個元素的記憶體地址。不可以根據元素的位置直接計算出記憶體地址，只能按順序讀取元素。讀取一個特定位置元素的平均時間複雜度為O(n)。主要以鏈表為代表。Java中以LinkedList為代表。

Java中提供的遍歷方式有哪些？

1、傳統的for迴圈遍歷，基於計數器的：

        遍歷者自己在集合外部維護一個計數器，然後依次讀取每一個位置的元素，當讀取到最後一個元素後，停止。主要就是需要按元素的位置來讀取元素。這也是最原始的集合遍歷方法。

寫法為：

for (int i = 0; i < list.size(); i++) {
    list.get(i);
}

2、迭代器遍歷，Iterator：

        Iterator本來是OO的一個設計模式，主要目的就是屏蔽不同數據集合的特點，統一遍歷集合的介面。Java作為一個OO語言，自然也在Collections中支持了Iterator模式。

寫法為：

Iterator iterator = list.iterator();
while (iterator.hasNext()) {
    iterator.next();
}

3、foreach迴圈遍歷：

        屏蔽了顯式聲明的Iterator和計數器。

        優點：代碼簡潔，不易出錯。

        缺點：只能做簡單的遍歷，不能在遍歷過程中操作（刪除、替換）數據集合。

寫法為：

for (ElementType element : list) {
}

每個遍歷方法的實現原理是什麼？

1、傳統的for迴圈遍歷，基於計數器的：

        遍歷者自己在集合外部維護一個計數器，然後依次讀取每一個位置的元素，當讀取到最後一個元素後，停止。主要就是需要按元素的位置來讀取元素。

2、迭代器遍歷，Iterator：

        每一個具體實現的數據集合，一般都需要提供相應的Iterator。相比於傳統for迴圈，Iterator取締了顯式的遍歷計數器。所以基於順序存儲集合的Iterator可以直接按位置訪問數據。而基於鏈式存儲集合的Iterator，正常的實現，都是需要保存當前遍歷的位置。然後根據當前位置來向前或者向後移動指針。

3、foreach迴圈遍歷：

        根據反編譯的位元組碼可以發現，foreach內部也是採用了Iterator的方式實現，只不過Java編譯器幫我們生成了這些代碼。

各遍歷方式對於不同的存儲方式，性能如何？

1、傳統的for迴圈遍歷，基於計數器的：

        因為是基於元素的位置，按位置讀取。所以我們可以知道，對於順序存儲，因為讀取特定位置元素的平均時間複雜度是O(1)，所以遍歷整個集合的平均時間複雜度為O(n)。而對於鏈式存儲，因為讀取特定位置元素的平均時間複雜度是O(n)，所以遍歷整個集合的平均時間複雜度為O(n2)（n的平方）。

ArrayList按位置讀取的代碼：直接按元素位置讀取。

transient Object[] elementData;

public E get(int index) {
    rangeCheck(index);
    return elementData(index);
}

E elementData(int index) {
    return (E) elementData[index];
}

LinkedList按位置讀取的代碼：每次都需要從第0個元素開始向後讀取。其實它內部也做了小小的優化。

transient int size = 0;
transient Node<E> first;
transient Node<E> last;

public E get(int index) {
    checkElementIndex(index);
    return node(index).item;
}

Node<E> node(int index) {
    if (index < (size >> 1)) {   //查詢位置在鏈表前半部分，從鏈表頭開始查找
        Node<E> x = first;
        for (int i = 0; i < index; i++)
            x = x.next;
        return x;
    } else {                     //查詢位置在鏈表後半部分，從鏈表尾開始查找
        Node<E> x = last;
        for (int i = size - 1; i > index; i--)
            x = x.prev;
        return x;
    }
}

2、迭代器遍歷，Iterator：

        那麼對於RandomAccess類型的集合來說，沒有太多意義，反而因為一些額外的操作，還會增加額外的運行時間。但是對於Sequential Access的集合來說，就有很重大的意義了，因為Iterator內部維護了當前遍歷的位置，所以每次遍歷，讀取下一個位置並不需要從集合的第一個元素開始查找，只要把指針向後移一位就行了，這樣一來，遍歷整個集合的時間複雜度就降低為O(n)；

        （這裡只用LinkedList做例子）LinkedList的迭代器，內部實現，就是維護當前遍歷的位置，然後操作指針移動就可以了：

代碼：

public E next() {
    checkForComodification();
    if (!hasNext())
        throw new NoSuchElementException();

    lastReturned = next;
    next = next.next;
    nextIndex++;
    return lastReturned.item;
}

public E previous() {
    checkForComodification();
    if (!hasPrevious())
        throw new NoSuchElementException();

    lastReturned = next = (next == null) ? last : next.prev;
    nextIndex--;
    return lastReturned.item;
}

3、foreach迴圈遍歷：

        分析Java位元組碼可知，foreach內部實現原理，也是通過Iterator實現的，只不過這個Iterator是Java編譯器幫我們生成的，所以我們不需要再手動去編寫。但是因為每次都要做類型轉換檢查，所以花費的時間比Iterator略長。時間複雜度和Iterator一樣。

使用Iterator的位元組碼：

    Code:
       0: new           #16                 // class java/util/ArrayList
       3: dup
       4: invokespecial #18                 // Method java/util/ArrayList."<init>":()V
       7: astore_1
       8: aload_1
       9: invokeinterface #19,  1           // InterfaceMethod java/util/List.iterator:()Ljava/util/Iterator;
      14: astore_2
      15: goto          25
      18: aload_2
      19: invokeinterface #25,  1           // InterfaceMethod java/util/Iterator.next:()Ljava/lang/Object;
      24: pop
      25: aload_2
      26: invokeinterface #31,  1           // InterfaceMethod java/util/Iterator.hasNext:()Z
      31: ifne          18
      34: return

使用foreach的位元組碼：

    Code:
       0: new           #16                 // class java/util/ArrayList
       3: dup
       4: invokespecial #18                 // Method java/util/ArrayList."<init>":()V
       7: astore_1
       8: aload_1
       9: invokeinterface #19,  1           // InterfaceMethod java/util/List.iterator:()Ljava/util/Iterator;
      14: astore_3
      15: goto          28
      18: aload_3
      19: invokeinterface #25,  1           // InterfaceMethod java/util/Iterator.next:()Ljava/lang/Object;
      24: checkcast     #31                 // class loop/Model
      27: astore_2
      28: aload_3
      29: invokeinterface #33,  1           // InterfaceMethod java/util/Iterator.hasNext:()Z
      34: ifne          18
      37: return

各遍歷方式的適用於什麼場合？

1、傳統的for迴圈遍歷，基於計數器的：

        順序存儲：讀取性能比較高。適用於遍歷順序存儲集合。

        鏈式存儲：時間複雜度太大，不適用於遍歷鏈式存儲的集合。

2、迭代器遍歷，Iterator：

        順序存儲：如果不是太在意時間，推薦選擇此方式，畢竟代碼更加簡潔，也防止了Off-By-One的問題。

        鏈式存儲：意義就重大了，平均時間複雜度降為O(n)，還是挺誘人的，所以推薦此種遍歷方式。

3、foreach迴圈遍歷：

        foreach只是讓代碼更加簡潔了，但是他有一些缺點，就是遍歷過程中不能操作數據集合（刪除等），所以有些場合不使用。而且它本身就是基於Iterator實現的，但是由於類型轉換的問題，所以會比直接使用Iterator慢一點，但是還好，時間複雜度都是一樣的。所以怎麼選擇，參考上面兩種方式，做一個折中的選擇。

Java的最佳實踐是什麼？

        Java數據集合框架中，提供了一個RandomAccess介面，該介面沒有方法，只是一個標記。通常被List介面的實現使用，用來標記該List的實現是否支持Random Access。

        一個數據集合實現了該介面，就意味著它支持Random Access，按位置讀取元素的平均時間複雜度為O(1)。比如ArrayList。

        而沒有實現該介面的，就表示不支持Random Access。比如LinkedList。

        所以看來JDK開發者也是註意到這個問題的，那麼推薦的做法就是，如果想要遍歷一個List，那麼先判斷是否支持Random Access，也就是 list instanceof RandomAccess。

比如：

if (list instanceof RandomAccess) {
    //使用傳統的for迴圈遍歷。
} else {
    //使用Iterator或者foreach。
}