modCount:Java集合实现快速失败机制的计数器

快速失败机制，是Java集合框架中的一种错误检测机制。多线程下遍历一个非线程安全的集合对象时，如果一个线程在遍历过程中，另一个线程对集合对象的内容进行了修改（增加、删除），则会抛出ConcurrentModificationException。快速失败机制并不保证在非同步下的修改一定会抛出异常，这种机制一般仅用于检测bug。 以ArrayList中的forEach方法为例，看看modCount的作用: modCount定义于ArrayList的父类AbstractList中

public abstract class AbstractList<E> extends AbstractCollection<E> implements List<E> { ... protected transient int modCount = 0; }

以遍历list为例，modCount是如何实现非线程安全集合的快速失败了？请看forEach的实现

public void forEach(Consumer<? super E> action) { // 非空校验 Objects.requireNonNull(action); // 将集合的当前的modCount赋给期待值 final int expectedModCount = modCount; @SuppressWarnings("unchecked") final E[] elementData = (E[]) this.elementData; final int size = this.size; // 开始遍历，并每次校验当前modCount是否等于初始遍历前的预期值 for (int i=0; modCount == expectedModCount && i < size; i++) { action.accept(elementData[i]); } if (modCount != expectedModCount) { throw new ConcurrentModificationException(); } }

那么modCount什么时候会改变了？

其实任何试图修改list的地方，它都会改变。如add方法，又如remove方法等

public boolean add(E e) { // 这个方法会让modCount自增 ensureCapacityInternal(size + 1); // Increments modCount!! elementData[size++] = e; return true; }

因此：

集合内部维护一个变量modCount，用来记录集合被修改的次数，诸如add，remove等方法都会使该字段递增；forEach或者迭代器内部也会维护着当前集合的修改次数的字段，它的初始值为集合的modCount值；当每一次迭代时，迭代器会比较迭代器维护的expectedModCount和modCount的值是否相等，如果不相等就抛ConcurrentModifiedException异常；如果用迭代器调用remove方法，那么集合和迭代器维护的修改次数都会递增，以保持两个状态的一致；(所以遍历的同时向删除元素，更应该使用迭代器)modCount只是一个普通的int变量，多线程时它的修改（modCount++）并不是原子性，并不能绝对的保证安全性