Java迭代器升级版探究(2)

/*
 * Private remove method that skips bounds checking and does not
 * return the value removed.
 */
private void fastRemove(int index) {
    modCount++;
    int numMoved = size - index - 1;
    if (numMoved > 0)
        System.arraycopy(elementData, index+1, elementData, index,
                        numMoved);
    elementData[--size] = null; // clear to let GC do its work
}

以 ArrayList 类里 remove() 方法为例来看,只要我们调用此方法一次,那么 modCount 便自加一次 1。于是我们可以理解,modCount 是一个记录容器对象修改次数的变量,它是一个计数器。小伙伴门完全可以去查源码,不仅仅是 remove(),凡是涉及对 ArrayList 对象的增、删、改的任何一种方法,当我们调用一次这类方法,那 modCount 便会自加一次 1,即,记录一次容器对象的改变。例如,当我创建一个 ArrayList 对象 al 后,我调用 al.add() 一次,调用 al.remove() 一次,再调用 al.add() 一次后,那么 modCount = 3,由此说明 al 被修改了3次。

在没有创建迭代器对象之前的任何对容器对象的增删改操作只会让 modCount 自加,当我们创建一个对应容器类的迭代器对象之后,int expectedModCount = modCount,迭代器对象里的 expectedModCount 成员变量被初始化为与 modCount 里的数值一样的值。

有了迭代器,然后用迭代器进行迭代,就涉及到迭代器对象的 hasNext();next()方法了,我们看下这两个方法的源码:

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];
}

由此可见,两个方法都不会改变 expectedModCount 的值,那怎么理解 expectedModCount 这个成员变量呢?再看迭代器里的 remove() 方法源码:

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

在 remove() 方法的方法体里,有“expectedModCount = modCount; “这样一行语句,那么不管我们调用多少次迭代器的 remove() 方法,始终会让 expectedModCount 的数值等于 modCount 的值,这里的 expectedModCount 可理解为使用迭代器对容器类对象进行修改的”期望修改次数“,就是说:迭代器里的这个”期望修改次数“一定要和已经记录下的容器的修改次数 modCount 一样,那么当你通过迭代器对容器类对象遍历并进行修改时,使用迭代器本身的 remove() 才有意义(即让 expectedModCount = modCount)!!而在 next() 方法体里首行的 checkForComodification() 方法是这样定义的:

final void checkForComodification() {
    if (modCount != expectedModCount)
        throw new ConcurrentModificationException();
}

看了源码,我们应该知道: checkForComodification() 的作用是检查 expectedModCount 和 modCount 的值是否相等,如果不等,则抛出 ConcurrentModificationException 这个异常。这下显而易见了,在我们通过迭代器进行遍历时,若使用非迭代器对象提供的修改容器类对象的任何方法,则 modCount 的值增大,而 expectedModCount 地值不发生改变,那么在进入下一次循环时,next() 方法体里首行的 checkForComodification() 方法检查到 expectedModCount 与 modCount 不等后抛出了 ConcurrentModificationException。

那么,在通过迭代器进行迭代时,容器对象里的任何元素都不能通过容器类所提供的方法进行增删改的操作么?非也非也,Alei留下这样一段代码:

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处:https://www.heiqu.com/2982304e015e1ae0cf46783c1988217e.html