Java源码解读之java.util.ArrayList

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和remove

public boolean add(Object o)
{
　ensureCapacity(size + 1);
　// Increments modCount!! elementData[size++] = o;
　return true;
}

　　注意这儿的ensureCapacity()方法，它的作用是保证elementData数组的长度可以容纳一个新元素。在“自动变长机制”中将详细讲解。

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 work return 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()方法，

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的自动变长机制就是在这个方法中实现的。

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

　　从这个方法实现中可以看出ArrayList每次扩容，都扩大到原来大小的1.5倍。

　　每种add()方法的实现都大同小异，下面给出add(Object)方法的实现：

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)方法，返回当前光标处的元素：

public Object next()
{
　try
　{
　　Object next = get(cursor);
　　checkForComodification();
　　lastRet = cursor++;
　　return next;
　}
　catch(IndexOutOfBoundsException e)
　{
　　checkForComodification();
　　throw new NoSuchElementException();
　}
}

　　注意，在next()方法中调用了checkForComodification()方法，进行对修改的同步检查：

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

　　现在对modCount和expectedModCount的作用应该非常清楚了。在对一个集合对象进行跌代操作的同时，并不限制对集合对象的元素进行操作，这些操作包括一些可能引起跌代错误的add()或remove()等危险操作。在AbstractList中，使用了一个简单的机制来规避这些风险。这就是modCount和expectedModCount的作用所在。

　　5.序列化支持

　　ArrayList实现了java.io.Serializable接口，所以ArrayList对象可以序列化到持久存储介质中。 ArrayList的主要属性定义如下：

private static final long serialVersionUID = 8683452581122892189L;

private transient Object elementData[];

private int size;

　　可以看出serialVersionUID和size都将自动序列化到介质中，但elementData数组对象却定义为transient了。也就是说ArrayList中的所有这些元素都不会自动系列化到介质中。为什么要这样实现？因为elementData数组中存储的“元素”其实仅是对这些元素的一个引用，并不是真正的对象，序列化一个对象的引用是毫无意义的，因为序列化是为了反序列化，当你反序列化时，这些对象的引用已经不可能指向原来的对象了。所以在这儿需要手工的对ArrayList的元素进行序列化操作。这就是writeObject()的作用。

private synchronized void writeObject(java.io.ObjectOutputStream s) throws java.io.IOException
{
// Write out element count, and any hidden stuff s.defaultWriteObject();
// Write out array length s.writeInt(elementData.length);
// Write out all elements in the proper order.
for (int i=0; i<size; i++) s.writeObject(elementData[i]);
}

　　这样元素数组elementData中的所以元素对象就可以正确地序列化到存储介质了。

　　对应的readObject()也按照writeObject()方法的顺序从输入流中读取：
private synchronized void readObject(java.io.ObjectInputStream s) throws java.io.IOException, ClassNotFoundException
{
// Read in size, and any hidden stuff s.defaultReadObject();
// Read in array length and allocate array
int arrayLength = s.readInt();
elementData = new Object[arrayLength];
// Read in all elements in the proper order.
for (int i=0; i<size; i++) elementData[i] = s.readObject(); }

---------------------------------------------------------------------------------------------------------------------

Collection
├List
│├LinkedList
│├ArrayList
│└Vector
│　└Stack
└Set
Collection接口
　　Collection是最基本的集合接口，一个Collection代表一组Object，即Collection的元素（Elements）。一些Collection允许相同的元素而另一些不行。一些能排序而另一些不行。Java SDK不提供直接继承自Collection的类，Java SDK提供的类都是继承自Collection的“子接口”如List和Set。
　　所有实现Collection接口的类都必须提供两个标准的构造函数：无参数的构造函数用于创建一个空的Collection，有一个Collection参数的构造函数用于创建一个新的Collection，这个新的Collection与传入的Collection有相同的元素。后一个构造函数允许用户复制一个Collection。
　　如何遍历Collection中的每一个元素？不论Collection的实际类型如何，它都支持一个iterator()的方法，该方法返回一个迭代子，使用该迭代子即可逐一访问Collection中每一个元素。典型的用法如下：
　　　　Iterator it = collection.iterator(); // 获得一个迭代子
　　　　while(it.hasNext()) {
　　　　　　Object obj = it.next(); // 得到下一个元素
　　　　}
　　由Collection接口派生的两个接口是List和Set。

List接口
　　List是有序的Collection，这类似于Java的数组。 和下面要提到的Set不同，List允许有相同的元素。
　　除了具有Collection接口必备的iterator()方法外，List还提供一个listIterator()方法，允许添加，删除，设定元素，还能向前或向后遍历。
　　实现List接口的常用类有LinkedList，ArrayList，Vector和Stack。

LinkedList类
　　LinkedList实现了List接口，允许null元素。此外LinkedList提供额外的get，remove，insert方法在LinkedList的首部或尾部。这些操作使LinkedList可被用作堆栈（stack），队列（queue）或双向队列（deque）。
　　注意LinkedList没有同步方法。如果多个线程同时访问一个List，则必须自己实现访问同步。一种解决方法是在创建List时构造一个同步的List：
　　　　List list = Collections.synchronizedList(new LinkedList(...));

ArrayList类
　　ArrayList实现了可变大小的数组。它允许所有元素，包括null。ArrayList没有同步。
size，isEmpty，get，set方法运行时间为常数。但是add方法开销为分摊的常数，添加n个元素需要O(n)的时间。其他的方法运行时间为线性。
　　每个ArrayList实例都有一个容量（Capacity），即用于存储元素的数组的大小。这个容量可随着不断添加新元素而自动增加。当需要插入大量元素时，在插入前可以调用ensureCapacity方法来增加ArrayList的容量以提高插入效率。
　　和LinkedList一样，ArrayList也是非同步的（unsynchronized）。

Vector类
　　Vector非常类似ArrayList，但是Vector是同步的。由Vector创建的Iterator，虽然和ArrayList创建的Iterator是同一接口，但是，因为Vector是同步的，当一个Iterator被创建而且正在被使用，另一个线程改变了Vector的状态（例如，添加或删除了一些元素），这时调用Iterator的方法时将抛出ConcurrentModificationException，因此必须捕获该异常。

Stack 类
　　Stack继承自Vector，实现一个后进先出的堆栈。