Java集合的fail-fast机制是如何实现快速检测并发修改并引发异常的？

本文共计1204个文字，预计阅读时间需要5分钟。

简介：我们知道Java中Collection接口下的很多集合都是线程不安全的，例如java.util.ArrayList不是线程安全的。因为如果在使用迭代器的过程中有其他线程修改了list，那么将抛出ConcurrentModificationException异常。

简介

我们知道Java中Collection接口下的很多集合都是线程不安全的, 比如 java.util.ArrayList不是线程安全的, 因此如果在使用迭代器的过程中有其他线程修改了list，那么将抛出ConcurrentModificationException，这就是所谓fail-fast策略。

这一策略在源码中的实现是通过 modCount 域，modCount 顾名思义就是修改次数，对ArrayList 内容的修改都将增加这个值，那么在迭代器初始化过程中会将这个值赋给迭代器的 expectedModCount。在迭代过程中，判断 modCount 跟 expectedModCount 是否相等，如果不相等就表示已经有其他线程修改了 list
注意到 modCount 声明为 volatile，保证线程之间修改的可见性。

modCount和expectedModCount

modCount和expectedModCount是用于表示修改次数的，其中modCount表示集合的修改次数，这其中包括了调用集合本身的add, remove, clear方法等修改方法时进行的修改和调用集合迭代器的修改方法进行的修改。而expectedModCount则是表示迭代器对集合进行修改的次数。