fail-fast 和 fail-safe 是两个在Java中常用的集合遍历机制的概念,主要用于描述在迭代集合时如何处理集合结构的修改。
fail-fast
fail-fast 机制指的是,在使用迭代器(Iterator)遍历集合时,如果在迭代过程中检测到集合结构被修改(例如添加或删除元素),那么迭代器会立即抛出一个 ConcurrentModificationException 异常。
这种机制的设计目的是为了防止在多线程环境中或者在迭代过程中对集合进行修改而导致的不可预知的行为。
fail-fast机制的特点是:
- 立即失败:一旦检测到集合被修改,马上抛出异常,防止程序继续执行。
- 不允许并发修改:在迭代过程中,不能对集合进行结构性修改(如增加、删除元素),除非通过迭代器本身的 remove() 方法。
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
public class FailFastExample {
public static void main(String[] args) {
List<String> list = new ArrayList<>();
list.add("A");
list.add("B");
list.add("C");
Iterator<String> iterator = list.iterator();
while (iterator.hasNext()) {
System.out.println(iterator.next());
list.add("D"); // 在迭代过程中修改集合
}
}
}
//输出:
A
Exception in thread "main" java.util.ConcurrentModificationException
在这个例子中,我们在使用 iterator 遍历 ArrayList 时,同时向列表中添加了一个新元素 “D”。由于 ArrayList 是一个 fail-fast 集合,它的迭代器检测到集合在迭代过程中被修改,所以立即抛出了 ConcurrentModificationException 异常。
fail-safe
fail-safe 机制指的是,在遍历集合时,如果集合结构被修改(例如添加或删除元素),迭代器不会抛出 ConcurrentModificationException 异常。
这种机制通常在并发集合中实现,比如 java.util.concurrent 包中的集合类。这些集合类使用的是副本(例如快照)来遍历,因此不会受到并发修改的影响。
import java.util.concurrent.CopyOnWriteArrayList;
import java.util.Iterator;
public class FailSafeExample {
public static void main(String[] args) {
CopyOnWriteArrayList<String> list = new CopyOnWriteArrayList<>();
list.add("A");
list.add("B");
list.add("C");
Iterator<String> iterator = list.iterator();
while (iterator.hasNext()) {
System.out.println(iterator.next());
list.add("D"); // 在迭代过程中修改集合
}
}
}
//输出:
A
B
C
在这个例子中,我们使用了 CopyOnWriteArrayList,它是一个 fail-safe 集合。当我们在迭代过程中添加新的元素 “D” 时,迭代器不会抛出异常,因为它是在集合的一个“快照”上进行迭代。新的修改(添加 “D”)不会影响当前的迭代过程。