Iterator迭代器遍历过程出现ConcurrentModificationException的原因

布满荆棘的人生 2022-12-11 13:53 210阅读 0赞

### 一、情况一 ###

遍历的过程，使用List集合的remove方法删除某个元素，使size的值发生变化，导致 hasNext成立，从而在进行下一步的ite.next()时执行checkForComodification()方法，检查出modCount != expectedModCount成立，最后抛出throw new ConcurrentModificationException()异常。

### 二、调试源码核心变量的变化过程如下 ###

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center]  
补充：

> list集合只添加了2个元素，为什么会遍历第三次呢？

这是因为在遍历第2遍的时候，list.remove()改变了list的size成员变量的大小，使size=1，导致迭代器iterator在判断是否还有下一个元素hasNext()时，cursor=2不等于siez=1成立，进入了第三次循环。

--------------------

### 三、调式源码详细过程如下 ###

**步骤1**、首先Debug来到ite.hasNext()；  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 1]  
**步骤2**、接着F9(resume program)运行到下个断点处。  
![在这里插入图片描述][20201002145758534.png_pic_center]  
说明，步骤1中添加了2个元素，所以list的size=2；并且索引是从0开始的，所以cursor=0。

**步骤3**、接着F9(resume program)运行到下个断点处ite.next();  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 2]  
**步骤4**、接着F9(resume program)进入到下个断点处next()源码;  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 3]  
**步骤5**、接着F9(resume program)进入到下个断点处checkForComodification()源码;  
![在这里插入图片描述][20201002150333676.png_pic_center]  
modCount表示修改，添加集合的次数。  
expectedModCount表示获取迭代器时修改次数的初始站，是在获取Iterator时赋值的。关于expectedModCount如下图所示。  
![在这里插入图片描述][20201002150559163.png_pic_center]  
那现在可以看到在next()源码中首先会对modCount和expectdModCount进行检查。

**步骤6**、接着F9(resume program)进入到下个断点处return (E) elementData\[lastRet = i\];  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 4]  
返回elementData\[0\]处的元素，也就是list中的第一个元素“e1"。

**步骤7**、接着F9(resume program)回到main方法的下个断点处;  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 5]  
if (element.equals(“e2”))\{\}条件不成立，接着执行while(ite.hasNext())\{\}循环。

**步骤8**、接着F9(resume program)回到main方法的while(ite.hasNext());  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 6]  
接着**重复步骤2**、执行F9(resume program)运行到下个断点处。此时的cursor=1.  
![在这里插入图片描述][20201002151346259.png_pic_center]  
hasNext()条件成立，返回true；  
**重复步骤3**、接着F9(resume program)运行到下个断点处ite.next();  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 7]  
**重复步骤4**、接着F9(resume program)进入到下个断点处next()源码;  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 8]  
**重复步骤5**、接着F9(resume program)进入到下个断点处checkForComodification()源码;  
![在这里插入图片描述][20201002151739971.png_pic_center]  
**重复步骤6**、接着F9(resume program)进入到下个断点处return (E) elementData\[lastRet = i\];  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 9]  
返回elementData\[1\]处的元素，也就是list中的第一个元素“e2"。

**重复步骤7**、接着F9(resume program)回到main方法的下个断点处;  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 10]  
if (element.equals(“e2”))\{\}条件成立，接着执行list.remove(”e2“);  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 11]  
**步骤9**、接着F9(resume program)进入remove源码的断点处;  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 12]  
这一步modCount++；执行F8(Step Over)，到下一步。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 13]  
可以看到modCount=3，由前面mian方法开始时添加e1,e2两个元素是moumodCount=2；然后list.iterator()，对expectedModCount初始值moumodCount=2；

**步骤9**、接着F9(resume program)回到main方法ite.hasNext()断点处;  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 14]  
接着**重复步骤2**、执行F9(resume program)运行到下个断点处。此时的cursor=1.  
![在这里插入图片描述][20201002153115152.png_pic_center]  
调试过程的关键点就在这了，正常来说，已经没有下一个元素的，hasNext应该返回false。但由于调用了list.remove()，导致size减1，变成1，初始hasNext()中的条件返回true。

**重复步骤3**、接着F9(resume program)运行到下个断点处ite.next();  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 15]  
**重复步骤4**、接着F9(resume program)进入到下个断点处next()源码;  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 8]  
**重复步骤5**、接着F9(resume program)进入到下个断点处checkForComodification()源码;  
![在这里插入图片描述][20201002153914293.png_pic_center]  
可以看到，由于list.remove()方法导致modCount加1，此时的expectedModCount还是初始化时的2，导致条件成立，抛出throw new ConcurrentModificationException();

**最后**  
调式到这里，就可以看到抛出ConcurrentModificationException异常的全过程和原因了。

--------------------

—end

补充：学习使用iterator通过打断点调式jdk源码的来源链接如下：

> https://www.iqiyi.com/v\_19rwo3zlac.html\#curid=14761082600\_3ec318964b26c62b687013f50d84974c

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center]: /images/20221123/31f8d7bce75e464c96eb403eea20ce8f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 1]: /images/20221123/07592eff2097481a9f201d1c1a8a34b4.png
[20201002145758534.png_pic_center]: /images/20221123/ad950e9a4d95427bb50e597f9b34db9b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 2]: /images/20221123/1c82a1ceb7b84ea6ac69f0e8b95d028d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 3]: /images/20221123/875ad543cc2c4f72a3b11d63f7fc657c.png
[20201002150333676.png_pic_center]: /images/20221123/4148a691fe7e47d4ae71091281cf90ac.png
[20201002150559163.png_pic_center]: /images/20221123/b2e84327c4444dabaa25b8bdf069e926.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 4]: /images/20221123/f69d0a1524be4787aa1578ae522043e4.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 5]: /images/20221123/8b0b79545b164513a3c558d35291afda.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 6]: /images/20221123/c955d4582db944c081c2b7ed48b8f8a5.png
[20201002151346259.png_pic_center]: /images/20221123/1f1b559ba2804c51b2d5dcd925fe00d4.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 7]: /images/20221123/044d9b127c4c42bd8cb633a9656587f7.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 8]: /images/20221123/b7533e737a8e417eb4ed6af49cf857c9.png
[20201002151739971.png_pic_center]: /images/20221123/aba0dc8f4dfe4483aae64790b99ebf48.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 9]: /images/20221123/e683ba67166f4cf8a8cf8c1413d91969.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 10]: /images/20221123/f1ba020eb6c741b9aa7ba9c5e6d56375.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 11]: /images/20221123/cf50e456cf1149569a8985f5330de3e6.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 12]: /images/20221123/3595f985187f4650bd520143a34f861e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 13]: /images/20221123/707f44f126284d6daf63e3772037869e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 14]: /images/20221123/56ad88f850c0445cbf167a7715618125.png
[20201002153115152.png_pic_center]: /images/20221123/81affed20b7d48c9bb6e00da3c6c99e5.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneDU2NjY2NjY_size_16_color_FFFFFF_t_70_pic_center 15]: /images/20221123/41c0658b764f41e1b1185ff9bc28f367.png
[20201002153914293.png_pic_center]: /images/20221123/8cb904e0e47547eabcddad7c062a7a10.png