为什么阿里巴巴java开发手册这么规定?

关注我,精彩文章第一时间推送给你

公众号.jpg

12-e7c4a452-0

  • 首先我尝试写了一下这段代码如下:
private static void testForeachAddOrRemove() {
    var list = new ArrayList<String>();
    list.add("1");
    list.add("2");
    for (var s : list) {
        if ("2".equals(s)) {
            list.remove(s);
        }
    }
    list.forEach(System.out::println);
}

调用结果:异常ConcurrentModificationException如下:

12-e7c4a452-1
  • 如图所示提示ArrayList.java 1043行抛出异常,我用的JDK11,马上点进去看了源码,正是如下这行抛出的异常,原因是modCount != expectedModCount那么这两个变量什么意思呢?继续读源码
final void checkForComodification() {
    if (modCount != expectedModCount)
        throw new ConcurrentModificationException();
}
  • modCount是在抽象类AbstractList中被定义,是集合结构修改的次数,例如添加元素、删除元素等结构调整都会使modCount++,下面列举add()和删除的源码,其他结构化修改也会modCount++,这里不做列举。
public boolean remove(Object o) {
    final Object[] es = elementData;
    final int size = this.size;
    int i = 0;
    found: {
        if (o == null) {
            for (; i < size; i++)
                if (es[i] == null)
                    break found;
        } else {
            for (; i < size; i++)
                if (o.equals(es[i]))
                    break found;
        }
        return false;
    }
    fastRemove(es, i);//-----------重点重点重点------------------
    return true;
}
private void fastRemove(Object[] es, int i) {
    modCount++;//---------------重点重点重点------------------
    final int newSize;
    if ((newSize = size - 1) > i)
        System.arraycopy(es, i + 1, es, i, newSize - i);
    es[size = newSize] = null;
}
public boolean add(E e) {
        modCount++;//-------重点重点重点----------
        add(e, elementData, size);
        return true;
    }
  • expectedModCount是在ArrayList的内部类Itr中声明的,Itr实现类迭代器接口,这里做了下精简只保留了变量声明和next()方法、remove()方法,可以看到迭代器的实现里声明了expectedModCount = modCount;这里理解成预期结构化调整次数 = 结构化调整次数,为什么每次迭代next()和remove()之前都要检查是否相等呢?可以理解成如果没有这个校验,某个线程删除了list的一个元素,此时next方法不知道size变更了,依然去取数组里的数据,会导致数据为null或ArrayIndexOutOfBoundsException异常等问题。
/**
     * An optimized version of AbstractList.Itr
     */
private class Itr implements Iterator<E> {
    int cursor;       // index of next element to return
    int lastRet = -1; // index of last element returned; -1 if no such
    int expectedModCount = modCount;//-------------重点重点重点---------------

    @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();
        }
    }

    final void checkForComodification() {
        if (modCount != expectedModCount)//-----------重点重点重点---------------------
            throw new ConcurrentModificationException();
    }
}
  • 这里串起来就好理解了,由于增强for循环底层反编译之后是迭代器实现的,所以在iterator初始化的时候(也就是for循环开始处),expectedModCount = modCount之后for循环内部进行remove实际上用的是ArrayList的remove()方法,执行了modCount++,而进行for循环底层进行next()迭代的时候进行了checkForComodification()方法判断,modCount++了next()并不知道,所以造成不相等抛出异常。
  • 那为什么使用迭代器可以进行删除而不抛出异常呢?因为看上面的源码,迭代器内部的remove()方法的实现在调用ArrayList.this.remove()进行删除之后,expectedModCount = modCount;及时同步了这两个变量的值。所以使用迭代器删除不会造成问题,写法如下:
private static void testForeachAddOrRemove() {
    var list = new ArrayList<String>();
    list.add("1");
    list.add("2");
    /*for (var s : list) {
        if ("2".equals(s)) {
            list.remove(s);
        }
    }*/
    var iterator = list.iterator();
    while (iterator.hasNext()) {
        var str = iterator.next();
        if ("2".equals(str)) {
            iterator.remove();
        }
    }
    list.forEach(System.out::println);
}

建议:如果是JDK8或者以上版本,推荐使用removeIf进行删除,这也是IDEA推荐写法

写法如下:

private static void testForeachAddOrRemove() {
    var list = new ArrayList<String>();
    list.add("1");
    list.add("2");
    /*for (var s : list) {
            if ("2".equals(s)) {
                list.remove(s);
            }
        }*/
    
    /*var iterator = list.iterator();
    while (iterator.hasNext()) {
        var str = iterator.next();
        if ("2".equals(str)) {
            iterator.remove();
        }
    }*/

    list.removeIf("2"::equals);
    list.forEach(System.out::println);
}
  • 同样可以阅读一下removeIf()的源码
@Override
public boolean removeIf(Predicate<? super E> filter) {
    return removeIf(filter, 0, size);
}

/**
     * Removes all elements satisfying the given predicate, from index
     * i (inclusive) to index end (exclusive).
     */
boolean removeIf(Predicate<? super E> filter, int i, final int end) {
    Objects.requireNonNull(filter);
    int expectedModCount = modCount;//-----------重点重点重点--------------
    final Object[] es = elementData;
    // Optimize for initial run of survivors
    for (; i < end && !filter.test(elementAt(es, i)); i++)
        ;
    // Tolerate predicates that reentrantly access the collection for
    // read (but writers still get CME), so traverse once to find
    // elements to delete, a second pass to physically expunge.
    if (i < end) {
        final int beg = i;
        final long[] deathRow = nBits(end - beg);
        deathRow[0] = 1L;   // set bit 0
        for (i = beg + 1; i < end; i++)
            if (filter.test(elementAt(es, i)))
                setBit(deathRow, i - beg);
        if (modCount != expectedModCount)
            throw new ConcurrentModificationException();
        modCount++;//-------------重点重点重点------------
        int w = beg;
        for (i = beg; i < end; i++)
            if (isClear(deathRow, i - beg))
                es[w++] = es[i];
        shiftTailOverGap(es, w, end);
        return true;
    } else {
        if (modCount != expectedModCount)
            throw new ConcurrentModificationException();
        return false;
    }
}
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,214评论 6 481
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,307评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 152,543评论 0 341
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,221评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,224评论 5 371
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,007评论 1 284
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,313评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,956评论 0 259
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,441评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,925评论 2 323
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,018评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,685评论 4 322
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,234评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,240评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,464评论 1 261
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,467评论 2 352
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,762评论 2 345