前言

数组是我们最常用最简单的数据结构，Java里对数组做了一个简单的包装，就是ArrayList，提供自动扩容的功能。

最常用法

list在我们日常代码中最为常用的做法是创建一个list，放入数据，取出数据。如下：

@Test
public void testList(){final List<String> list = new ArrayList<>();list.add("a");list.add("b");list.add("c");list.add("a");final String one = list.get(0);final int size = list.size();Assert.assertEquals("a", one);Assert.assertEquals(4, size);
}

下面，将从构造函数开始读取源码。

构造器

第一步，构造一个list对象

/*** Constructs an empty list with an initial capacity of ten.*/
public ArrayList() {this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}

注释写的很清楚，构造一个空list，初始化容量为10. 我们来看看这个初始值。

/*** Shared empty array instance used for default sized empty instances. We* distinguish this from EMPTY_ELEMENTDATA to know how much to inflate when* first element is added.*/
private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};

默认大小的共享的空array实例。可以注意到这是一个static变量，也就是说所有的ArrayList对象共享这个变量。由此可以猜测，这是一个临时值。

然后看我们的数据存储对象elementData.

/*** The array buffer into which the elements of the ArrayList are stored.* The capacity of the ArrayList is the length of this array buffer. Any* empty ArrayList with elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA* will be expanded to DEFAULT_CAPACITY when the first element is added.*/
transient Object[] elementData; // non-private to simplify nested class access

ArrayList的容量(capacity)就是这个数组的长度。
另外，注意修饰关键字transient， 这个不常用，用来表示这个字段不可以被序列化。我们知道，ArrayList实现了Serializable接口，为什么不允许序列化data呢？具体原因参加 http://www.cnblogs.com/woshimrf/p/java-serialize.html

add

public boolean add(E e) {ensureCapacityInternal(size + 1);  // Increments modCount!!elementData[size++] = e;return true;
}

先保证容量，然后插入数据，size数量+1.

private void ensureCapacityInternal(int minCapacity) {if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {minCapacity = Math.max(DEFAULT_CAPACITY, minCapacity);}ensureExplicitCapacity(minCapacity);
}

针对空list第一次add，判断elementData是不是默认的空对象，若是空对象，计算容量。容量的计算也很有意思。

private static final int DEFAULT_CAPACITY = 10;

第一次添加后容量就是10了，当超过10之后就肯定要扩容了。

private void ensureExplicitCapacity(int minCapacity) {modCount++;// overflow-conscious codeif (minCapacity - elementData.length > 0)grow(minCapacity);
}

再一次看到modCount这个变量名，和HashMap一样，记载容量发生变化的次数。而扩容的阈值也相当简单，只要保证当前数量+1能够容纳就好。当数组长度不够的时候，扩容。

private void grow(int minCapacity) {// overflow-conscious codeint oldCapacity = elementData.length;int newCapacity = oldCapacity + (oldCapacity >> 1);if (newCapacity - minCapacity < 0)newCapacity = minCapacity;if (newCapacity - MAX_ARRAY_SIZE > 0)newCapacity = hugeCapacity(minCapacity);// minCapacity is usually close to size, so this is a win:elementData = Arrays.copyOf(elementData, newCapacity);
}

扩容也同HashMap一样，扩大为2倍。然后新建数组，长度为新的容量，复制旧数据。由于过程中没有加锁，ArrayList也不是线程安全的。

Get

public E get(int index) {rangeCheck(index);return elementData(index);
}

实现相当简单，就是通过数组下标读取元素。但值得学习的是编程结构。比如，这个的范围检测，通过一个有意义的方法名封装了一段代码。清晰易懂。

private void rangeCheck(int index) {if (index >= size)throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}

如何使用线程安全的List

自己对变化过程加锁，或者使用

List list = Collection.synchronizedList(new ArrayList());

CopyOnWriteArrayList是一个有趣的例子，它规避了只读操作（如get/contains）并发的瓶颈，但是它为了做到这点，在修改操作中做了很多工作和修改可见性规则。 此外，修改操作还会锁住整个List，因此这也是一个并发瓶颈。所以从理论上来说，CopyOnWriteArrayList并不算是一个通用的并发List。(并发编程网)

参考