J2SE 1.5提供了另一種形式的for迴圈。藉助這種形式的for迴圈，可以用更簡單地方式來遍歷陣列和Collection等型別的物件。本文介紹使用這種迴圈的具體方式，說明如何自行定義能被這樣遍歷的類，並解釋和這一機制的一些常見問題。

在Java程式中，要“逐一處理”――或者說，“遍歷”――某一個數組或Collection中的元素的時候，一般會使用一個for迴圈來實現（當然，用其它種類的迴圈也不是不可以，只是不知道是因為for這個詞的長度比較短，還是因為for這個詞的含義和這種操作比較配，在這種時候for迴圈比其它迴圈常用得多）。

對於遍歷陣列，這個迴圈一般是採取這樣的寫法：

清單1：遍歷陣列的傳統方式

/* 建立一個數組 */

int[] integers = {1， 2， 3， 4};

/* 開始遍歷 */

for (int j = 0; j<integers.length; j++){

int i = integers[j];

System.out.println(i);

}

而對於遍歷Collection物件，這個迴圈則通常是採用這樣的形式：

清單2：遍歷Collection物件的傳統方式

/* 建立一個Collection */

String[] strings = {"A"， "B"， "C"， "D"};

Collection stringList = java.util.Arrays.asList(strings);

/* 開始遍歷 */

for (Iterator itr = stringList.iterator(); itr.hasNext();) {

Object str = itr.next();

System.out.println(str);

}

而在Java語言的最新版本――J2SE 1.5中，引入了另一種形式的for迴圈。藉助這種形式的for迴圈，現在可以用一種更簡單地方式來進行遍歷的工作。

1. 第二種for迴圈

不嚴格的說，Java的第二種for迴圈基本是這樣的格式：

for (迴圈變數型別 迴圈變數名稱 : 要被遍歷的物件) 迴圈體

藉助這種語法，遍歷一個數組的操作就可以採取這樣的寫法：

清單3：遍歷陣列的簡單方式

/* 建立一個數組 */

int[] integers = {1， 2， 3， 4};

/* 開始遍歷 */

for (int i : integers) {

System.out.println(i);/* 依次輸出“1”、“2”、“3”、“4” */

}

這裡所用的for迴圈，會在編譯期間被看成是這樣的形式：

清單4：遍歷陣列的簡單方式的等價程式碼

/* 建立一個數組 */

int[] integers = {1， 2， 3， 4};

/* 開始遍歷 */

for (int 變數名甲 = 0; 變數名甲<integers.length; 變數名甲++)="" {

System.out.println(integers[變數名甲]);/* 依次輸出“1”、“2”、“3”、“4” */

}

這裡的“變數名甲”是一個由編譯器自動生成的不會造成混亂的名字。

而遍歷一個Collection的操作也就可以採用這樣的寫法：

清單5：遍歷Collection的簡單方式

/* 建立一個Collection */

String[] strings = {"A"， "B"， "C"， "D"};

Collection list = java.util.Arrays.asList(strings);

/* 開始遍歷 */

for (Object str : list) {

System.out.println(str);/* 依次輸出“A”、“B”、“C”、“D” */

}

這裡所用的for迴圈，則會在編譯期間被看成是這樣的形式：

清單6：遍歷Collection的簡單方式的等價程式碼

/* 建立一個Collection */

String[] strings = {"A"， "B"， "C"， "D"};

Collection stringList = java.util.Arrays.asList(strings);

/* 開始遍歷 */

for (Iterator 變數名乙 = list.iterator(); 變數名乙.hasNext();) {

Object str = 變數名乙.next();

System.out.println(str);/* 依次輸出“A”、“B”、“C”、“D” */

}

這裡的“變數名乙”也是一個由編譯器自動生成的不會造成混亂的名字。

因為在編譯期間，J2SE 1.5的編譯器會把這種形式的for迴圈，看成是對應的傳統形式，所以不必擔心出現效能方面的問題。

不用“foreach”和“in”的原因

Java採用“for”（而不是意義更明確的“foreach”）來引導這種一般被叫做“for-each迴圈”的迴圈，並使用“:”（而不是意義更明確的“in”）來分割迴圈變數名稱和要被遍歷的物件。這樣作的主要原因，是為了避免因為引入新的關鍵字，造成相容性方面的問題――在Java語言中，不允許把關鍵字當作變數名來使用，雖然使用“foreach”這名字的情況並不是非常多，但是“in”卻是一個經常用來表示輸入流的名字（例如java.lang.System類裡，就有一個名字叫做“in”的static屬性，表示“標準輸入流”）。

的確可以通過巧妙的設計語法，讓關鍵字只在特定的上下文中有特殊的含義，來允許它們也作為普通的識別符號來使用。不過這種會使語法變複雜的策略，並沒有得到廣泛的採用。

