Java集合框架——ArrayList

本文基于JDK1.8，代码中方法头的注释都是对照源码翻译过来的
自顶向下阅读

类头

public class ArrayList<E> extends AbstractList<E>
    implements List<E>, RandomAccess, Cloneable, java.io.Serializable {
   
    ...
}

可以看到，ArrayList继承了AbstractList抽象类，在此类中封装好了一些方法和抽象方法，当继承此抽象类时，只需要重写其中的抽象方法，而不需要重写全部方法
实现List接口（提供List接口中所有方法的实现）
实现RandomAccess接口，可以随机访问
实现Cloneable接口，支持克隆，可以调用clone()进行拷贝
实现java.io.Serializable接口，支持序列化

成员变量

//序列版本号
private static final long serialVersionUID = 8683452581122892189L;

//默认初始容量
private static final int DEFAULT_CAPACITY = 10;

//用于空实例的共享空数组，用于在用户初始化传的容量为0时使用
private static final Object[] EMPTY_ELEMENTDATA = {
   };

/*
用于缺省大小的空实例的共享空数组实例，用于默认构造器中
将此与 EMPTY_ELEMENTDATA 区分开来，以了解何时需要膨胀多少添加第一个元素
*/
private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {
   };

/*
ArrayList底层实现，是一个Object数组
存储数组列表元素的数组缓冲区
数组的容量是这个数组缓冲器的长度
*/
transient Object[] elementData; // non-private to simplify nested class access

//集合中元素的个数。不是ArrayList容量的大小，而是已经存在的元素个数
private int size;

可以看到ArrayList的初始容量大小是10。

构造方法

/**
 * 构造具有指定初始容量的空列表
 *
 * @param initialCapacity 列表的初始容量
 * @throws IllegalArgumentException 如果指定初始容量是否定的，抛出异常
 */
public ArrayList(int initialCapacity) {
   
    if (initialCapacity > 0) {
   
        this.elementData = new Object[initialCapacity];
    } else if (initialCapacity == 0) {
   
        this.elementData = EMPTY_ELEMENTDATA;
    } else {
   
        throw new IllegalArgumentException("Illegal Capacity: "+
                initialCapacity);
    }
}

创建一个ArrayList对象时若是传入了初始化容量的话，就直接this.elementData = new Object[initialCapacity];
否则，将 private static final Object[] EMPTY_ELEMENTDATA = {} 这个空数组赋值给this.elementData

/**
 * Constructs an empty list with an initial capacity of ten.
 *
 * 构造一个初始容量为10的空列表
 */
public ArrayList() {
   
    this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}

默认构造器，若创建时不指定ArrayList容量，则将DEFAULTCAPACITY_EMPTY_ELEMENTDATA赋给elementData
这里使用的是成员变量DEFAULTCAPACITY_EMPTY_ELEMENTDATA，不是EMPTY_ELEMENTDATA
从源码的注释中可以看到默认构造器创建一个默认大小为10的空数组，这里可能会有疑惑，DEFAULTCAPACITY_EMPTY_ELEMENTDATA和EMPTY_ELEMENTDATA不是两个空Object数组吗，怎么就创建了一个默认容量为10的列表了？在工具方法中的插入会讲到

/**
 * 构造包含指定集合元素的列表，按集合迭代器返回的顺序
 *
 * @param c 将其元素放入列表中的集合
 * @throws NullPointerException 如果指定集合为空抛出异常
 */
public ArrayList(Collection<? extends E> c) {
   
    elementData = c.toArray();
    if ((size = elementData.length) != 0) {
   
        // c.toArray might (incorrectly) not return Object[] (see 6260652)
        if (elementData.getClass() != Object[].class)
            elementData = Arrays.copyOf(elementData, size, Object[].class);
    } else {
   
        // replace with empty array.
        this.elementData = EMPTY_ELEMENTDATA;
    }
}

此构造方法使用了泛型
从成员变量和构造方法可以看出，ArrayList的底层是通过一个Object数组（transient Object[] elementData）来实现的，所以ArrayList能够存放任何对象类型

工具方法

这些方法都是private私有的，不提供给用户使用

1. 扩容

/**
 * 增加容量以确保它至少能容纳由最小容量参数指定的元素数量
 *
 * @param minCapacity 期望最小容量
 */
private void grow(int minCapacity) {
   
    // overflow-conscious code
    int oldCapacity = elementData.length;
    int newCapacity = oldCapacity + (oldCapacity >> 1);
    if (newCapacity - minCapacity < 0)
        newCapacity = minCapacity;
    if (newCapacity - MAX_ARRAY_SIZE > 0)
        newCapacity =