Java源码分析之ArrayList

ArrayList是以数组为基准的容器类，和LinkedList(链表)正好相反。因而ArrayList拥有更好的查找性能，增删操作则差一些。ArrayList封装了对于常规数组的操作，同时可以自动扩展容量。

下面对ArrayList的API进行归类：

1、构造函数：

①ArrayList()　　以空数组进行构造　　

②ArrayList(int)　以指定大小的容量初始化数组

③ArrayList(Collection)　　以指定集合构造ArrayList的数组元素

2、增加元素：

①boolean add(E)　　在数组末尾加入指定元素

②void add(int,E)　　在第一个参数指定的索引处插入元素，后面所有元素后移一个位置

③boolean addAll(Collection)　　在数组末尾加入集合的所有元素

④boolean addAll(int,Collection) 在指定索引处加入集合所有元素

3、删除元素：

①E remove(int)　　移除索引处元素，之后的所有元素前移一位

②boolean remove(Object)　　查找到指定元素，删除之，未删除成功false

③void removeRange(int,int)　删除指定区间的所有元素，删除第一个索引处，但不删除最后一个索引处

④void clear()　　删除所有元素

4、更改元素：

　set(int,Object)　　将指定索引处的值修改为指定的值

5、查找：

①E get(int)　　返回指定索引处的元素

②boolean contains(Object)　　确定是否包含该元素

③int indexOf(Object)　　从前往后查找指定元素的索引，找不到返回-1

④int lastIndexOf(Object)　　从后往前查找元素索引，找不到返回-1

⑤int size()　　返回包含的元素个数

⑥boolean isEmpty()　　确定数组是否为空

6、其他操作：

①Object[] toArray()　　返回Object数组，每个Object对应ArrayList的一个元素

②T[] toArray(T[])　　返回T类型数组，每个T对应ArrayList的一个实际类型的元素

③void trimToSize()　　删除数组最后冗余的值为null的元素

④void ensureCapacity(int)　　使数组容量扩充为指定的容量

⑤Object clone()　　　　复制一个除了内存地址其他信息完全一样的ArrayList

接下来进行源码解析

一、ArrayList包含的成员变量和常量：

transient Object[] array;    //ArrayList的核心，所有操作都围绕它展开，ArrayList类似于数组的包装类int size;    //数组包含的实际元素个数，不是数组容量，为了满足添加元素时数组不必多次扩容，必须预先将容量设定为某个略大些的值。这样就不能用array.length得到元素个数了

二、构造函数3种

    //不给参数，用空数组初始    public ArrayList() {        array = EmptyArray.OBJECT;    }

　　//用一个已有的容器对象初始化数组　　public ArrayList(Collection<? extends E> collection) {        if (collection == null) {            throw new NullPointerException("collection == null");        }        Object[] a = collection.toArray();        if (a.getClass() != Object[].class) {//这个过程看不懂            Object[] newArray = new Object[a.length];            System.arraycopy(a, 0, newArray, 0, a.length);    //数组复制操作            a = newArray;        }        array = a;        size = a.length;    }

   //用指定初始容量初始化数组，当容量可以确定的时候用这个方法可以避免多次更改数组大小，提高性能    public ArrayList(int capacity) {        if (capacity < 0) {            throw new IllegalArgumentException("capacity < 0: " + capacity);        }        array = (capacity == 0 ? EmptyArray.OBJECT : new Object[capacity]);    }

三、增加元素

