《阿里巴巴Java开发手册》第一章里的第五节的第七点是这么说的：

【强制】不要在 foreach 循环里进行元素的 remove/add 操作。remove 元素请使用 Iterator 方式，如果并发操作，需要对 Iterator 对象加锁。

里面举了这样一个反例：

List<String> list = new ArrayList<>();
list.add("1");
list.add("2");

for (String item : list) {
  if ("1".equals(item)) {
    list.remove(item);
  }
} 
复制代码

其实Java的forEach写法内部就是迭代器，大家可以把上面的代码理解为以下代码：

List<String> list = new ArrayList<>();
list.add("1");
list.add("2");

Iterator<String> iterator = list.iterator();
while (iterator.hasNext()) {
  String item = iterator.next();
  if ("1".equals(item)) {
    list.remove(item);
  }
}
复制代码

有了这一层理解后，那我们以ArrayList为例，看看其内部的iterator方法：

public Iterator<E> iterator() {
	return listIterator();
}

public ListIterator<E> listIterator(final int index) {
            checkForComodification();
            rangeCheckForAdd(index);
            final int offset = this.offset;

            return new ListIterator<E>() {
              hasNext()...
              next()...
            ...
						}
}             
复制代码

由于listIterator()方法内的内部类ListIterator的代码太多，我就不一一贴出来了，因为我们重点只看两个方法：hasNext()和next()，接下来我会通过断点调试让大家明白为什ConcurrentModificationException是偶尔出现：

断点调试

设置断点

我在这三处地方都打了断点，这样我们就能大概清楚整个流程：

运行调试

P1

好的，我们看到已经定位到第一个断点位置了，从idea提供的信息我们也可以看出list的大小为2：

接着往下走，又来到了第二个断点的位置，在上面我已经说了forEach的语法的原理了，所以这样会走到haxNext()函数这里，这里的cursor是指当前迭代器的指针，而size是当前集合的大小：

继续走，我们会来到第三个断点：

圈红1

注意我圈红的第一处地方，我们进入checkForComodification里：

final void checkForComodification() {
  if (modCount != expectedModCount)
    throw new ConcurrentModificationException();
}
复制代码

可以看到，这就是我们报错的关键点，这里的modCount变量是指集合被操作的次数，比如像add()、remove()这些方法都会让modCount + 1，而expectedModCount是指集合的一个预期操作次数，在部分操作里会被重置为modCount，比如add()方法里。

因为我们上面添加了两个元素，所以modCount和modCount都是2。

圈红2

接着我们看第二处圈红的地方，我们可以发现，每一次next()的时候指针都会移动，这很好理解。

P2

断点继续，因为第一个元素就是1，所以这里匹配上了：

我们进入到remove()方法里面，因为我们是按照对象删除的，所以会进入第二个分支：

接着我们再进入fastRemove()方法，可以看到modCount + 1了：

P3

继续往下走，我们又回到最开始的地方，但仔细点你会发现list的大小从2变成1了：

然后我们又来到了hasNext()这里了，因为cursor和size都是1，所以循环就终止了：

吃鲸

这里你是不是懵逼了，咦？说好的报错呢？怎么没报错了？

咳咳，其实是因为有时候会出现像上面这种巧合的情况，就是在hasNext()方法校验的时候，cursor刚好不等于size，然后就退出了，而刚好集合又遍历完了，but，这个情况是很少出现的，一般都会抛出ConcurrentModificationException异常，所以大家不要有侥幸的心理。