“for-each迴圈”的悠久歷史

“for-each迴圈”並不是一個最近才出現的控制結構。在1979正式釋出的Bourne shell（第一個成熟的UNIX命令直譯器）裡就已經包含了這種控制結構（迴圈用“for”和“in”來引導，迴圈體則用“do”和“done”來標識）。

2. 防止在迴圈體裡修改迴圈變數

在預設情況下，編譯器是允許在第二種for迴圈的迴圈體裡，對迴圈變數重新賦值的。不過，因為這種做法對迴圈體外面的情況絲毫沒有影響，又容易造成理解程式碼時的困難，所以一般並不推薦使用。

Java提供了一種機制，可以在編譯期間就把這樣的操作封殺。具體的方法，是在迴圈變數型別前面加上一個“final”修飾符。這樣一來，在迴圈體裡對迴圈變數進行賦值，就會導致一個編譯錯誤。藉助這一機制，就可以有效的杜絕有意或無意的進行“在迴圈體裡修改迴圈變數”的操作了。

清單7：禁止重新賦值

int[] integers = {1， 2， 3， 4};

for (final int i : integers) {

i = i / 2; /* 編譯時出錯 */

}

注意，這只是禁止了對迴圈變數進行重新賦值。給迴圈變數的屬性賦值，或者呼叫能讓迴圈變數的內容變化的方法，是不被禁止的。

清單8：允許修改狀態

Random[] randoms = new Random[]{new Random(1)， new Random(2)， new Random(3)};

for (final Random r : randoms) {

r.setSeed(4);/* 將所有Random物件設成使用相同的種子 */

System.out.println(r.nextLong());/* 種子相同，第一個結果也相同 */

}

3. 型別相容問題

為了保證迴圈變數能在每次迴圈開始的時候，都被安全的賦值，J2SE 1.5對迴圈變數的型別有一定的限制。這些限制之下，迴圈變數的型別可以有這樣一些選擇：

迴圈變數的型別可以和要被遍歷的物件中的元素的型別相同。例如，用int型的迴圈變數來遍歷一個int[]型的陣列，用Object型的迴圈變數來遍歷一個Collection等。

清單9：使用和要被遍歷的陣列中的元素相同型別的迴圈變數

int[] integers = {1， 2， 3， 4};

for (int i : integers) {

System.out.println(i);/* 依次輸出“1”、“2”、“3”、“4” */

}

清單10：使用和要被遍歷的Collection中的元素相同型別的迴圈變數

Collection< String> strings = new ArrayList< String>();

strings.add("A");

strings.add("B");

strings.add("C");

strings.add("D");

for (String str : integers) {

System.out.println(str);/* 依次輸出“A”、“B”、“C”、“D” */

}

迴圈變數的型別可以是要被遍歷的物件中的元素的上級型別。例如，用int型的迴圈變數來遍歷一個byte[]型的陣列，用Object型的迴圈變數來遍歷一個Collection< String>（全部元素都是String的Collection）等。

清單11：使用要被遍歷的物件中的元素的上級型別的迴圈變數

String[] strings = {"A"， "B"， "C"， "D"};

Collection< String> list = java.util.Arrays.asList(strings);

for (Object str : list) {

System.out.println(str);/* 依次輸出“A”、“B”、“C”、“D” */

}

迴圈變數的型別可以和要被遍歷的物件中的元素的型別之間存在能自動轉換的關係。J2SE 1.5中包含了“Autoboxing/Auto-Unboxing”的機制，允許編譯器在必要的時候，自動在基本型別和它們的包裹類（Wrapper Classes）之間進行轉換。因此，用Integer型的迴圈變數來遍歷一個int[]型的陣列，或者用byte型的迴圈變數來遍歷一個Collection< Byte>，也是可行的。

清單12：使用能和要被遍歷的物件中的元素的型別自動轉換的型別的迴圈變數

int[] integers = {1， 2， 3， 4};

for (Integer i : integers) {

System.out.println(i);/* 依次輸出“1”、“2”、“3”、“4” */

}

注意，這裡說的“元素的型別”，是由要被遍歷的物件的決定的――如果它是一個Object[]型的陣列，那麼元素的型別就是Object，即使裡面裝的都是String物件也是如此。

可以限定元素型別的Collection

截至到J2SE 1.4為止，始終無法在Java程式裡限定Collection中所能儲存的物件的型別――它們全部被看成是最一般的Object物件。一直到J2SE 1.5中，引入了“泛型（Generics）”機制之後，這個問題才得到瞭解決。現在可以用Collection< T>來表示全部元素型別都是T的Collection。