ArrayList内部实现原理

数组在创建的时候长度是固定的,那么就有往ArrayList中不断添加对象的时候,那么ArrayList是如何管理这些数组的?

ArrayList内部通过Object[]实现,我们通过分析ArrayList的构造和add和remove和clear方法来分析

一、构造函数
1）空参构造

/**      
* Constructs a new {@code ArrayList} instance with zero initial capacity.      
*/     
public ArrayList() {         
    array = EmptyArray.OBJECT; 
}

array是一个Object[]类型。当我们new一个空参构造时系统调用了EmptyArray.OBJECT属性，EmptyArray仅
仅是一个系统的类库，该类源码如下：

 

public final class EmptyArray {
     private EmptyArray() {}

     public static final boolean[] BOOLEAN = new boolean[0];
     public static final byte[] BYTE = new byte[0];
     public static final char[] CHAR = new char[0];
     public static final double[] DOUBLE = new double[0];
     public static final int[] INT = new int[0];
     public static final Class<?>[] CLASS = new Class[0];
     public static final Object[] OBJECT = new Object[0];
     public static final String[] STRING = new String[0];
     public static final Throwable[] THROWABLE = new Throwable[0];
     public static final StackTraceElement[] STACK_TRACE_ELEMENT = new StackTraceElement[0]; }

也就是说当我们new 一个空参ArrayList的时候，系统内部使用了一个new Object[0]数组。 

2）带参构造1 

 /** 
     * Constructs a new instance of {@code ArrayList} with the specified 
 * initial capacity.
*      
* @param capacity      
*            the initial capacity of this {@code ArrayList}.      
*/
     public ArrayList(int capacity) {
         if (capacity < 0) {
             throw new IllegalArgumentException("capacity < 0: " + capacity); 
        } 
        array = (capacity == 0 ? EmptyArray.OBJECT : new Object[capacity]); 

} 

该构造函数传入一个int值，该值作为数组的长度值。如果该值小于0，则抛出一个运行时异常。如果等于0，则
使用一个空数组，如果大于0，则创建一个长度为该值的新数组。

3）带参构造2 

/**
      * Constructs a new instance of {@code ArrayList} containing the elements of 
      * the specified collection. 
      *
      * @param collection
      *            the collection of elements to add.
      */
     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;
     } 　

若调用构造函数的时候传入了一个Collection的子类,那么先判断集合是否为null,为null则抛出空指针异常.如果不是则将集合转换为数组a,然后将该数组赋值为成员变量array,将该数组的长度作为成员变量size.这里面它先判断a.getClass是否等于Object[].class,一般都是相等的,判断是为了增加安全性,toArray方法是Collection接口定义的,因此其所有的子类都是这样的方法,list集合的toArray和Set集合的toArray返回的都是Object[]数组.

二、add方法
add方法有两个重载，这里只研究最简单的那个. 

  /** 
     * Adds the specified object at the end of this {@code ArrayList}. 
     *
     * @param object
      * 
           the object to add. 
     * @return always true 
     */
     @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++;
         return true;
     }

1、首先将成员变量array赋值给局部变量a，将成员变量size赋值给局部变量s。
2、判断集合的长度s是否等于数组的长度（如果集合的长度已经等于数组的长度了，说明数组已经满了，该重新
分配新数组了），重新分配数组的时候需要计算新分配内存的空间大小，如果当前的长度小于
MIN_CAPACITY_INCREMENT/2（这个常量值是12，除以2就是 6，也就是如果当前集合长度小于6）则分配12个
长度，如果集合长度大于6则分配当前长度s的一半长度。这里面用到了三元运算符和位运算，s >> 1，意思就是将
s往右移1位，相当于s=s/2，只不过位运算是效率最高的运算。
3、将新添加的object对象作为数组的a[s]个元素。
4、修改集合长度size为s+1
5、modCotun++,该变量是父类中声明的，用于记录集合修改的次数，记录集合修改的次数是为了防止在用迭代
器迭代集合时避免并发修改异常，或者说用于判断是否出现并发修改异常的。
6、return true，这个返回值意义不大，因为一直返回true，除非报了一个运行时异常。

三、remove方法
remove方法有两个重载，这里只研究remove（int index）方法。

 

  /** 
      * Removes the object at the specified location from this list.
      *
      * @param index
      *            the index of the object to remove.
      * @return the removed object.
      * @throws IndexOutOfBoundsException
      *             when {@code location < 0 || location >= size()}
      */
     @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];
         System.arraycopy(a, index + 1, a, index, --s - index);
         a[s] = null;  // Prevent memory leak
         size = s;
         modCount++;
         return result;
     }

1、先将成员变量array和size赋值给局部变量a和s。
2、判断形参index是否大于等于集合的长度，如果成了则抛出运行时异常
3、获取数组中脚标为index的对象result，该对象作为方法的返回值
4、调用System的arraycopy函数

5、接下来就是很重要的一个工作，因为删除了一个元素，而且集合整体向前移动了一位，因此需要将集合最后一个元素设置为null，否则就可能内存泄露。 

6、重新给成员变量array和size赋值
7、记录修改次数
8、返回删除的元素

四、clear方法 

  /**
      * Removes all elements from this {@code ArrayList}, leaving it empty. 
     *
      * @see #isEmpty 
     * @see #size
      */
     @Override public void clear() { 
        if (size != 0) { 
            Arrays.fill(array, 0, size, null);
             size = 0;
             modCount++; 
        }
     } 

如果集合长度不等于0，则将所有数组的值都设置为null，然后将成员变量size 设置为0即可，最后让修改记录加1.