结合ArrayList源码看fast-fail机制

鱼鱼敲敲打打

已于 2022-06-09 21:55:36 修改

阅读量255

点赞数 1

文章标签： java 开发语言

于 2022-06-09 21:53:19 首次发布

本文链接：https://blog.csdn.net/weixin_43658665/article/details/125166102

版权

fast-fail机制是一种错误检测机制，在遍历元素时很常见。虽然很基础，但是突然被问起来，靠我的三秒记忆还真不容易说清楚，所以来记录下，方便回忆和复习~
文章内出现的源码来自jdk1.8版本

大纲

什么是fast-fail
出现场景
源码解读

什么是fast-fail

举个生活中的例子，在上高中的时后，我们每天早上跑操的时候需要统计出勤的人数，我会负责去数今天到了多少人。

报数！        1      2      3      4
 /         /      /      /      /
( `д´)    (`ヮ´) (`ヮ´) (`ヮ´) (`ヮ´)

但是！有些不想跑操的同学会在统计完人数后，悄悄溜走。导致实际上出勤人数和统计的预期人数不符合。

报告出勤4人  这不是只有三人吗                         报完数溜啰
 /         /                                        /
( `д´)( ´_ゝ`)       (`ヮ´ )σ`∀´) ﾟ∀ﾟ)σ          ᕕ( ᐛ )ᕗ

而fast-fail机制，就是一种针对这种情况的错误机制。将同学们看作集合里的元素，统计人数的我就是迭代器，当迭代器发现集合的结构发生改变时，直接抛出ConcurrentModificationException异常

出现场景

fast-fail在单线程和多线程都会出现。只要迭代器遍历着发现集合结构和之前不同了，都会报错：

public class FastFailDemo {

    public static void main(String[] args) {
        List<Integer> list = new ArrayList<>();
        list.add(1);
        list.add(2);
        list.add(3);
        list.add(4);
        Iterator iterator = list.iterator(); // 获取迭代器
        
        while (iterator.hasNext()) {
            // add和remove修改了原有结构，会导致报错
            list.add(7);
            list.remove(2);
            // set虽然修改了元素，但是结构未修改，不会导致报错
            list.set(0, 7);
            System.err.println(iterator.next()); // 在这一行报错 java.util.ConcurrentModificationException
        }
    }
}

在有subList的情况下，如果对原集合元素进行了增加或删除，且又对subList进行了遍历或增删操作，也会抛出异常：

public class FastFailDemo {

    public static void main(String[] args) {
        List<Integer> list = new ArrayList<>();
        list.add(1);
        list.add(2);
        list.add(3);
        list.add(4);
        Iterator<Integer> iterator = list.iterator();

        List<Integer> subList = list.subList(0, 3);
        System.out.println(subList); // 正常遍历[1, 2, 3]
        subList.add(7);
        System.out.println(subList); // 报错 java.util.ConcurrentModificationException
    }
}

源码解读

在这里插入图片描述

1. 什么是modCount

ArrayList继承的AbstractList里有一个关键的成员变量modCount记录了集合结构被修改的次数。源码中对modCount描述为：
modCount为表示列表结构修改的次数。结构修改是指集合大小的变化，避免改变使得在迭代中产生不正确的结果。该值在迭代器中使用到，如果该值的变化不符合预期，迭代器会在调用next remove previous set add方法时抛出异常ConcurrentModificationException
在这里插入图片描述

2. 调用ArrayList的方法修改List结构

然后查看会对列表结构产生修改的方法：add
在这里插入图片描述
在第一行，就是增加modCount的方法，然后才是真正的把新元素插入集合，转跳到具体的修改部分：

总结下add方法的大致流程是：

计算增加元素后的大小(最少需要多大的容量)
增加修改次数modCount++
容量若不够需要扩容（原容量的1.5倍，不是这个文章的重点就不细说了）
将新元素加入集合

3. 迭代器遍历抛出异常

然后再看报错的迭代器部分：
迭代器由ArrayList的内部类Itr实现，在构造迭代器时，将List现有的modCount赋值给迭代器的属性。
在这里插入图片描述
在next方法的第一步就是先校验：集合结构是否被修改过

由于创建迭代器后，又对list进行了两次add操作，所以modCount != expectedModCount返回true，导致报错。