在Java程序中，要“逐一处理”――或者说，“遍历”――某一个数组或Collection中的元素的时候，一般会使用一个for循环来实现（当然，用其它种类的循环也不是不可以，只是不知道是因为for这个词的长度比较短，还是因为for这个词的含义和这种操作比较配，在这种时候for循环比其它循环常用得多）。
对于遍历数组，这个循环一般是采取这样的写法：
清单1：遍历数组的传统方式
1 /* 建立一个数组 */ 2 int[] integers = {1， 2， 3， 4}; 3 /* 开始遍历 */ 4 for (int j = 0; j<integers.length; j++){ 5 int i = integers[j]; 6 System.out.println(i); 7 }
而对于遍历Collection对象，这个循环则通常是采用这样的形式：
清单2：遍历Collection对象的传统方式
1 /* 建立一个Collection */ 2 String[] strings = {"A"， "B"， "C"， "D"}; 3 Collection stringList = java.util.Arrays.asList(strings){ 4 /* 开始遍历 */ 5 for (Iterator itr = stringList.iterator(); itr.hasNext();) { 6 Object str = itr.next(); 7 System.out.println(str); 8 }
第二种for循环
不严格的说，Java的第二种for循环基本是这样的格式：for (循环变量类型 循环变量名称 : 要被遍历的对象) 循环体借助这种语法，遍历一个数组的操作就可以采取这样的写法：
清单3：遍历数组的简单方式‘
第二个是编译器在编译时第一段代码的等价代码。
1 /* 建立一个数组 */ 2 int[] integers = {1， 2， 3， 4}; 3 /* 开始遍历 */ 4 for (int i : integers) { 5 System.out.println(i);/* 依次输出“1”、“2”、“3”、“4” */ 6 }
1 /* 建立一个数组 */ 2 int[] integers = {1， 2， 3， 4}; 3 /* 开始遍历 */ 4 for (int 变量名甲 = 0; 变量名甲<integers.length; 变量名甲++)="" { 5 System.out.println(integers[变量名甲]);/* 依次输出“1”、“2”、“3”、“4” */ 6 }
清单4：遍历Collection的简单方式
1 /* 建立一个Collection */ 2 String[] strings = {"A"， "B"， "C"， "D"}; 3 Collection list = java.util.Arrays.asList(strings); 4 /* 开始遍历 */ 5 for (Object str : list) { 6 System.out.println(str);/* 依次输出“A”、“B”、“C”、“D” */ 7 }
这里所用的for循环，则会在编译期间被看成是这样的形式：
1 /* 建立一个Collection */ 2 String[] strings = {"A"， "B"， "C"， "D"}; 3 Collection stringList = java.util.Arrays.asList(strings); 4 /* 开始遍历 */ 5 for (Iterator 变量名乙 = list.iterator(); 变量名乙.hasNext();) { 6 Object str = 变量名乙.next(); 7 System.out.println(str);/* 依次输出“A”、“B”、“C”、“D” */ 8 }
在默认情况下，编译器是允许在第二种for循环的循环体里，对循环变量重新赋值的。不过，因为这种做法对循环体外面的情况丝毫没有影响，又容易造成理解代码时的困难，所以一般并不推荐使用。 Java提供了一种机制，可以在编译期间就把这样的操作封杀。具体的方法，是在循环变量类型前面加上一个“final”修饰符。这样一来，在循环体里对循环变量进行赋值，就会导致一个编译错误。借助这一机制，就可以有效的杜绝有意或无意的进行“在循环体里修改循环变量”的操作了。
清单5：禁止重新赋值
1 int[] integers = {1， 2， 3， 4}; 2 for (final int i : integers) { 3 i = i / 2; /* 编译时出错 */ 4 }
注意，这只是禁止了对循环变量进行重新赋值。给循环变量的属性赋值，或者调用能让循环变量的内容变化的方法，是不被禁止的。
清单6：允许修改状态
1 Random[] randoms = new Random[]{new Random(1)， new Random(2)， new Random(3)}; 2 for (final Random r : randoms) { 3 r.setSeed(4);/* 将所有Random对象设成使用相同的种子 */ 4 System.out.println(r.nextLong());/* 种子相同，第一个结果也相同 */ 5 }
3. 类型相容问题
为了保证循环变量能在每次循环开始的时候，都被安全的赋值，J2SE 1.5对循环变量的类型有一定的限制。这些限制之下，循环变量的类型可以有这样一些选择：
循环变量的类型可以和要被遍历的对象中的元素的类型相同。例如，用int型的循环变量来遍历一个int[]型的数组，用Object型的循环变量来遍历一个Collection等。
清单7：使用和要被遍历的数组中的元素相同类型的循环变量
1 int[] integers = {1， 2， 3， 4}; 2 for (int i : integers) { 3 System.out.println(i);/* 依次输出“1”、“2”、“3”、“4” */ 4 } 5 6
清单8：使用和要被遍历的Collection中的元素相同类型的循环变量
1 Collection< String> strings = new ArrayList< String>(); 2 strings.add("A"); 3 strings.add("B"); 4 strings.add("C"); 5 strings.add("D"); 6 for (String str : integers) { 7 System.out.println(str);/* 依次输出“A”、“B”、“C”、“D” */ 8 }
循环变量的类型可以是要被遍历的对象中的元素的上级类型。例如，用int型的循环变量来遍历一个byte[]型的数组，用Object型的循环变量来遍历一个Collection< String>（全部元素都是String的Collection）等。
清单9：使用要被遍历的对象中的元素的上级类型的循环变量
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：使用能和要被遍历的对象中的元素的类型自动转换的类型的循环变量
1 int[] integers = {1， 2， 3， 4}; 2 for (Integer i : integers) { 3 System.out.println(i);/* 依次输出“1”、“2”、“3”、“4” */ 4 }
注意，这里说的“元素的类型”，是由要被遍历的对象的决定的――如果它是一个Object[]型的数组，那么元素的类型就是Object，即使里面装的都是String对象也是如此。