ArrayList 实现 iterator()

ArrayList 实现iterator()ArrayList 实现iterator()2011年08月15日星期一22:052011-08-25 22:05ArrayList 实现ArrayList是List接口的一个可变长数组实现。

实现了所有List接口的操作，并允许存储null值。

除了没有进行同步，ArrayList基本等同于Vector。

在Vector中几乎对所有的方法都进行了同步，但ArrayList仅对writeObject和readObject 进行了同步，其它比如add(Object)、remove(int)等都没有同步。

1.存储ArrayList使用一个Object的数组存储元素。

private transient Object elementData[];ArrayList实现了java.io.Serializable接口，这儿的transient 标示这个属性不需要自动序列化。

下面会在writeObject()方法中详细讲解为什么要这样作。

2.add和removeJava代码public boolean add(Object o) {ensureCapacity(size + 1); // Increments modCount!! elementData[size++] = o;return true;}public boolean add(Object o) {ensureCapacity(size + 1); // Increments modCount!!elementData[size++] = o;return true;}注意这儿的ensureCapacity()方法，它的作用是保证elementData数组的长度可以容纳一个新元素。

在“自动变长机制”中将详细讲解。

Java代码public Object remove(int index) {RangeCheck(index);modCount++;Object oldValue = elementData[index];int numMoved = size - index - 1;if (numMoved > 0)System.arraycopy(elementData, index+1, elementData, index, numMoved);elementData[--size] = null; // Let gc do its workreturn oldValue;}public Object remove(int index) {RangeCheck(index);modCount++;Object oldValue = elementData[index];int numMoved = size - index - 1;if (numMoved > 0)System.arraycopy(elementData, index+1, elementData, index,numMoved);elementData[--size] = null; // Letgc do its workreturn oldValue;}RangeCheck()的作用是进行边界检查。

由于ArrayList采用一个对象数组存储元素，所以在删除一个元素时需要把后面的元素前移。

删除一个元素时只是把该元素在elementData数组中的引用置为null，具体的对象的销毁由垃圾收集器负责。

modCount的作用将在下面的“iterator()中的同步”中说明。

注：在前移时使用了System提供的一个实用方法：arraycopy()，在本例中可以看出System.arraycopy()方法可以对同一个数组进行操作，这个方法是一个native方法，如果对同一个数组进行操作时，会首先把从源部分拷贝到一个临时数组，在把临时数组的元素拷贝到目标位置。

3.自动变长机制在实例化一个ArrayList时，你可以指定一个初始容量。

这个容量就是elementData数组的初始长度。

如果你使用：ArrayList list = new ArrayList(); 则使用缺省的容量：10。

public ArrayList() {this(10);} ArrayList提供了四种add()方法，Java代码public boolean add(Object o)public void add(int index, Object element)public boolean addAll(Collection c)public boolean addAll(int index, Collection c)public boolean add(Object o)public void add(int index, Object element)public boolean addAll(Collection c)public boolean addAll(int index, Collection c)在每一种add()方法中，都首先调用了一个ensureCapacity(int miniCapacity)方法，这个方法保证elementData数组的长度不小于miniCapacity。

ArrayList的自动变长机制就是在这个方法中实现的。

Java代码public void ensureCapacity(int minCapacity) { modCount++;int oldCapacity = elementData.length;if (minCapacity > oldCapacity) {Object oldData[] = elementData;int newCapacity = (oldCapacity * 3)/2 + 1;if (newCapacity < minCapacity)newCapacity = minCapacity;elementData = new Object[newCapacity]; System.arraycopy(oldData, 0, elementData, 0, size); }}public void ensureCapacity(int minCapacity) {modCount++;int oldCapacity = elementData.length;if (minCapacity > oldCapacity) {Object oldData[] = elementData;int newCapacity = (oldCapacity * 3)/2 + 1;if (newCapacity < minCapacity)newCapacity = minCapacity;elementData = newObject[newCapacity];System.arraycopy(oldData, 0, elementData, 0, size);}}从这个方法实现中可以看出ArrayList每次扩容，都扩大到原来大小的1.5倍。

每种add()方法的实现都大同小异，下面给出add(Object)方法的实现：Java代码public boolean add(Object o) {ensureCapacity(size + 1); // Increments modCount!! elementData[size++] = o;return true;}public boolean add(Object o) {ensureCapacity(size + 1); // Increments modCount!!elementData[size++] = o;return true;}4.iterator()中的同步在父类AbstractList中定义了一个int型的属性：modCount，记录了ArrayList结构性变化的次数。

protected transient int modCount = 0; 在ArrayList的所有涉及结构变化的方法中都增加modCount的值，包括：add()、remove()、addAll()、removeRange()及clear()方法。

这些方法每调用一次，modCount的值就加1。

注：add()及addAll()方法的modCount的值是在其中调用的ensureCapacity()方法中增加的。

AbstractList中的iterator()方法（ArrayList直接继承了这个方法）使用了一个私有内部成员类Itr，生成一个Itr对象（Iterator接口）返回：public Iterator iterator() {return new Itr();} Itr实现了Iterator()接口，其中也定义了一个int型的属性：expectedModCount，这个属性在Itr类初始化时被赋予ArrayList对象的modCount属性的值。

int expectedModCount = modCount; 注：内部成员类Itr也是ArrayList类的一个成员，它可以访问所有的AbstractList的属性和方法。

理解了这一点，Itr类的实现就容易理解了。

在Itr.hasNext()方法中：public boolean hasNext() {return cursor != size();} 调用了AbstractList的size()方法，比较当前光标位置是否越界。

在Itr.next()方法中，Itr也调用了定义在AbstractList 中的get(int)方法，返回当前光标处的元素：Java代码public Object next() {try {Object next = get(cursor); checkForComodification();lastRet = cursor++;return next;} catch(IndexOutOfBoundsException e) { checkForComodification();throw new NoSuchElementException();}}public Object next() {try {Object next = get(cursor);checkForComodification();lastRet = cursor++;return next;}catch(IndexOutOfBoundsException e) {checkForComodification();throw newNoSuchElementException();}}注意，在next()方法中调用了checkForComodification()方法，进行对修改的同步检查：Java代码final void checkForComodification() {if (modCount != expectedModCount)throw new ConcurrentModificationException();}final void checkForComodification() {if (modCount != expectedModCount)throw new ConcurrentModificationException();}现在对modCount和expectedModCount的作用应该非常清楚了。