故障安全迭代器和弱一致迭代器答案

【问题标题】：fail safe iterators and weakly consistent iterators故障安全迭代器和弱一致迭代器
【发布时间】：2013-11-22 10:24:35
【问题描述】：

故障安全迭代器是那些没有throw ConcurrentModificationException 的迭代器。

但是fail safe iterators 和weakly consistent iterators 有什么区别呢？

都一样吗？

【问题讨论】：

【解决方案1】：

Fail-safe 和 Weakly consistent 迭代器都不会抛出 ConcurrentModificationException。

weakly consistent iterators: 依赖于 CAS(compare-and-swap) 的集合具有弱一致的迭代器，这反映了一些但不一定是所有已经发生的变化自他们创建以来就被制作到他们的支持集合中。例如，如果集合中的元素在迭代器到达它们之前已被修改或删除，它肯定会反映这些更改，但不保证插入。

Fail safe iterator 迭代器机制复制内部 Collection 数据结构并使用它来迭代元素。这可以防止在底层数据结构发生更改时引发任何并发修改异常。当然也引入了复制整个数组的开销。

CopyOnWriteArrayList 就是这样一种带有故障安全迭代器的实现，我们可以通过查看构造函数的源代码轻松看到：

public CopyOnWriteArrayList(Collection<? extends E> c) {
        Object[] elements = c.toArray();

        if (elements.getClass() != Object[].class)
            elements = Arrays.copyOf(elements, elements.length, Object[].class);
        setArray(elements);
    }

参考：

Java Generics and Collections: 11.5. Collections and Thread Safety
Iterators – Fail fast Vs Fail safe

【讨论】：