ArrayList源码解析

柔光的暖阳◎ 2022-07-12 14:00 266阅读 0赞

ArrayList源码　　　　　　　  
　　　　　　1、继承结构和层次关系  
 　　　　　　  ArrayList extends AbstractList  
             AbstractList extends AbstractCollection   
             所有类都继承Object   
　　　　　　　　　　　　　　　  
             1、为什么要先继承AbstractList，而让AbstractList先实现List<E>？而不是让ArrayList直接实现List<E>？  
　　　　　　　　　   这里是有一个思想，接口中全都是抽象的方法，而抽象类中可以有抽象方法，还可以有具体的实现方法，  
                  正是利用了这一点，让AbstractList是实现接口中一些通用的方法，而具体的类，如ArrayList就继承这个AbstractList类，  
                  拿到一些通用的方法，然后自己在实现一些自己特有的方法，这样一来，让代码更简洁，就继承结构最底层的类中通用的方法都抽取出来，先一起实现了，减少重复代码。所以一般看到一个类上面还有一个抽象类，应该就是这个作用  
　　　　　　　　ArrayList实现了哪些接口？  
　　　　　　　　　　　　1、List<E>接口  
　　　　　　　　　　　　2、RandomAccess接口：这个是一个标记性接口，通过查看api文档，它的作用就是用来快速随机存取，有关效率的问题，  
                       在实现了该接口的话，那么使用普通的for循环来遍历，性能更高，例如arrayList。而没有实现该接口的话，使用Iterator来迭代，这样性能更高，例如linkedList。所以这个标记性只是为了让我们知道我们用什么样的方式去获取数据性能更好  
　　　　　　　　　　　　3、Cloneable接口：实现了该接口，就可以使用Object.Clone()方法了。  
　　　　　　　　　　　　4、Serializable接口：实现该序列化接口，表明该类可以被序列化，什么是序列化？简单的说，就是能够从类变成字节流传输，然后还能从字节流变成原来的类。  
　　　　　　  
　　　　　　2、构造方法  
 　　　　　　　　　　三个构造方法  
　　　　　　　　　　　　　　　　   
   
　　　　　　　　　　1、无参构造方法：(原谅我一直不知道能这样贴代码，搞得之前一直都是发截图。)　　　　　　　　　　　　　  
   
1    /\*\*  
2     \* Constructs an empty list with an initial capacity of ten.　　这里就说明了默认会给10的大小，所以说一开始arrayList的容量是10.  
3     \*/  
　　　　//ArrayList中储存数据的其实就是一个数据，这个数组就是elementData，在123行定义的 private transient Object\[\] elementData;  
4　　　 public ArrayList() \{　　  
5         super();        //调用父类中的无参构造方法，父类中的是个空的构造方法  
6         this.elementData = EMPTY\_ELEMENTDATA;//EMPTY\_ELEMENTDATA：是个空的Object\[\]， 将elementData初始化，elementData也是个Object\[\]类型。空的Object\[\]会给默认大小10，等会会解释什么时候赋值的。  
7     \}      
   
   
　　　　　　　　　2、有参构造方法1　　　　　　　  
   
 1     /\*\*  
 2      \* Constructs an empty list with the specified initial capacity.  
 3      \*  
 4      \* @param  initialCapacity  the initial capacity of the list  
 5      \* @throws IllegalArgumentException if the specified initial capacity  
 6      \*         is negative  
 7      \*/  
 8     public ArrayList(int initialCapacity) \{  
 9         super(); //父类中空的构造方法  
10         if (initialCapacity < 0)    //判断如果自定义大小的容量小于0，则报下面这个非法数据异常  
11             throw new IllegalArgumentException("Illegal Capacity: "+  
12                                                initialCapacity);  
13         this.elementData = new Object\[initialCapacity\]; //将自定义的容量大小当成初始化elementData的大小  
14     \}  
   
   
　　　　　　　　　3、有参构造方法2(不常用)  
　　　　　　  
   
   //这个构造方法不常用，举个例子就能明白什么意思  
    /\*  
        Strudent entends Person  
         ArrayList<Person>、 Person这里就是泛型  
        我还有一个Collection<Student>、由于这个Student继承了Person，那么根据这个构造方法，我就可以把这个Collection<Student>转换为ArrayList<Sudent>这就是这个构造方法的作用   
    \*/  
     public ArrayList(Collection<? extends E> c) \{  
        elementData = c.toArray();    //转换为数组  
        size = elementData.length;   //数组中的数据个数  
        // c.toArray might (incorrectly) not return Object\[\] (see 6260652)  
        if (elementData.getClass() != Object\[\].class) //每个集合的toarray()的实现方法不一样，所以需要判断一下，如果不是Object\[\].class类型，那么久需要使用ArrayList中的方法去改造一下。  
            elementData = Arrays.copyOf(elementData, size, Object\[\].class);  
    \}      
   
 　　总结一下：arrayList的构造方法就做一件事情，就是初始化一下储存数据的容器，其实本质上就是一个数组，在其中就叫elementData。其他什么也不做了。  
　　　　  
　　　　  
