为什么Iterator的remove方法可保证从源集合中安全地删除对象，而在迭代期间不能直接删除集合内元素
在对集合进行操作时，我们会发现，如果我们用迭代器迭代，但是在迭代器过程中如果使用集合对象去删除，添加，清空集合存储的对象时，那么就程序就会报出异常，例如如下代码：
public class IteratorTest {
public static void main(String[] args) {
ArrayListlist = new ArrayList(Arrays.asList("a","b","c","d"));
Iteratoriter = list.iterator();
while(iter.hasNext()){
String s = iter.next();
if(s.equals("a")){
list.remove(0);
// iter.remove();
}
}
}
}
这是程序就会报出如下异常：
Exception in thread "main" java.util.ConcurrentModificationException
at java.util.ArrayList$Itr.checkForComodification(Unknown Source)
at java.util.ArrayList$Itr.next(Unknown Source)
at IteratorTest.main(IteratorTest.java:13) list.remove(0);
去掉iter.remove();注释 Iterator 支持从源集合中安全地删除对象，只需在 Iterator 上调用remove()即可。这样做的好处是可以避免 ConcurrentModifiedException ，这个异常顾名思意：当打开 Iterator 迭代集合时，同时又在对集合进行修改。
有些集合不允许在迭代时删除或添加元素，但是调用 Iterator 的remove() 方法是个安全的做法。
那么为什么用Iterator删除时是安全的的呢？
首先我们看一下在生成一个迭代器时，会有什么操作。
public Iterator iterator() {
return new Itr();
} 以ArrayList为例，在调用iterator的时候，会直接返回一个Itr对象，那么我们看一下Itr对象：
private class Itr implements Iterator {
int cursor; // index of next element to return
int lastRet = -1; // index of last element returned; -1 if no such
int expectedModCount = modCount;
public void remove() {
if (lastRet < 0)
throw new IllegalStateException();
checkForComodification();
try {
ArrayList.this.remove(lastRet);
cursor = lastRet;
lastRet = -1;
expectedModCount = modCount;
} catch (IndexOutOfBoundsException ex) {
throw new ConcurrentModificationException();
}
}
final void checkForComodification() {
if (modCount != expectedModCount)
throw new ConcurrentModificationException();
}public E remove(int index) {
rangeCheck(index);
modCount++;
E oldValue = elementData(index);
int numMoved = size - index - 1;
if (numMoved > 0)
System.arraycopy(elementData, index+1, elementData, index,
numMoved);
elementData[--size] = null; // clear to let GC do its work
return oldValue;
}那么，我们再来看下为什么用Itr删除时就可以安全的删除，不会报错呢？在他的remove函数中可以看到下面的一句话，首先其实还是调用了ArrayList的remove函数
ArrayList.this.remove(lastRet)
expectedModCount = modCount; 当使用 fail-fast iterator 对 Collection 或 Map 进行迭代操作过程中尝试直接修改 Collection / Map 的内容时，即使是在单线程下运行， java.util.ConcurrentModificationException 异常也将被抛出。
Iterator 是工作在一个独立的线程中，并且拥有一个 mutex 锁。
Iterator 被创建之后会建立一个指向原来对象的单链索引表，当原来的对象数量发生变化时，这个索引表的内容不会同步改变，所以当索引指针往后移动的时候就找不到要迭代的对象，所以按照 fail-fast 原则 Iterator 会马上抛出 java.util.ConcurrentModificationException 异常。
所以 Iterator 在工作的时候是不允许被迭代的对象被改变的。
但你可以使用 Iterator 本身的方法 remove() 来删除对象， Iterator.remove() 方法会在删除当前迭代对象的同时维护索引的一致性。
还有一个有趣的点是：
有意思的是如果你的 Collection / Map 对象实际只有一个元素的时候， ConcurrentModificationException 异常并不会被抛出。这也就是为什么在 javadoc 里面指出： it would be wrong to write a program that depended on this exception for its correctness: ConcurrentModificationException should be used only to detect bugs.
参考文章：
点击打开链接