　　这应该是ArrayList中最复杂的操作了，因为涉及到容量扩充的操作，也是ArrayList和数组最大的区别——自动扩容。但是因为涉及到重新分配内存空间和数组整个复制，多次扩容会影响性能

    @Override     public boolean add(E object) {        Object[] a = array;        //用一个代表，减少书写量        int s = size;        if (s == a.length) {    //数组已满，必须先扩容        //注意这边的扩容策略，必须先开辟一片更大的内存空间，再执行数组复制操作       //具体新数组取多大，如果当前容量小于最小容量增长值的一半，则按这个值增长；否则即原来容量足够大，在原来容量基础上增加一半            Object[] newArray = new Object[s +                    (s < (MIN_CAPACITY_INCREMENT / 2) ?                     MIN_CAPACITY_INCREMENT : s >> 1)];            System.arraycopy(a, 0, newArray, 0, s);  //数组复制操作            array = a = newArray;        }        a[s] = object;    //现在容量足够了，在新数组末尾直接加上这个新元素        size = s + 1;    //别忘了现在元素个数加了一个，必须保持同步        modCount++;  //修改次数加1        return true;    }

    //对上面的扩容操作进行了抽象，可能因为上面的操作更频繁，所以直接把扩容操作写在代码里面以提高性能吧    PRivate static int newCapacity(int currentCapacity) {        int increment = (currentCapacity < (MIN_CAPACITY_INCREMENT / 2) ?                MIN_CAPACITY_INCREMENT : currentCapacity >> 1);        return currentCapacity + increment;    }        //在指定位置插入，除了数组复制操作的范围不同，其他都一样    @Override     public void add(int index, E object) {        Object[] a = array;        int s = size;        if (index > s || index < 0) {            throwIndexOutOfBoundsException(index, s);        }        if (s < a.length) {            System.arraycopy(a, index, a, index + 1, s - index);        } else {            // assert s == a.length;            Object[] newArray = new Object[newCapacity(s)];            System.arraycopy(a, 0, newArray, 0, index);            System.arraycopy(a, index, newArray, index + 1, s - index);            array = a = newArray;        }        a[index] = object;        size = s + 1;        modCount++;    }

四、删除元素

    //这里数组相比链表的劣势就很明显了，删除指定位置的值很简单，但是为了保持后面操作的稳定性，必须将之后的所有值前移一个位置，需要O(n)的时间，而链表只要O(1)。    //这里得到一个很重要的启示：如果要移除多个连续的元素，用for循环配合这个方法会非常损耗性能，应该用下面的removeRange方法    @Override     public E remove(int index) {        Object[] a = array;        int s = size;        if (index >= s) {            throwIndexOutOfBoundsException(index, s);        }        @SuppressWarnings("unchecked")        E result = (E) a[index];   //因为每个元素都是Object类型，必须强转        System.arraycopy(a, index + 1, a, index, --s - index);        a[s] = null;  // 防止内存占用过多，不用的值置为null，给系统及时回收        size = s;        modCount++;        return result;    }   //移除连续区间的元素，只需执行一次arrayCopy操作   @Override protected void removeRange(int fromIndex, int toIndex) {        if (fromIndex == toIndex) {            return;        }        Object[] a = array;        int s = size;        if (fromIndex >= s) {            throw new IndexOutOfBoundsException("fromIndex " + fromIndex                    + " >= size " + size);        }        if (toIndex > s) {            throw new IndexOutOfBoundsException("toIndex " + toIndex                    + " > size " + size);        }        if (fromIndex > toIndex) {            throw new IndexOutOfBoundsException("fromIndex " + fromIndex                    + " > toIndex " + toIndex);        }        System.arraycopy(a, toIndex, a, fromIndex, s - toIndex);        int rangeSize = toIndex - fromIndex;        Arrays.fill(a, s - rangeSize, s, null);   //不用的索引处全部置null        size = s - rangeSize;        modCount++;    }    //需要依次对每一个元素进行比较，性能也不好    //可以看出这个方法只会删除第一个出现的元素，如果存在equals比较后相同的元素，还有遗留    @Override     public boolean remove(Object object) {        Object[] a = array;        int s = size;        if (object != null) {            for (int i = 0; i < s; i++) {                if (object.equals(a[i])) {                    System.arraycopy(a, i + 1, a, i, --s - i);                    a[s] = null;  // Prevent memory leak                    size = s;                    modCount++;                    return true;                }            }        } else {            for (int i = 0; i < s; i++) {                if (a[i] == null) {                    System.arraycopy(a, i + 1, a, i, --s - i);                    a[s] = null;  // Prevent memory leak                    size = s;                    modCount++;                    return true;                }            }        }        return false;    }  

    //这里可以看出是通过将每个元素依次置为null，也需要O(n)时间；并不改变数组容量    @Override     public void clear() {        if (size != 0) {            Arrays.fill(array, 0, size, null);            size = 0;            modCount++;        }    }

五、修改元素值

    //修改元素值很简单，跟数组操作一样，只要O(1)时间就能完成，同时返回被修改的旧值    @Override     public E set(int index, E object) {        Object[] a = array;        if (index >= size) {            throwIndexOutOfBoundsException(index, size);        }        @SuppressWarnings("unchecked")         E result = (E) a[index];        a[index] = object;        return result;    }    

六、查找操作

    //查找操作是ArrayList最大的优势，因为数组在内存中占用连续的存储区域，只要O(1)时间就能找到指定索引所对应的值    @SuppressWarnings("unchecked")     @Override     public E get(int index) {        if (index >= size) {            throwIndexOutOfBoundsException(index, size);        }        return (E) array[index];    }

七、其他操作

　　关于ArrayList向数组转换（其实是返回ArrayList的成员数组的拷贝）

    /*这两个方法经常会搞混，包括我初学的时候也不知道是怎么回事。第一种方法貌似很简单，但是因为返回的是Object数组，后续如果要对这个返回的数组操作一般要转换为具体的类型，就还要对该数组的每个元素都强转一次。而第二个方法传入一个给定的数组，这个数组是指定了具体的类型的，因而返回后这个数组可以直接用。通常传入一个空数组 new T[]{}即可。    */    @Override     public Object[] toArray() {        int s = size;        Object[] result = new Object[s];        System.arraycopy(array, 0, result, 0, s);        return result;    }    /*这里有一点让我不明白，为什么泛型要选择T而不是E？如果T和E不一致，arraycopy操作会成功吗？*/    @Override     public <T> T[] toArray(T[] contents) {        int s = size;        if (contents.length < s) {  //如果提供的数组不够放，重新开辟内存            @SuppressWarnings("unchecked")             T[] newArray                = (T[]) Array.newInstance(contents.getClass().getComponentType(), s);            contents = newArray;        }        System.arraycopy(this.array, 0, contents, 0, s);        if (contents.length > s) {            contents[s] = null;    //这里也让我不明白，为什么只把s处置为null，s以后的不也应该置为null吗？        }        return contents;    }