Iterator与fast-fail机制


在没有Iterator的情况下我们可以用for循环,那为什么我们要使用Iterator呢?

为什么需要迭代器Iterator?

迭代器是一种模式,它可以使得对于序列类型的数据结构的遍历行为与被遍历的对象分离,即我们无需关心该序列的底层结构是什么样子的。只要拿到这个对象,使用迭代器就可以遍历这个对象的内部。这么说到底是什么意思呢。比如我们已经了解了ArrayList和LinkedList集合的内部结构,那我们也就了解了它们的api的用途,就知道
arrayList.get(i)可以获取到元素也可以通过arrayList.remove()来删除元素。那现在有一个以前没有见过的集合UnkownCollection,如果要遍历它,我们首先想到的就是无查询该集合的API,那去查api也就相当于了解去了解结构了呀,之所以无法在不知道API或内部结构的时候获取元素是因为访问集合元素的逻辑与集合本身耦合度太高了,无法将访问逻辑从集合类和客户端中分离出来。那么迭代器就是为了将访问逻辑从集合类与客户端代码分离而出现的。

什么是迭代器呢?

迭代器我们可以简单的理解为遍历。是一个遍历各类容器里面的所有对象的标准。由于迭代器总是用同一种逻辑来遍历集合,因此只要该集合内部实现了迭代器就可以在不知道API或者集合内部结构的情况下通过迭代器遍历该集合的元素。
用ArrayList为例:我们对比一下用普通的for循环和迭代器之间的区别:
普通for循环:

 ArrayList<String> arrayList=new ArrayList<>();
        arrayList.add("hello");
        arrayList.add("how are you");
        arrayList.add("I'm ok");
        //这里就需要了解arrayList的api和内部结构
           for(int i=0;i<arrayList.size();i++){
               String string=arrayList.get(i);
           }

使用迭代器:

 ArrayList<String> arrayList=new ArrayList<>();
        arrayList.add("hello");
        arrayList.add("how are you");
        arrayList.add("I'm ok");
        Iterator<String> iterator=arrayList.iterator();
        while (iterator.hasNext()){
            String string=iterator.next();
        }

因为在java中迭代器提供一个标准化的接口:

public interface Iterator<E> {
//如果有更多的元素则返回true
  boolean hasNext();
//返回下一个元素,如果没有下一个元素则会抛出NoSuchElementException
 E next();
//如果当前迭代器不支持remove操作则抛出UnsupportedOperationException
//如果next方法还没有被调用或是在remove 方法调用之后再调用next 方法会抛出IllegalStateException异常
 default void remove() {
        throw new UnsupportedOperationException("remove");
    }
}

大多数情况下我们一般只需要使用next(),hasNext()两个方法即可完成元素迭代。

在ArrayList中Iterator的实现

其中Itr是Arraylist的内部类

 private class Itr implements Iterator<E> {
        int cursor;       //下个返回元素的位置
        int lastRet = -1; // 上一个返回元素的位置; 如果是-1则一个表示没有这个元素
       //这个关于快速失败机制的实现,稍后会有讲解
        int expectedModCount = modCount;
    //如果下一个可返回元素位置不等于list的size(内部类可访问外部类的成员)
        public boolean hasNext() {
            return cursor != size;
        }

        @SuppressWarnings("unchecked")
        public E next() {
            checkForComodification();
            int i = cursor;
//如果下一个元素的位置大于size则抛出NoSuchElementException
            if (i >= size)
                throw new NoSuchElementException();
     //获取外部类ArrayList实例中的数据
            Object[] elementData = ArrayList.this.elementData;
   //快速失败机制
            if (i >= elementData.length)
                throw new ConcurrentModificationException();
  //下一个可访问的元素位置+1
            cursor = i + 1;
//返回值并给lastRet赋值
            return (E) elementData[lastRet = i];
        }

        public void remove() {
            if (lastRet < 0)
                throw new IllegalStateException();
            checkForComodification();

            try {
//移除上一个返回 的元素
                ArrayList.this.remove(lastRet);
  //给下一个访问元素位置更新
                cursor = lastRet;
//给上一个访问元素复原
                lastRet = -1;
                expectedModCount = modCount;
            } catch (IndexOutOfBoundsException ex) {
                throw new ConcurrentModificationException();
            }
        }

 
//快速失败机制的实现
        final void checkForComodification() {
            if (modCount != expectedModCount)
                throw new ConcurrentModificationException();
        }
    }

这个源码比较简单易懂。
我们可以根据上面总结一下:

  • 迭代器Iterator内部最终操作的也是ArrayList的数组和方法
  • hasNext()通过curor判断将要被访问的元素是否存在
  • next()返回的正在被访问的元素,同时会保存该元素的下标指向lastRet,而cursor会指向下一下未被访问的元素。
  • remove()移除后数组需要移动,同时cursor指向需要更新为lastRet,因为lastRet此时代表着往前移动的元素。

快速失败(fast-fail)机制

刚刚上面有说

   int expectedModCount = modCount;
//快速失败机制的实现
        final void checkForComodification() {
            if (modCount != expectedModCount)
                throw new ConcurrentModificationException();
        }
    }