　　　　　　3、常用方法  
 　　　　　　　　 　　add()方法有两个  
　　　　　　　　　　　　　　　　   
　　　　　　　　　　　　　　boolean add(E)；//默认直接在末尾添加元素。　　　　　　　　　　　  
   
   /\*\*  
     \* Appends the specified element to the end of this list.添加一个特定的元素到list的末尾。  
     \*  
     \* @param e element to be appended to this list  
     \* @return <tt>true</tt> (as specified by \{@link Collection\#add\})  
     \*/  
    public boolean add(E e) \{      
    //确定内部容量是否够了，size是数组中数据的个数，因为要添加一个元素，所以size+1，先判断size+1的这个个数数组能否放得下，就在这个方法中去判断是否数组.length是否够用了。  
        ensureCapacityInternal(size + 1);  // Increments modCount!!  
     //在数据中正确的位置上放上元素e，并且size++  
        elementData\[size++\] = e;  
        return true;  
    \}      
   
　　　　　　　　　　　　　ensureCapacityInternal(xxx);  
   
   private void ensureCapacityInternal(int minCapacity) \{  
        if (elementData == EMPTY\_ELEMENTDATA) \{ //看，判断初始化的elementData是不是空的数组，也就是没有长度  
    //因为如果是空的话，minCapacity=size+1；其实就是等于1，空的数组没有长度就存放不了，所以就将minCapacity变成10，也就是默认大小，但是带这里，还没有真正的初始化这个elementData的大小。  
            minCapacity = Math.max(DEFAULT\_CAPACITY, minCapacity);  
        \}  
    //确认实际的容量，上面只是将minCapacity=10，这个方法就是真正的判断elementData是否够用  
        ensureExplicitCapacity(minCapacity);  
    \}      
   
　　　　　　　　　　　　　ensureExplicitCapacity(xxx)；　  
   
   private void ensureExplicitCapacity(int minCapacity) \{  
        modCount++;  
  
  
        // overflow-conscious code  
//minCapacity如果大于了实际elementData的长度，那么就说明elementData数组的长度不够用，不够用那么就要增加elementData的length。这里有的同学就会模糊minCapacity到底是什么呢，这里给你们分析一下  
  
  
/\*第一种情况：由于elementData初始化时是空的数组，那么第一次add的时候，minCapacity=size+1；也就minCapacity=1，在上一个方法(确定内部容量ensureCapacityInternal)就会判断出是空的数组，就会给  
　　将minCapacity=10，到这一步为止，还没有改变elementData的大小，  
　第二种情况：elementData不是空的数组了，那么在add的时候，minCapacity=size+1；也就是minCapacity代表着elementData中增加之后的实际数据个数，拿着它判断elementData的length是否够用，如果length  
不够用，那么肯定要扩大容量，不然增加的这个元素就会溢出。  
\*/  
  
  
  
  
        if (minCapacity - elementData.length > 0)  
    //arrayList能自动扩展大小的关键方法就在这里了  
            grow(minCapacity);  
    \}  
   
　　　　　　grow(xxx); arrayList核心的方法，能扩展数组大小的真正秘密。  
   
   private void grow(int minCapacity) \{  
        // overflow-conscious code  
        int oldCapacity = elementData.length;  //将扩充前的elementData大小给oldCapacity  
        int newCapacity = oldCapacity + (oldCapacity >> 1);//newCapacity就是1.5倍的oldCapacity  
        if (newCapacity - minCapacity < 0)//这句话就是适应于elementData就空数组的时候，length=0，那么oldCapacity=0，newCapacity=0，所以这个判断成立，在这里就是真正的初始化elementData的大小了，就是为10.前面的工作都市准备工作。  
            newCapacity = minCapacity;  
        if (newCapacity - MAX\_ARRAY\_SIZE > 0)//如果newCapacity超过了最大的容量限制，就调用hugeCapacity，也就是将能给的最大值给newCapacity  
            newCapacity = hugeCapacity(minCapacity);  
        // minCapacity is usually close to size, so this is a win:  
    //新的容量大小已经确定好了，就copy数组，改变容量大小咯。  
        elementData = Arrays.copyOf(elementData, newCapacity);  
    \}  
   
　　　　　　hugeCapacity()  
   
 1 //这个就是上面用到的方法，很简单，就是用来赋最大值。  
 2     private static int hugeCapacity(int minCapacity) \{  
 3         if (minCapacity < 0) // overflow  
 4             throw new OutOfMemoryError();  
 5 //如果minCapacity都大于MAX\_ARRAY\_SIZE，那么就Integer.MAX\_VALUE返回，反之将MAX\_ARRAY\_SIZE返回。因为maxCapacity是三倍的minCapacity，可能扩充的太大了，就用minCapacity来判断了。  
 6 //Integer.MAX\_VALUE:2147483647   MAX\_ARRAY\_SIZE：2147483639  也就是说最大也就能给到第一个数值。还是超过了这个限制，就要溢出了。相当于arraylist给了两层防护。  
 7         return (minCapacity > MAX\_ARRAY\_SIZE) ?  
 8             Integer.MAX\_VALUE :  
 9             MAX\_ARRAY\_SIZE;  
10     \}      
   
   
　　　　　　　　　　void add(int，E)；在特定位置添加元素，也就是插入元素  
   
 1   public void add(int index, E element) \{  
 2         rangeCheckForAdd(index);//检查index也就是插入的位置是否合理。  
 3   
 4 //跟上面的分析一样，具体看上面  
 5         ensureCapacityInternal(size + 1);  // Increments modCount!!  
 6 //这个方法就是用来在插入元素之后，要将index之后的元素都往后移一位，  
 7         System.arraycopy(elementData, index, elementData, index + 1,  
 8                          size - index);  
 9 //在目标位置上存放元素  
10         elementData\[index\] = element;  
11         size++;//size增加1  
12     \}  
   
　　　　　　　　　　rangeCheckForAdd(index)  
    private void rangeCheckForAdd(int index) \{  
        if (index > size || index < 0)   //插入的位置肯定不能大于size 和小于0  
//如果是，就报这个越界异常  
            throw new IndexOutOfBoundsException(outOfBoundsMsg(index));  
    \}  
　　　　　　　　　　System.arraycopy(...)：就是将elementData在插入位置后的所有元素往后面移一位。查看api文档  
   
 1 public static void arraycopy(Object src,  
 2              int srcPos,  
 3              Object dest,  
 4              int destPos,  
 5              int length)  
 6 src：源对象  
 7 srcPos：源对象对象的起始位置  
 8 dest：目标对象  
 9 destPost：目标对象的起始位置  
10 length：从起始位置往后复制的长度。  
11   
12 //这段的大概意思就是解释这个方法的用法，复制src到dest，复制的位置是从src的srcPost开始，到srcPost+length-1的位置结束，复制到destPost上，从destPost开始到destPost+length-1的位置上，  
13 Copies an array from the specified source array, beginning at the specified position, to the specified position of the destination array. A subsequence of array components are copied from   
the source array referenced by src to the destination array referenced by dest. The number of components copied is equal to the length argument. The components at positions srcPos through srcPos+length-1  
 in the source array are copied into positions destPos through destPos+length-1, respectively, of the destination array.   
14   
15 //告诉你复制的一种情况，如果A和B是一样的，那么先将A复制到临时数组C，然后通过C复制到B，用了一个第三方参数  
16 If the src and dest arguments refer to the same array object, then the copying is performed as if the components at positions srcPos through srcPos+length-1 were first copied to  
 a temporary array with length components and then the contents of the temporary array were copied into positions destPos through destPos+length-1 of the destination array.   
17   
18   
19 //这一大段，就是来说明会出现的一些问题，NullPointerException和IndexOutOfBoundsException 还有ArrayStoreException 这三个异常出现的原因。  
20 If dest is null, then a NullPointerException is thrown.   
21   
22 If src is null, then a NullPointerException is thrown and the destination array is not modified.   
23   
24 Otherwise, if any of the following is true, an ArrayStoreException is thrown and the destination is not modified:   
25   
26 The src argument refers to an object that is not an array.   
27 The dest argument refers to an object that is not an array.   
28 The src argument and dest argument refer to arrays whose component types are different primitive types.   
29 The src argument refers to an array with a primitive component type and the dest argument refers to an array with a reference component type.   
30 The src argument refers to an array with a reference component type and the dest argument refers to an array with a primitive component type.   
31 Otherwise, if any of the following is true, an IndexOutOfBoundsException is thrown and the destination is not modified:   
32   
33 The srcPos argument is negative.   
34 The destPos argument is negative.   
35 The length argument is negative.   
36 srcPos+length is greater than src.length, the length of the source array.   
37 destPos+length is greater than dest.length, the length of the destination array.   
38   
39   
40 //这里描述了一种特殊的情况，就是当A的长度大于B的长度的时候，会复制一部分，而不是完全失败。  
41 Otherwise, if any actual component of the source array from position srcPos through srcPos+length-1 cannot be converted to the component type of the destination array by assignment conversion, an ArrayStoreException is thrown.   
In this case, let k be the smallest nonnegative integer less than length such that src\[srcPos+k\] cannot be converted to the component type of the destination array; when the exception is thrown, source array components from positions   
srcPos through srcPos+k-1 will already have been copied to destination array positions destPos through destPos+k-1 and no other positions of the destination array will have been modified. (Because of the restrictions already itemized,   
  
  
this paragraph effectively applies only to the situation where both arrays have component types that are reference types.)  
42   
43 //这个参数列表的解释，一开始就说了，  
44 Parameters:  
45 src - the source array.  
46 srcPos - starting position in the source array.  
47 dest - the destination array.  
48 destPos - starting position in the destination data.  
49 length - the number of array elements to be copied.   
   
　　  
　　　　　　　　删除方法有5个  
　　　　　　　　　　　　挑几个特点的讲解。其实都类似，其中fastRemove(int)方法是private的，是提供给remove(Object)这个方法用的。  
　　　　　　　　　　　　     
　　　　　　　　　　　　remove(int)：通过删除指定位置上的元素  
   
    public E remove(int index) \{  
        rangeCheck(index);//检查index的合理性  
  
  
        modCount++;//这个作用很多，比如用来检测快速失败的一种标志。什么是快速失败请看我的每日面试题四中的解答。  
        E oldValue = elementData(index);//通过索引直接找到该元素  
  
  
        int numMoved = size - index - 1;//计算要移动的位数。  
        if (numMoved > 0)  
//这个方法也已经解释过了，就是用来移动元素的。  
            System.arraycopy(elementData, index+1, elementData, index,  
                             numMoved);  
//将--size上的位置赋值为null，让gc(垃圾回收机制)更快的回收它。  
        elementData\[--size\] = null; // clear to let GC do its work  
//返回删除的元素。  
        return oldValue;  
    \}  
   
   
　　　　　　　　　　　　remove(Object)：这个方法可以看出来，arrayList是可以存放null值得。  
   
  //感觉这个不怎么要分析吧，都看得懂，就是通过元素来删除该元素，就依次便利，如果有这个元素，就将该元素的索引传给fastRemobe(index)，使用这个方法来删除该元素，  
//fastRemove(index)方法的内部跟remove(index)的实现几乎一样，这里最主要是知道arrayList可以存储null值  
     public boolean remove(Object o) \{  
        if (o == null) \{  
            for (int index = 0; index < size; index++)  
                if (elementData\[index\] == null) \{  
                    fastRemove(index);  
                    return true;  
                \}  
        \} else \{  
            for (int index = 0; index < size; index++)  
                if (o.equals(elementData\[index\])) \{  
                    fastRemove(index);  
                    return true;  
                \}  
        \}  
        return false;  
    \}  
   
　　　　　　　　　　clear()：将elementData中每个元素都赋值为null，等待垃圾回收将这个给回收掉，所以叫clear  
   
    public void clear() \{  
        modCount++;  
  
  
        // clear to let GC do its work  
        for (int i = 0; i < size; i++)  
            elementData\[i\] = null;  
  
  
        size = 0;  
    \}  
   
　　　　　　　　　　removeAll(collection c)：  
1     public boolean removeAll(Collection<?> c) \{  
2         return batchRemove(c, false);//批量删除  
3     \}  
　　　　　　　　　　batchRemove(xx,xx)：用于两个方法，一个removeAll()：它只清楚指定集合中的元素，retainAll()用来测试两个集合是否有交集。  
   
//这个方法，用于两处地方，如果complement为false，则用于removeAll如果为true，则给retainAll()用，retainAll（）是用来检测两个集合是否有交集的。  
   private boolean batchRemove(Collection<?> c, boolean complement) \{  
        final Object\[\] elementData = this.elementData; //将原集合，记名为A  
        int r = 0, w = 0;   //r用来控制循环，w是记录有多少个交集  
        boolean modified = false;    
        try \{  
            for (; r < size; r++)  
//参数中的集合C一次检测集合A中的元素是否有，  
                if (c.contains(elementData\[r\]) == complement)  
//有的话，就给集合A  
                    elementData\[w++\] = elementData\[r\];  
        \} finally \{  
            // Preserve behavioral compatibility with AbstractCollection,  
            // even if c.contains() throws.  
//如果contains方法使用过程报异常  
            if (r != size) \{  
//将剩下的元素都赋值给集合A，  
                System.arraycopy(elementData, r,  
                                 elementData, w,  
                                 size - r);  
                w += size - r;  
            \}  
            if (w != size) \{  
//这里有两个用途，在removeAll()时，w一直为0，就直接跟clear一样，全是为null。  
//retainAll()：没有一个交集返回true，有交集但不全交也返回true，而两个集合相等的时候，返回false，所以不能根据返回值来确认两个集合是否有交集，而是通过原集合的大小是否发生改变来判断，如果原集合中还有元素，则代表有交集，而元集合没有元素了，说明两个集合没有交集。  
                // clear to let GC do its work  
                for (int i = w; i < size; i++)  
                    elementData\[i\] = null;  
                modCount += size - w;  
                size = w;  
                modified = true;  
            \}  
        \}  
        return modified;  
    \}  
   
   
　　　　　　4、总结  
　　　　　　　　1、arrayList可以存放null。  
　　　　　　　　2、arrayList本质上就是一个elementData数组。  
　　　　　　　　3、arrayList区别于数组的地方在于能够自动扩展大小，其中关键的方法就是gorw()方法。  
　　　　　　　　4、arrayList中removeAll(collection c)和clear()的区别就是removeAll可以删除批量指定的元素，而clear是全是删除集合中的元素。  
　　　　　　　　5、arrayList由于本质是数组，所以它在数据的查询方面会很快，而在插入删除这些方面，性能下降很多，有移动很多数据才能达到应有的效果  
　　　　　　　　6、arrayList实现了RandomAccess，所以在遍历它的时候推荐使用for循环