fail-fast机制

fail-fast机制

在用迭代器遍历一个集合对象时，如果遍历过程中对集合对象的结构进行了修改（增加、删除），则会抛出ConcurrentModificationException,请注意修改集合的内容不是修改集合的结构。

原理：迭代器在遍历时直接访问集合中的内容，并且在遍历过程中使用一个modCount变量。集合在被遍历期间如果结构（插入和删除）发生变化，就会改变modCount的值。每当迭代器使用hasNext()/next()遍历下一个元素之前，都会检测modCount变量是否为expectedModCount值，是的话就返回遍历；否则抛出异常，终止遍历。

符合 Fail-Fast 机制的集合类包括：

• Map:

  • HashMap
  • LinkedHashMap
  • TreeMap
  • Hashtable 虽然 Hashtable 是线程安全的

• Set:

  • HashSet
  • LinkedHashSet
  • TreeSet

• List:

  • ArrayList
  • LinkedList
  • Vector 虽然 Vector 是线程安全的

注意事项

• 迭代器的快速失败行为不能得到保证，一般来说，存在非同步的并发修改时，不可能作出任何坚决的保证。快速失败迭代器尽最大努力抛出 ConcurrentModificationException。因此，编写依赖于此异常的程序的做法是错误的，正确做法是：迭代器的快速失败行为应该仅用于检测程序错误。