数据结构——ArrayList的源码分析(你所有的疑问，都会被解答)

一．首先来看一下ArrayList的类图

1，实现了RandomAccess接口，可以达到随机访问的效果。

2，实现了Serializable接口，可以用来序列化或者反序列化。

3，实现了List接口，是List的实现类之一

4，实现了Collection接口，是Collection家族的成员之一

5，实现了Iterable接口，代表可以对ArrayList进行For-each遍历。

二．然后咱们来看一下ArrayList的相关属性：

1，Long serialVersionUID = 8683452581122892189L，ArrayList序列化的版本ID。

2，Int DEFAULT_CAPACITY = 10，默认的初始容量为10

3，Final Object[] EMPTY_ELEMENTDATA = {}，用于空实例的共享空数组实例。(new ArrayList(0))

4，Final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {}，用于提供默认大小的实例的共享空数组实例。(new ArrayList())

5，transient Object[] elementData。存储ArrayList的数组缓冲区，ArrayList的容量是数组的长度。

6，Int size，ArrayList中元素的数量。

三.接着来看一下ArrayList的构造方法：

有参构造方法：很清晰的可以看出，如果initalCapacity>0，那么就创建一个新的长度为initalCapacity的ArrayList，如果initakCapacity=0，就用空实例的共享空数组实例EMPTY_ELEMENTDATA。其他情况就抛出非法请求。

无参构造方法：也可以很清晰的看出，如果用户不传入初始容量，那么ArrayList就会使将默认大小的实例的共享空数组实例赋值给elementData。

带集合参数的构造方法：

这也是将集合转换为数组的一个方法。@param c，集合，代表集合中的元素都会被放到List当中。@throws 如果集合为空，就抛出空指针异常。为了防止c.toArray不正确的执行，导致没有返回一个Object[]，进行了相关的特殊处理。如果数组的大小等于0的话，那么就将默认的数组空实例大小赋值给elementData。

四．测试异常

那么为什么c.toArray会不返回一个Object[].class呢？来咱们写一些测试类，来测试一下。

如果c.toArray一直会返回Object[].class，那么输出的结果都会是java.lang.Object。但是测试结果如下图。显然从测试结果上，可以看出java.util.ArrayList会返回一个Object对象，但是java.util.Arrays$ArrayList(Array的私有内部类ArrayList)却返回了String对象。这是为什么呢？

翻看ArrayList的toArray方法，会发现使用了Array.copyOf方法。

那么我们继续往下走，看一下这个copyOf方法已经该方法的具体实现形式。

通过这个三元运算符，也能够看出这一个复制的逻辑。如果newType是Object类型的话，那么就返回数组的类型为Object，如果不是的话，就是newType类型的。而我们在ArrayList的toArray方法里面放入的elementData前面已经讲解过是Object类型的，所以ArrayList必然就是一个Object类型。

看完ArrayList内部的toArray源码之后，我们来看一下Array中的内部ArrayList的源码：

只截取了部分源码，可以看出内置的ArrayList是直接把接收到的数组赋值给a，然后通过toArray方法，直接把a的克隆返回，而这是传入的数据是什么类型，返回的就是什么类型。所以，在我们上面的例子中，实际上返回的是String类型的数组，再将其中的元素赋值成Object类型的，自然报错。

好，看完了ArrayList的属性和构造方法，咱们来看一下ArrayList的相关方法。

五．添加元素

在列表的最后添加元素，同时在父类中的abstractList中有记录modCount属性，用来记录数组修改的次数。

在指定位置添加指定的元素：

Index代表插入元素的位置，如果当前位置已经有了元素的话，那么就将该元素和元素后面的所有元素向后移一位，可能会抛出IndexOutOfBoundsException。这时候就需要考虑扩容了。

而这两个插入的方法还需要调用一些相关的私有方法。去计算当然的容量，保证ArrayList的容量健康，源码放下面了，因为比较简单，就不多说啦。

六．扩容机制

添加方法自然和扩容是分不开的。ArrayList自然也是有一套非常完善的扩容机制的，先前不是说了吗，如果在添加元素的时候容量不足，自然就需要扩容了。

1，MAX_ARRAY_SIZE代表了整个数组最大可以分配到的size，一些虚拟机再数组中预留了一些header—words，如果想要尝试分配更大的size，很有可能会报OOM的错误。

2，minCapacity:期望的最小容量，所以扩容一定要比这个数大。

3，最大容量返回Inter.MAX_VALUE。

正常情况下，新容量是原来容量的1.5倍，如果原容量的1.5倍比minCapacity小，那么就扩容到minCapacity，特殊情况扩容到Inter.MAX_VALUE这也就解释了为什么为什么空实例默认数组有的时候是EMPTY_ELEMENTDATA，而又有的时候是DEFAULTCAPACITY_EMPTY_ELEMENTDATA。New ArrayList()会将elementData赋值为DEFAULTCAPACITY_EMPTY_ELEMENTDATA，new ArrayLIst(0)，会将elementData赋值为EMPTY_ELEMENTDATA。后者添加元素会扩容到容量为1，前者扩容之后容量为10。