Java集合的快速失败机制 “fail-fast”详解

目录

前言

一、fail-fast是什么？

二、解决方法

总结

---

前言

Java中的集合框架（Collection Framework）提供了许多数据结构，如List、Set和Map等。在多线程环境下，由于多个线程可能同时对集合进行修改，所以可能会发生不一致的情况。为了解决这个问题，Java集合框架通过“快速失败机制”（fail-fast）来保证多线程下集合的安全性。

一、fail-fast是什么？

快速失败机制是指在多线程环境下，当一个线程对集合进行了修改操作，而另一个线程正在遍历集合时，会立刻抛出ConcurrentModificationException异常，从而防止另一个线程读取到处于不一致状态的集合元素。例如：

List<String> list = new ArrayList<>();
list.add("a");
list.add("b");
Iterator<String> iterator = list.iterator();
while (iterator.hasNext()) {
    String element = iterator.next();
    list.remove(element); //修改操作
}

在上述代码中，一个线程正在使用迭代器遍历list集合，而另一个线程在迭代过程中对list进行了修改操作，导致在下一次迭代时会抛出ConcurrentModificationException异常。

快速失败机制的实现方式是通过使用迭代器（Iterator）来检测集合是否被修改。每个迭代器都有一个期望的修改次数（expectedModCount）属性，表示集合的修改次数。当集合进行修改操作时，其修改次数会增加，而期望的修改次数不变，当迭代器检测到集合的修改次数与期望的修改次数不一致时，就会抛出ConcurrentModificationException异常。

需要注意的是，快速失败机制只能保证多线程下的安全性，并不能保证单线程下的安全性。因此，在单线程环境下使用集合时，不应该依赖于快速失败机制来保证程序的正确性。

二、解决方法

1. 在遍历过程中，所有涉及到改变 modCount 值得地方全部加上 synchronized 。

2. 使用 CopyOnWriteArrayList 来替换 ArrayList

总结

Java集合框架中的快速失败机制是为了保证集合的一致性和安全性而设计的。在多线程环境下，如果一个集合正在被遍历，而另一个线程对该集合进行了修改操作，就会抛出ConcurrentModificationException异常。为了避免这种异常的发生，我们可以使用并发集合类。