foreach 循环的底层原理及正确使用方式，一定要掌握这些！

一时失言乱红尘 2023-09-26 11:28 4阅读 0赞

## 前言 ##

并发修改异常是指：`ConcurrentModificationException`。

foreach循环其实是一种加强的for循环，相较于for循环更加简洁，可以用来遍历数组或者集合，它的底层原理其实是实现了迭代器的功能，所以本质上来说foreach可以遍历任何实现了Iterable接口的对象。

## 一、foreach底层实现原理 ##

foreach本质上不过是编译器提供的“语法糖”包装。编译器在遇到`for(Type item : arrayOrList) { }`代码时，会进行代码的转译。

1、当使用foreach对数组进行遍历时，会进行如下转译：

源代码：

![6ab205a8a7c27ba6e7f1068e0b3dfe12.png][]

转译后代码：

![42eb0ef2429b6075a86a55809be02522.png][]

可以发现转译后的代码其实就是我们平常使用for循环遍历数组的方式，即：

for(int i=0;i<array.length;i++) {
        Type item = array[i];
        System.out.println(item);
    }

2、如果是遍历集合类型，则要求被遍历的集合类型必须实现`java.lang.Iterable`接口，在`iterator()`方法中返回一个Iterator迭代器。

源代码：

![c22a7122ca64f07eb501ccabe6f8bcf2.png][]

转译后代码：

![21a2586ba930d1a734510d99a41300cd.png][]

可以发现使用foreach遍历集合时，它会被转译为迭代器的方式去实现集合的遍历。即：

Iterator iterator = strings.iterator();
    while(iterator.hasNext()){
     String string = (String)iterator.next();
     System.out.println(string);
    }

## 二、foreach使用限制 ##

1.  foreach在遍历集合的过程中不能修改集合中元素的值。不过，如果遍历的是数组，则不受此限制。
2.  foreach在遍历过程中不能往集合中增加或删除元素，否则会抛出`ConcurrentModificationException`异常。即使在个别特殊情况下没有抛出这个异常，那也是因为巧合（下文会有说明）。
3.  遍历过程中，集合或数组中同时只有一个元素可见，即只有“当前遍历到的元素”可见，而前一个或后一个元素是不可见的。
4.  只能从前往后正向遍历，不能反向遍历。

错误使用实例

关于第2点，尝试在foreach遍历过程中，添加或删除元素：

ArrayList<String> list = new ArrayList<>();
    list.add("1");
    list.add("2");
    list.add("3");
    list.add("4");
    final String toRemove = "2";
    final String toAdd = "1000";
    for (String item : list) {
        //item = "100"; //这句执行无效，仅仅改变迭代器中item的指向，并不会真正改变list中的元素
        if (toRemove.equals(item)) {
            list.remove(item); //仅当toRemove为"3"时，没有报异常。这是删除倒数第二个元素情况下的“巧合”。
            //list.add(toAdd); // 报ConcurrentModificationException
        }
    }

上述情况抛出并发修改异常的原因分析：1、ArrayList内部有一个成员变量`modCount`，用来记录list内部元素改变的次数。

2、通过`iter=list.iterator()`返回一个新的迭代器对象的时候，iter内部会用`expectedModCount`成员变量记录下当时的modCount的值。在整个循环的遍历过程中，不管是`iter.next()`还是`iter.remove()`方法都会检查原ArrayList的modCount值是否与iter内部记录的`expectedModCount`值一致，一旦不一致就会抛`ConcurrentModificationException`。因此，异常是在增减集合元素后，下一轮循环的`iter.next()`方法中抛出的。

3\\相关源代码

public boolean hasNext() {
        return cursor != size;
    }
    public E next() {
     // 此处抛出异常
        checkForComodification();
        // 省略其他代码...
    }
    final void checkForComodification() {
        if (modCount != expectedModCount)
            throw new ConcurrentModificationException();
    }

4、当toRemove为"3"时，没有报异常，这是为什么呢？

因为，这种情况下，一旦remove之后，原ArrayList的size会减少1，下一轮通过`iter.hasNext()`（hasNext只是返回迭代器内部的迭代位置cursor是否已达到被迭代容器的size，本身不会抛异常）判断是否还有元素时，发现没有了，直接返回false，进而不会调用到`iter.next()`方法。当然也就不会有从这个方法中抛出的异常啦。

正确使用

那么问题来了，如果要在遍历集合的过程中需要删除或添加元素该怎么办？

1、普通for循环

for(int i=0;i<list.size();i++) {
        String item = list.get(i);
        if ("3".equals(item)) {
            list.remove(i);//为了效率，这里最好不要用list.remove(item)
        }
    }

2、Iterator迭代器方式遍历，通过迭代器的remove方法进行删除。

Iterator<String> iter = list.iterator();
    while(iter.hasNext()) {
        String item = iter.next();
        if ("4".equals(item)) {
            iter.remove();
        }
    }

## 总结 ##

在 subList 场景中，高度注意对父集合元素的增加或删除，均会导致子列表的遍历、增加、删除产生 `ConcurrentModificationException` 异常。——阿里巴巴Java开发规范（嵩山版）

[6ab205a8a7c27ba6e7f1068e0b3dfe12.png]: https://img-blog.csdnimg.cn/img_convert/6ab205a8a7c27ba6e7f1068e0b3dfe12.png
[42eb0ef2429b6075a86a55809be02522.png]: https://img-blog.csdnimg.cn/img_convert/42eb0ef2429b6075a86a55809be02522.png
[c22a7122ca64f07eb501ccabe6f8bcf2.png]: https://img-blog.csdnimg.cn/img_convert/c22a7122ca64f07eb501ccabe6f8bcf2.png
[21a2586ba930d1a734510d99a41300cd.png]: https://img-blog.csdnimg.cn/img_convert/21a2586ba930d1a734510d99a41300cd.png