现在的位置: 首页 > 综合 > 正文

FAIL-FAST 和迭代器模式

2013年08月20日 ⁄ 综合 ⁄ 共 2716字 ⁄ 字号 评论关闭

一 if the list is structurally modified at any time after the iterator is created, in any way except through the Iterator's own remove or add methods, the iterator will throw a ConcurrentModificationException . Thus, in the face of concurrent modification, the iterator fails quickly and cleanly, rather than risking arbitrary, non-deterministic behavior at an undetermined time in the future.

在迭代器创建之后,如果从结构上对列表进行修改,除非通过迭代器自身的 removeadd 方法,其他任何时间任何方式的修改,迭代器都将抛出 ConcurrentModificationException 。因此,面对并发的修改,迭代器很快就会完全失败,而不冒将来不确定的时间任意发生不确定行为的风险。

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

http://blog.csdn.net/lianyu2008/archive/2009/10/10/4651451.aspx

Iterator<Integer> keys = gradeMap.keySet().iterator();

Set<Integer> gradesIds = gradeMap.keySet();
        while(keys.hasNext()){
            Integer i = keys.next();
            if(!gradesIds.contains(i)){
//                keys.remove();
                gradeMap.remove(i);

                System.out.println(gradeMap.size());
            }
        }

 

 其中红色标示的部分,想要从聚集里删除迭代器引用的元素,直接删除使用iterator()就可以了。

调用HashMap的reomve方法时会出现 java.util.ConcurrentModificationException 。

解决方法就是先用Iterator的方法remove,然后再调用HashMap的remove方法!!即代码如下:

Iterator<Integer> keys = gradeMap.keySet().iterator();
        while(keys.hasNext()){
            Integer i = keys.next();
            if(!gradesIds.contains(i)){
                keys.remove();
                gradeMap.remove(i);
            }
        }

产生此问题的原因

引用于网络:
       当使用 fail-fast iterator 对 Collection 或 Map 进行迭代操作过程中尝试直接修改 Collection / Map 的内容时,即使是在单线程下运行, java.util.ConcurrentModificationException 异常也将被抛出。

Iterator 是工作在一个独立的线程中,并且拥有一个 mutex 锁。 Iterator 被创建之后会建立一个指向原来对象的单链索引表,当原来的对象数量发生变化时,这个索引表的内容不会同步改变,所以当索引指针往后移动的时候就找不到要迭代的对象,所以按照 fail-fast 原则 Iterator 会马上抛出 java.util.ConcurrentModificationException 异常。

所以 Iterator 在工作的时候是不允许被迭代的对象被改变的。但你可以使用 Iterator 本身的方法 remove() 来删除对象, Iterator.remove() 方法会在删除当前迭代对象的同时维护索引的一致性。

有意思的是如果你的 Collection / Map 对象实际只有一个元素的时候, ConcurrentModificationException 异常并不会被抛出。这也就是为什么在 javadoc 里面指出: it would be wrong to write a program that depended on this exception for its correctness: ConcurrentModificationException should be used only to detect bugs.

附:来自ibm developerworks上对java.util.concurrent包的说明片段:
      java.util 包中的集合类都返回 fail-fast 迭代器,这意味着它们假设线程在集合内容中进行迭代时,集合不会更改它的内容。如果 fail-fast 迭代器检测到在迭代过程中进行了更改操作,那么它会抛出 ConcurrentModificationException ,这是不可控异常。
      在迭代过程中不更改集合的要求通常会对许多并发应用程序造成不便。相反,比较好的是它允许并发修改并确保迭代器只要进行合理操作,就可以提供集合的一致视图,如 java.util.concurrent 集合类中的迭代器所做的那样。
     java.util.concurrent 集合返回的迭代器称为弱一致的(weakly consistent)迭代器。对于这些类,如果元素自从迭代开始已经删除,且尚未由 next() 方法返回,那么它将不返回到调用者。如果元素自迭代开始已经添加,那么它可能返回调用者,也可能不返回。在一次迭代中,无论如何更改底层集合,元素不会被返回两次。

 

三 迭代器的外部迭代器和内部迭代器

      一个白箱聚集向外界提供访问自己内部元素的接口,从而外部迭代子可以通过聚集的遍历方法实现迭代功能。

     黑箱聚集不向外部提供遍历自己元素对象的接口,因此,这些元素对象只能被聚集内部成员访问。
 由于内部迭代子是聚集的内部类,所以可以访问聚集的元素。

 

抱歉!评论已关闭.