在默認情況下，編譯器是允許在第二種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” */
}
循環變量的類型可以是要被遍歷的對象中的元素的上級類型。例如，用int型的循環變量來遍歷一個byte[]型的數組，用Object型的循環變量來遍歷一個Collection<String>（全部元素都是String的Collection）等。
清單10：使用要被遍歷的對象中的元素的上級類型的循環變量
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>，也是可行的。
清單11：使用能和要被遍歷的對象中的元素的類型自動轉換的類型的循環變量
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，如Collection<String>、Collection<Integer>等。不過這裡的T不能是一個簡單類型，象Collection<int>之類的寫法是不被認可的。
