Java源码解读之util.ArrayList
副标题#e#
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要领，假如对同一个数组举办操纵时，会首先把从源部门拷贝到一个姑且数组，在把姑且数组的元素拷贝到方针位置。
#p#副标题#e#
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)要领，返回当前光标处的元素：
#p#分页标题#e#
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(); }
