黑马程序员技术交流社区

标题: 关于集合迭代器的一些代码级思考 [打印本页]

作者: Player_Lime    时间: 2019-3-10 11:24
标题: 关于集合迭代器的一些代码级思考
本帖最后由 Player_Lime 于 2019-3-10 16:54 编辑

首先我们来看一段常规的集合迭代器并删除元素的代码:
[Java] 纯文本查看 复制代码
        //创建集合类 代码段1
        Collection<String> aCollection = new ArrayList<>();
        //添加数据
        aCollection.add("Python");
        aCollection.add("谢飞");
        aCollection.add("斗破苍穹");
        aCollection.add("斗破苍穹3");
        //创建迭代器对象.iterator()方法
        Iterator<String> it = aCollection.iterator();
        System.out.println("原先的集合: ");

        while (it.hasNext())
        {
            String nextStr = it.next();
            System.out.println(nextStr);
            if (nextStr.equals("斗破苍穹"))
            {
                it.remove(); //位置1
                //((ArrayList<String>) aCollection).set(0,"666");  //位置2
                //((ArrayList<String>) aCollection).remove(0);  //位置3
            }
        }
        System.out.println("----------------------");
        System.out.println("删除后: " + aCollection); //
-------------------------------------------------------------------------------
这段常规的代码执行后的结果想必不必多言,我也不再贴图.
现在我们将代码中的位置1注掉并放出位置3的代码,run会发生什么结果呢?根据我们所学的知识,迭代器是不能在运行过程中去修改集合的内容(长度结构等)的,那么我们预计这段代码将报ConcurrentModificationException错误,即并发修改异常.
预计归预计,我们走一次试试,结果如下:
-----控制台--------
原先的集合:
Python
谢飞
斗破苍穹
----------------------
删除后: [谢飞, 斗破苍穹, 斗破苍穹3]
------控制台---------
不仅没有报异常,还成功删了索引为0位置的字符串"Python",同时最后一个字符串"斗破苍穹3"没有如期打印
面对这样的结果,我思考了很久,查阅资料,查看源码并最终解决了这个问题,现在跟大家分享一下自己探索的过程和结果..
接着继续更新,这里查看一段iterator创建的源代码
-------------------------------------------------------
[Java] 纯文本查看 复制代码
   private class Itr implements Iterator<E> {
        int cursor;       // index of next element to return 代码段2源码
        int lastRet = -1; // index of last element returned; -1 if no such
        int expectedModCount = modCount;

        // prevent creating a synthetic constructor
        Itr() {}

        public boolean hasNext() {
            return cursor != size;
        }

        @SuppressWarnings("unchecked")
        public E next() {
            checkForComodification();
            int i = cursor;
            if (i >= size)
                throw new NoSuchElementException();
            Object[] elementData = ArrayList.this.elementData;
            if (i >= elementData.length)
                throw new ConcurrentModificationException();
            cursor = i + 1;
            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();
            }
        }......................................
}
[Java] 纯文本查看 复制代码
final void checkForComodification() {
            if (modCount != expectedModCount)
                throw new ConcurrentModificationException();
        }

观察以上代码,在迭代器创建的过程中需要我们注意的有5个变量:
cursor 表示迭代器next()方法即将访问元素的索引 初始值设为0
lastRet 表示迭代器最后访问的元素的索引位置 初始值设为-1表示它还未访问任何元素 且它总比cursor少1
modCount 表示集合已经进行的操作次数,目前我已知的(通过查看源代码)会改变其值的包括增加删除等改变集合长度的操作 不包括设置,更新 查询等不改变结构的操作
expectedModCount 初始值设置为=modCount
size 集合长度 明白了这些变量的情况 现在根据代码开始模拟迭代器的工作过程
对于代码段1 aCollection已经创建并添加了4个String对象 此时modCount  = expectedModCount  =4 (因为进行了4次操作) 迭代器开始运行 调用hasNext()方法 此时cursor != size (0 != 4) 执行while循环体的内容
调用next()方法 先执行checkForComodification()方法判断modCount  == expectedModCount
然后继续进行两次数组越界判断(注意和hasNext()配合使用的next()方法不会出此错误)
而后cursor+1 并使lastRet  = cursor
而后循环直到cursor = size结束迭代
通过源码我们可以发现如果在迭代过程中使用了修改集合长度的方法就会使得(modCount  + 1 ) != expectedModCount  抛出异常ConcurrentModificationException
而当执行位置2的代码时 虽然进行了集合删除操作使得modCount  + 1 = 4 但也使得集合的长度size = 3 而此时的cursor刚好也等于3(因为迭代器即将访问下标为3的第四个元素) 所有此时hasNext()返回false while循环结束 由于没有进行next()方法的checkForComodification()方法判断 刚好避免了异常的抛出 最终成功执行 实际上如果将if判断语句中的"斗破苍穹"改为其他的任何一个 都不会成功执行 所有我们得到如下结论-----------------------------------------------------------------------------------------------
迭代器可以在迭代到倒数第二个元素的时候进行集合的修改操作而不报错(实际上不推荐这样做)
------------------------------------------------------------------------------------------------







欢迎光临 黑马程序员技术交流社区 (http://bbs.itheima.com/) 黑马程序员IT技术论坛 X3.2