迭代器和增强for循环

由于准备毕业，好久没有学习Java的相关知识。今天写一个小代码时，突然对增强for循环中能不能删除元素产生了疑问，借此整理一下，可能理解的不够深刻，之后有新的发现再更新。

今天写的代码如下：

在ArrayList中插入四个元素，然后通过增强for循环遍历删除倒数第二个元素“three”。按道理讲，在增强for循环中不能删除元素，会报错。但是执行结果如下：

从结果可以看出，程序顺利执行，并且成功地删除元素“three”。这是为什么呢？
首先分析一下在增强for循环中为什么不能删除元素。增强for循环的本质就是迭代器Iterator，判断是否遍历完集合使用的是hasNext()方法，取对应位置的元素使用的是next()方法。删除元素会报错的原因是因为当执行next()方法时，首先会执行checkForComodification()方法，源码如下：

该方法会比较modCount和expectedModCount两个量的值是否相等，如果不相等就会报错。而当我们在执行删除元素的操作时，就会修改modCount。源码如下：

删除元素在fastRemove中执行，modCount++。

所以，当我们在增强for循环中删除元素后，下次执行next方法时，modCount与expectedModCount不相等，会报错。

回到刚开始执行的程序，那它为什么不报错呢？就是因为该程序删除完元素修改了modCount之后，就不再执行增强for循环直接退出了。问题来了，最后还有一个元素“four”没有遍历就退出了？因为执行完删除操作之后，会通过hasNext方法判断是否遍历到结尾。
源码如下：

实质就是判断cursor和size的关系，cursor是指示当前遍历元素的索引，size是List的长度。单步执行可以发现，当遍历到“three”这个元素时，cursor等于3(“three”的索引为2，但是在之后会加1，见源码)，而因为删除了一个元素，此时size也等于3(原来长度是4，删除一个元素变为3)。两者相等，hasNext方法返回false，结束循环，就不会报错。

如果我增加一个元素“five”,再执行上述删除操作，就会报错。因为cursor删除完等于3，size删除完等于4。执行hasNext方法就会返回true，然后继续执行next方法，就会报错。
执行结果如下：

结果报错：