集合初探--Fail-Fast机制-优快云博客

本文详细介绍了Fail-Fast机制的概念及在集合中的应用原理。解释了如何通过modCount域跟踪集合的变化，并在迭代过程中检查其一致性，以确保迭代器能够及时发现并报告集合的非预期更改。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

[color=blue][size=large]Fail-Fast机制[/size][/color]

·在系统发生错误后，立即作出响应，阻止错误继续发生。

[color=blue][size=large]集合中的“Fail-Fast”机制[/size][/color]

·集合在其返回遍历器（Iterator）后任何时候发生变化，将会导致遍历器抛出ConcurrentModificationException异常的机制。
·这种变化不包括遍历器本身调用remove方法移除元素。
·ConcurrentModificationException异常不一定要并发下才会产生。比如：


        Map map = new HashMap();
        for (int i = 1; i < 10; i++) {
            map.put(i, i);
        }
        for (Iterator ite = map.entrySet().iterator(); ite.hasNext();) {
            Map.Entry entry = (Map.Entry) ite.next();// 抛出异常位置
            // // 调用Iterator.remove()不会抛出异常
            // ite.remove();
            // 调用map.remove()会抛出异常
            map.remove(entry.getKey());
         }

·代码实现是通过modCount域，记录修改次数，对集合内容的修改都会增加这个值，迭代器初始化过程中会将这个值赋给迭代器的expectedModCount。


        HashIterator() {
            expectedModCount = modCount;
            if (size > 0) { // advance to first entry
                Entry[] t = table;
                while (index < t.length && (next = t[index++]) == null)
                    ;
            }
        }

·在迭代过程中，判断modCount跟expectedModCount是否相等，如果不相等就表示集合已经发生变化，抛出异常。


    final Entry<K,V> nextEntry() {   
        if (modCount != expectedModCount)   
            throw new ConcurrentModificationException(); 
    }

·在非同步的并发修改时，迭代器的快速失败行为不可能作出任何坚决的保证。因此，编写依赖于此异常的程序的做法是错误的。