3.3 DCL02-J将所有增强for语句的循环变量声明为final类型
Java 5平台（也因for-each风格出名）引入了增强的for语句，它用来对对象集合进行迭代。与基本的for语句不同，在基本的for语句中，给循环变量赋值是不能对循环的迭代次序有所影响。但在增强的for语句中，给循环变量赋值就可以有影响，而不是像程序员通常认为的那样。这使我们认识到应避免给在for循环中的循环变量赋值。
详情请见JLS的14.14.2节“增强的for语句”[JLS 2005]。
一个增强的for循环通常采用以下这种形式：
??for (ObjType obj : someIterableItem) {
????// ...
??}
这等价于以下形式的基本for循环：
??for (Iterator myIterator = someIterableItem.iterator();
???????myIterator.hasNext();) {
???ObjType obj = myIterator.next();
???// ...
??}
AI 代码解读
所以，一个给循环变量赋值的动作，等价于修改循环体的局部变量的值，这个变量的初始值会被循环迭代器引用。这种修改不一定是错误的，但它会模糊循环的行为，或者意味着对增强型for语句的内在实现，这在理解上有问题。
可以将所有的for语句中的循环变量声明为final。这个final声明可以让Java编译器做一个标志，并且拒绝对这个循环变量的任何赋值。
3.3.1 不符合规则的代码示例
这个不符合规则的代码示例想要使用增强型的for循环处理对象集合。此外，它还希望跳过对集合中某一个元素的处理。
Collection<ProcessObj> processThese = // ...?
for (ProcessObj processMe: processThese) {
??if (someCondition) { // found the item to skip
????someCondition = false;
????processMe = processMe.getNext(); // attempt to skip to next item
??}
??processMe.doTheProcessing(); // process the object
}
AI 代码解读
这种跳过到下一个集合元素的想法看起来是可以实现的，因为已经成功赋值，并且processMe变量的值也更新了。然而，和基本型的for循环不同，这个赋值并没有改变循环执行的迭代次序。因此，虽然需要跳过的元素跳过了，但是它之后的元素被处理了两次。
注意，如果声明processMe为final，在试图对它进行这样的赋值时，就会产生编译器错误。
3.3.2 符合规则的方案
这个符合规则的方案可以正确地处理在集合中的每一个对象，并且每一个对象只会被处理
一次。
Collection<ProcessObj> processThese = // ...?
for (final ProcessObj processMe: processThese) {
??if (someCondition) { // found the item to skip
????someCondition = false;
????continue; // skip by continuing to next iteration
??}
??processMe.doTheProcessing(); // process the object
}
AI 代码解读
3.3.3 风险评估
给增强型的for循环的循环变量赋值，不影响整体的迭代次序，这样会导致程序员产生困惑，并且会让数据的状态不一致。
自动化检查 这条规则可以很容易通过使用静态分析来实行。
3.3.4 参考书目
[JLS 2005] 14.14.2节 增强的for语句