在next和remove中都会调用这个checkForComodification这个方法。这样做是为什么呢?在上面我们看到我们通过 ArrayList的迭代器遍历元素的时候此时为调用next(),其内部还是用的ArrayList.this.elementData。

 Object[] elementData = ArrayList.this.elementData;

迭代器会先获取整个数组对象,然后进行取舍操作,但是在使用iterator的同时,假设我们又去操作调用了ArrayList本身的方法比如ArrayList.remove(index),那么elementData数组的元素就会发生变化,而迭代器也要通过hasNext()方法判断,正好调用next方法,但是数据发生了变化而造成了数据不一致的问题。那下面通过一个例子说明一下问题:

  ArrayList<String> arrayList=new ArrayList<>();
        arrayList.add("hello");
        arrayList.add("how are you");
        arrayList.add("I'm ok");
        Iterator<String> iterator=arrayList.iterator();
        boolean shouldDelete=true;
        while (iterator.hasNext()){
            String string=iterator.next();
           if(shouldDelete){
               shouldDelete=!shouldDelete;
               arrayList.remove(2);
           }
        }

运行结果:

抛出异常

这就是我们的快速失败机制。
我们什么时候抛出ConcurrentModificationException呢?

 final void checkForComodification() {
            if (modCount != expectedModCount)
                throw new ConcurrentModificationException();
        }

就是每次在迭代器调用next()和remove()的时候都会先调用checkForComodification()方法,其中modCount是ArrayList中的成员变量。会次ArrayList在调用add(),remove(),clear(),ensureCapacity()这些会修改数据结构的方法中都会使modCount++。在获取迭代器的时候会把modCount赋值给迭代器的expectedModCount变量。此时modCount与expectedModCount肯定相等,在迭代元素的过程中如果ArrayList调用自身方法使集合发生变化,那么modCount肯定会变,此时modCount与expectedModCount肯定会不相等。在迭代过程中,只要发现modCount!=expectedModCount,则说明结构发生了变化也就没有必要继续迭代元素了。此时会抛出ConcurrentModificationException,终止迭代操作。这就是java JDK的常用的集合中的快速失败机制。

理解快速失败机制(fast-fail机制)

我们大概了解了快速失败机制的执行原理。重新整理一下快速失败机制,"快速失败"即fail-fast,它是java集合的一种错误检测机制。当多钱程对集合进行结构上的改变或者集合在迭代元素时直接调用自身方法改变集合结构而没有通知迭代器时,有可能会触发fast-fail机制并抛出异常。需要注意一点,有可能触发fast-fail机制而不是肯定。触发时机是在迭代过程中,集合的结构发生了变化而此时迭代器并不知道或者还没来得及反应时便会产生fail-fast机制。这里再次强调,迭代器的快速失败行为无法得到保证,因为一般来说,不可能对是否出现不同步并发修改或者自身修改做出任何硬性保证。快速失败迭代器会尽最大努力抛出 ConcurrentModificationException。
而我们把上面抛出异常的例子用迭代器的remove替换一下:

    ArrayList<String> arrayList=new ArrayList<>();
        arrayList.add("hello");
        arrayList.add("how are you");
        arrayList.add("I'm ok");
        //这里就需要了解arrayList的api和内部结构
        Iterator<String> iterator=arrayList.iterator();
        boolean shouldDelete=true;
        while (iterator.hasNext()){
            String string=iterator.next();
           if(shouldDelete){
               shouldDelete=!shouldDelete;
               //arrayList.remove(2);
               iterator.remove();
           }

        }

这个时候程序运行就是正常的。并不会抛出异常。
在ArrayList中得到迭代器方法:

 public Iterator<E> iterator() {
        return new Itr();
    }

这是一个迭代器模式(游标模式)的应用
看到什么自己不懂的记下来。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 151,511评论 1 330
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 64,495评论 1 273
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 101,595评论 0 225
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 42,558评论 0 190
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 50,715评论 3 270
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 39,672评论 1 192
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,112评论 2 291
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 29,837评论 0 181
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 33,417评论 0 228
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 29,928评论 2 232
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 31,316评论 1 242
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 27,773评论 2 234
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 32,253评论 3 220
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 25,827评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,440评论 0 180
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 34,523评论 2 249
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 34,583评论 2 249

推荐阅读更多精彩内容

  • Java源码研究之容器(1) 如何看源码 很多时候我们看源码, 看完了以后经常也没啥收获, 有些地方看得懂, 有些...
    骆驼骑士阅读 968评论 0 22
  • 1.Java集合框架是什么?说出一些集合框架的优点? 每种编程语言中都有集合,最初的Java版本包含几种集合类:V...
    独念白阅读 643评论 0 2
  • 1.Java集合框架是什么?说出一些集合框架的优点? 每种编程语言中都有集合,最初的Java版本包含几种集合类:V...
    hutuxiaogui阅读 668评论 0 10
  • 道行天下系列志怪小说 古今多少混账事,一壶浊酒化清凉 闻心志异(20) 死 ...
    道行天下徐文新阅读 431评论 1 10
  • 飞机晚点了好久,在飞机上看了一次日出。 是在遥远的天际,有一条赭石色过度到明黄色的光,分割了云海和更高的天,这大概...
    洋务少女阅读 234评论 0 0