美文网首页
java基础—浅析ArrayList源码

java基础—浅析ArrayList源码

作者: 锋Plus | 来源:发表于2017-10-16 20:45 被阅读15次

ArrayList简介

ArrayList是基于数组实现的,是一个动态数组,其容量能自动增长,类似于C语言中的动态申请内存,动态增长内存。

ArrayList不是线程安全的,只能在单线程环境下,多线程环境下可以考虑用collections.synchronizedList(List l)函数返回一个线程安全的ArrayList类,也可以使用concurrent并发包下的CopyOnWriteArrayList类。

ArrayList实现了Serializable接口,因此它支持序列化,能够通过序列化传输,实现了RandomAccess接口,支持快速随机访问,实际上就是通过下标序号进行快速访问,实现了Cloneable接口,能被克隆。

每个ArrayList实例都有一个容量,该容量是指用来存储列表元素的数组的大小。它总是至少等于列表的大小。随着向ArrayList中不断添加元素,其容量也自动增长。自动增长会带来数据向新数组的重新拷贝,因此,如果可预知数据量的多少,可在构造ArrayList时指定其容量。在添加大量元素前,应用程序也可以使用ensureCapacity操作来增加ArrayList实例的容量,这可以减少递增式再分配的数量。

ArrayList源码剖析

ArrayList的源码如下(加入了比较详细的注释):


package java.util;  
  
import java.util.function.Consumer;  
import java.util.function.Predicate;  
import java.util.function.UnaryOperator;  
  
/** 
 * 可变数组实现了List接口,实现了所有列表操作,允许空值null。还提供了操作数组大小的方法用以内部使用。 
 * 除了不支持并发访问,这个类完全等同于Vector 
 * 以下几个操作都是常数时间:size、isEmpty、get、set、iterator和listIterator 
 * add操作均摊时间为常数时间 
 * 其他操作是线性时间,常数因子比LinkedList实现小。 
 * 每个ArrayList实例都有一个capacity。capacity是list中用于保存元素的数组大小。大于等于list的Size。 
 * 添加元素后,capacity自增。 
 *  
 * 应用可以在添加大量元素之前,通过ensureCapacity操作提升容量,这样可以减少因为容量增长造成的内存重新分配。 
 * 该实现不支持并发。多线程下需要外部同步:List list = Collections.synchronizedList(new ArrayList(...)); 
 *  
 * 迭代器iterator和listIterator都是快速失败(fail-fast)的 
 * 并发访问下行为未定。 
 */  
    /** 
     * 支持泛型,继承自AbstractList,实现了List、RandomAccess、Cloneable、java.io.Serializable接口 
     * AbstractList提供了List接口的默认实现(个别方法为抽象方法) 
     * List接口定义了列表必须实现的方法 
     * RandomAccess是一个标记接口,接口内没有定义任何内容 
     * 实现了Cloneable接口的类,可以调用Object.clone()方法返回该对象的浅拷贝 
     * 通过实现java.io.Serializable接口以启用其序列化功能。未实现此接口的类将无法使其任何状态序列化或 反序列化。 
     * 序列化接口没有方法或字段,仅用于标识可序列化的语义。 
     */  
public class ArrayList<E> extends AbstractList<E>  
        implements List<E>, RandomAccess, Cloneable, java.io.Serializable  
{  
    private static final long serialVersionUID = 8683452581122892189L;  
  
    /** 
     * 默认初始容量. 
     */  
    private static final int DEFAULT_CAPACITY = 10;  
  
    /** 
     * 所有空实例共享的空数组实例. 
     */  
    private static final Object[] EMPTY_ELEMENTDATA = {};  
  
    /** 
     * 存储ArrayList元素的数组,为空时指向EMPTY_ELEMENTDATA 
     */  
    transient Object[] elementData; // non-private to simplify nested class access  
  
    /** 
     * ArrayList的大小 
     */  
    private int size;  
  
    /** 
     * 构造一个具有指定初始容量的空list 
     * @param  initialCapacity  the initial capacity of the list 
     * @throws IllegalArgumentException if the specified initial capacity 
     *         is negative 
     */  
    public ArrayList(int initialCapacity) {  
        super();  
        if (initialCapacity < 0)  
            throw new IllegalArgumentException("Illegal Capacity: "+  
                                               initialCapacity);  
        this.elementData = new Object[initialCapacity];  
    }  
  
    /** 
     * 构造一个具有初始容量10的空list 
     */  
    public ArrayList() {  
        super();  
        this.elementData = EMPTY_ELEMENTDATA;  
    }  
  
    /** 
     * 构造一个包含指定集合中元素的list,按照迭代器返回的顺序 
     * @param c the collection whose elements are to be placed into this list 
     * @throws NullPointerException if the specified collection is null 
     */  
    public ArrayList(Collection<? extends E> c) {  
        elementData = c.toArray();  
        size = elementData.length;  
        // c.toArray might (incorrectly) not return Object[] (see 6260652)  
        //返回若不是Object[]将调用Arrays.copyOf方法将其转为Object[]  
        if (elementData.getClass() != Object[].class)  
            elementData = Arrays.copyOf(elementData, size, Object[].class);  
    }  
  
    /** 
     * 将ArrayList实例的容量裁剪到list当前大小Size。 
     * 应用程序使用该操作降低ArrayList实例占用的存储 
     * 因为清空等一些操作只改变参数而没有释放空间 
     */  
    public void trimToSize() {  
        modCount++;  
        if (size < elementData.length) {  
            elementData = Arrays.copyOf(elementData, size);  
        }  
    }  
  
    /** 
     * 提升ArrayList实例的容量,确保它可以保存至少minCapacity的元素 
     * @param   minCapacity   the desired minimum capacity 
     */  
    public void ensureCapacity(int minCapacity) {  
            //如果数组当前为空,添加元素时最小增长容量为DEFAULT_CAPACITY  
            //否则,增长容量大于0即可  
        int minExpand = (elementData != EMPTY_ELEMENTDATA)  
            // any size if real element table  
            ? 0  
            // larger than default for empty table. It's already supposed to be  
            // at default size.  
            : DEFAULT_CAPACITY;  
  
        if (minCapacity > minExpand) {  
            ensureExplicitCapacity(minCapacity);  
        }  
    }  
  
    private void ensureCapacityInternal(int minCapacity) {  
        if (elementData == EMPTY_ELEMENTDATA) {  
            minCapacity = Math.max(DEFAULT_CAPACITY, minCapacity);  
        }  
  
        ensureExplicitCapacity(minCapacity);  
    }  
  
    private void ensureExplicitCapacity(int minCapacity) {  
        modCount++;             //list结构被改变的次数  
  
        // overflow-conscious code  
        //目标容量大于当前容量才增长  
        if (minCapacity - elementData.length > 0)  
            grow(minCapacity);  
    }  
  
    /** 
     * 数组可分配最大容量,有些虚拟机中会给数组保存头部,尝试分配更大的数组会导致内存溢出 
     */  
    private static final int MAX_ARRAY_SIZE = Integer.MAX_VALUE - 8;  
  
    /** 
     * 提升容量,保证它可以存储指定参数个元素 
     * @param minCapacity the desired minimum capacity 
     */  
    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 = hugeCapacity(minCapacity);  
        // minCapacity is usually close to size, so this is a win:  
        //返回一个内容为原数组元素,大小为新容量的数组赋给elementData  
        elementData = Arrays.copyOf(elementData, newCapacity);  
    }  
    /** 
     * 容量过大,栈溢出 
     */  
    private static int hugeCapacity(int minCapacity) {  
        if (minCapacity < 0) // overflow  
            throw new OutOfMemoryError();  
        return (minCapacity > MAX_ARRAY_SIZE) ?  
            Integer.MAX_VALUE :  
            MAX_ARRAY_SIZE;  
    }  
  
    /** 
     * Returns the number of elements in this list. 
     * 
     * @return the number of elements in this list 
     */  
    public int size() {  
        return size;  
    }  
  
    /** 
     * Returns <tt>true</tt> if this list contains no elements. 
     * 
     * @return <tt>true</tt> if this list contains no elements 
     */  
    public boolean isEmpty() {  
            //直接返回size是否等于0  
        return size == 0;  
    }  
  
    /** 
     * 若列表中包含该元素就返回true
     * @param o element whose presence in this list is to be tested 
     * @return <tt>true</tt> if this list contains the specified element 
     */  
    public boolean contains(Object o) {  
            //indexOf方法返回值与0比较来判断对象是否在list中  
        return indexOf(o) >= 0;  
    }  
  
    /** 
     * 通过遍历elementData数组来判断对象是否在list中,若存在,返回首次出现的index(【0,size-1】) 
     * 若不存在,返回-1 
     * 所以contains方法可以通过indexOf(Object)方法的返回值来判断对象是否被包含在list中 
     */  
    public int indexOf(Object o) {  
        if (o == null) {  
            for (int i = 0; i < size; i++)  
                if (elementData[i]==null)  
                    return i;  
        } else {  
            for (int i = 0; i < size; i++)  
                if (o.equals(elementData[i]))  
                    return i;  
        }  
        return -1;  
    }  
  
    /** 
     * 返回的是传入对象在elementData数组中最后出现的index值,没有则是-1 
     */  
    public int lastIndexOf(Object o) {  
        if (o == null) {  
                //从后向前遍历数组,若遇到object则返回index值,若没有遇到,返回-1  
            for (int i = size-1; i >= 0; i--)  
                if (elementData[i]==null)  
                    return i;  
        } else {  
            for (int i = size-1; i >= 0; i--)  
                if (o.equals(elementData[i]))  
                    return i;  
        }  
        return -1;  
    }  
  
    /** 
     * 返回ArrayList实例的浅表副本(不复制这些元素本身) 
     * @return a clone of this <tt>ArrayList</tt> instance 
     */  
    public Object clone() {  
        try {  
                //调用父类的clone方法返回一个对象的副本  
            ArrayList<?> v = (ArrayList<?>) super.clone();  
                //将返回对象的elementData数组的内容赋值为原对象elementData数组的内容  
            v.elementData = Arrays.copyOf(elementData, size);  
                //将副本的modCount设置为0  
            v.modCount = 0;  
            return v;  
        } catch (CloneNotSupportedException e) {  
            // this shouldn't happen, since we are Cloneable  
            throw new InternalError(e);  
        }  
    }  
  
    /** 
     * 返回一个包含列表中所有元素的数组 
     * 返回的数组是一个安全的数组,即没有列表中的引用,是一个全新申请的数组 
     * @return an array containing all of the elements in this list in 
     *         proper sequence 
     */  
    public Object[] toArray() {  
            //拷贝elementData从0到size-1位置的元素到新数组并返回  
        return Arrays.copyOf(elementData, size);  
    }  
  
    /** 
     * 返回一个包含列表所有元素的数组,若指定数组和列表大小合适,就在数组中返回元素,否则,重新申请数组空间 
     * 若指定数组空间有多余,则把紧跟在元素后面的位置设为null 
     * @param a the array into which the elements of the list are to 
     *          be stored, if it is big enough; otherwise, a new array of the 
     *          same runtime type is allocated for this purpose. 
     * @return an array containing the elements of the list 
     * @throws ArrayStoreException if the runtime type of the specified array 
     *         is not a supertype of the runtime type of every element in 
     *         this list 
     * @throws NullPointerException if the specified array is null 
     */  
    @SuppressWarnings("unchecked")  
    public <T> T[] toArray(T[] a) {  
            //如果传入数组的长度小于size,返回一个新的数组,大小为size,类型与传入数组相同  
        if (a.length < size)  
            // Make a new array of a's runtime type, but my contents:  
            return (T[]) Arrays.copyOf(elementData, size, a.getClass());  
            //否则,将elementData复制到传入数组并返回传入的数组  
        System.arraycopy(elementData, 0, a, 0, size);  
            //若传入数组长度大于size,把返回数组的第size个元素置为空  
        if (a.length > size)  
            a[size] = null;  
        return a;  
    }  
  
    // Positional Access Operations  
  
    @SuppressWarnings("unchecked")  
    E elementData(int index) {  
        return (E) elementData[index];  
    }  
  
    /** 
     * 返回指定位置的元素,即elementData[index] 
     * @param  index index of the element to return 
     * @return the element at the specified position in this list 
     * @throws IndexOutOfBoundsException {@inheritDoc} 
     */  
    public E get(int index) {  
            //范围检查  
        rangeCheck(index);  
        return elementData(index);  
    }  
  
    /** 
     * 将列表中指定位置的元素替换为指定元素 
     * @param index index of the element to replace 
     * @param element element to be stored at the specified position 
     * @return the element previously at the specified position 
     * @throws IndexOutOfBoundsException {@inheritDoc} 
     */  
    public E set(int index, E element) {  
            //范围检查  
        rangeCheck(index);  
  
        E oldValue = elementData(index);  
            //用新元素替换旧元素  
        elementData[index] = element;  
            //返回旧元素  
        return oldValue;  
    }  
  
    /** 
     * 在列表尾部添加一个元素,容量的扩展将导致数组元素的复制,多次扩展将执行多次整个数组内容的复制。 
     * 若能提前大致判断list的长度,调用ensureCapacity调整容量,将有效的提高运行速度 
     */  
    public boolean add(E e) {  
            //确保不会产生越界  
        ensureCapacityInternal(size + 1);  // Increments modCount!!  
        elementData[size++] = e;  
        return true;  
    }  
  
    /** 
     * 在指定位置插入元素,当前位置原元素及所有后继元素向右移动一个位置 
     * @param index index at which the specified element is to be inserted 
     * @param element element to be inserted 
     * @throws IndexOutOfBoundsException {@inheritDoc} 
     */  
    public void add(int index, E element) {  
            //判断指定位置Index是否超出elementData的界限  
        rangeCheckForAdd(index);  
            //调用ensureCapacityInternal调整容量(若容量足够则不会扩展)  
        ensureCapacityInternal(size + 1);  // Increments modCount!!  
            //调用System.arrayCopy将elementData从Index开始的size-index个元素复制到index+1至size+1的位置  
            //即index开始的元素都向后移动一个位置,然后将Index位置的值指向element  
        System.arraycopy(elementData, index, elementData, index + 1,  
                         size - index);  
        elementData[index] = element;  
        size++;  
    }  
  
    /** 
     * 删除指定位置的元素,将后继元素向前移动一个位置 
     * @param index the index of the element to be removed 
     * @return the element that was removed from the list 
     * @throws IndexOutOfBoundsException {@inheritDoc} 
     */  
    public E remove(int index) {  
            //检查范围  
        rangeCheck(index);  
            //修改modCount  
        modCount++;  
            //保留将要被移除的元素  
        E oldValue = elementData(index);  
  
        int numMoved = size - index - 1;  
        if (numMoved > 0)  
                //将移除位置之后的元素向前挪动一个位置  
            System.arraycopy(elementData, index+1, elementData, index,  
                             numMoved);  
            //将list末尾元素置空(null)  
        elementData[--size] = null; // clear to let GC do its work  
            //返回被移除的元素  
        return oldValue;  
    }  
  
    /** 
     * 删除首次出现在列表中的元素,如果不包含该元素,不作变化 
     * @param o element to be removed from this list, if present 
     * @return <tt>true</tt> if this list contained the specified element 
     */  
    public boolean remove(Object o) {  
        if (o == null) {  
                //从前向后遍历所有元素  
            for (int index = 0; index < size; index++)  
                if (elementData[index] == null) {  
                        //与remove(index)的不同之处在于跳过边界处理,也不返回被移除的元素  
                    fastRemove(index);  
                    return true;  
                }  
        } else {  
            for (int index = 0; index < size; index++)  
                if (o.equals(elementData[index])) {  
                    fastRemove(index);  
                    return true;  
                }  
        }  
        return false;  
    }  
  
    /* 
     * 跳过边界检查也不返回删除值的删除函数 
     */  
    private void fastRemove(int index) {  
        modCount++;  
        int numMoved = size - index - 1;  
        if (numMoved > 0)  
            System.arraycopy(elementData, index+1, elementData, index,  
                             numMoved);  
        elementData[--size] = null; // clear to let GC do its work  
    }  
  
    /** 
     * 清空列表中的所有元素,操作后列表为空 
     * clear的时候并没有修改elementData的长度,这使得确定不再修改list内容之后最好调用trimToSize来释放掉一些空间 
     */  
    public void clear() {  
        modCount++;  
  
        // clear to let GC do its work  
            //等待垃圾回收器回收  
        for (int i = 0; i < size; i++)  
            elementData[i] = null;  
  
        size = 0;  
    }  
  
    /** 
     * 将指定集合中的所有元素都添加到列表末尾,以其迭代器返回的顺序添加 
     * 该操作在多线程情况下行为未定义,需要外部同步 
     * @param c collection containing elements to be added to this list 
     * @return <tt>true</tt> if this list changed as a result of the call 
     * @throws NullPointerException if the specified collection is null 
     */  
    public boolean addAll(Collection<? extends E> c) {  
            //先将集合c转换成数组,  
        Object[] a = c.toArray();  
            //根据转换后数组的长度和ArrayList的size扩展容量  
        int numNew = a.length;  
        ensureCapacityInternal(size + numNew);  // Increments modCount  
            //调用System.arrayCopy方法复制元素到elementData的尾部  
        System.arraycopy(a, 0, elementData, size, numNew);  
            //调整size  
        size += numNew;  
            //只要集合c的大小不为空,即转换后的数组长度不为0则返回true  
        return numNew != 0;  
    }  
  
    /** 
     * 将指定集合c中所有元素添加到以index开头的位置中,将当前元素及所有后继元素向右移动,新元素的顺序以迭代器返回顺序 
     * @param index index at which to insert the first element from the 
     *              specified collection 
     * @param c collection containing elements to be added to this list 
     * @return <tt>true</tt> if this list changed as a result of the call 
     * @throws IndexOutOfBoundsException {@inheritDoc} 
     * @throws NullPointerException if the specified collection is null 
     */  
    public boolean addAll(int index, Collection<? extends E> c) {  
            //先判断Index是否越界  
        rangeCheckForAdd(index);  
            //与addAll(c)一致  
        Object[] a = c.toArray();  
        int numNew = a.length;  
        ensureCapacityInternal(size + numNew);  // Increments modCount  
  
        int numMoved = size - index;  
        if (numMoved > 0)  
                    //先将index开始的元素向后移动numNew(c转换为数组后的长度)个位置(也是一个复制的过程)  
            System.arraycopy(elementData, index, elementData, index + numNew,  
                             numMoved);  
                    //将数组内容复制到elementData的index位置到index+X  
        System.arraycopy(a, 0, elementData, index, numNew);  
                    //增加size  
        size += numNew;  
                    //集合大小不为空就返回true  
        return numNew != 0;  
    }  
  
    /** 
     * 删除列表中从fromIndex到toIndex的元素,包含fromIndex,不含toIndex,所有后继元素向前移动 
     * 如果fromIndex=toIndex,没有修改 
     * @throws IndexOutOfBoundsException if {@code fromIndex} or 
     *         {@code toIndex} is out of range 
     *         ({@code fromIndex < 0 || 
     *          fromIndex >= size() || 
     *          toIndex > size() || 
     *          toIndex < fromIndex}) 
     */  
    protected void removeRange(int fromIndex, int toIndex) {  
        modCount++;  
        int numMoved = size - toIndex;  
            //将elementData从toIndex位置开始的元素向前移动到fromIndex  
        System.arraycopy(elementData, toIndex, elementData, fromIndex,  
                         numMoved);  
  
        // clear to let GC do its work  
        int newSize = size - (toIndex-fromIndex);  
            //将toIndex位置之后的元素全部置空顺便修改size  
        for (int i = newSize; i < size; i++) {  
            elementData[i] = null;  
        }  
            //修改size  
        size = newSize;  
    }  
  
    /** 
     * 检查给定下标是否在范围内,该方法不检查下标为负数的情况 
     */  
    private void rangeCheck(int index) {  
        if (index >= size)  
            throw new IndexOutOfBoundsException(outOfBoundsMsg(index));  
    }  
  
    /** 
     * A version of rangeCheck used by add and addAll. 
     */  
    private void rangeCheckForAdd(int index) {  
        if (index > size || index < 0)  
            throw new IndexOutOfBoundsException(outOfBoundsMsg(index));  
    }  
  
    /** 
     * Constructs an IndexOutOfBoundsException detail message. 
     * Of the many possible refactorings of the error handling code, 
     * this "outlining" performs best with both server and client VMs. 
     */  
    private String outOfBoundsMsg(int index) {  
        return "Index: "+index+", Size: "+size;  
    }  
  
    /** 
     * 删除列表中所有出现在集合c中的元素 
     * @param c collection containing elements to be removed from this list 
     * @return {@code true} if this list changed as a result of the call 
     * @throws ClassCastException if the class of an element of this list 
     *         is incompatible with the specified collection 
     * (<a href="Collection.html#optional-restrictions">optional</a>) 
     * @throws NullPointerException if this list contains a null element and the 
     *         specified collection does not permit null elements 
     * (<a href="Collection.html#optional-restrictions">optional</a>), 
     *         or if the specified collection is null 
     * @see Collection#contains(Object) 
     */  
    public boolean removeAll(Collection<?> c) {  
        Objects.requireNonNull(c);  
        return batchRemove(c, false);  
    }  
  
    /** 
     * 只保留列表中出现在集合c中的元素 
     * @param c collection containing elements to be retained in this list 
     * @return {@code true} if this list changed as a result of the call 
     * @throws ClassCastException if the class of an element of this list 
     *         is incompatible with the specified collection 
     * (<a href="Collection.html#optional-restrictions">optional</a>) 
     * @throws NullPointerException if this list contains a null element and the 
     *         specified collection does not permit null elements 
     * (<a href="Collection.html#optional-restrictions">optional</a>), 
     *         or if the specified collection is null 
     * @see Collection#contains(Object) 
     */  
    public boolean retainAll(Collection<?> c) {  
        Objects.requireNonNull(c);  
        return batchRemove(c, true);  
    }  
        /** 
         * 批量删除 
         * complement为false,则为删除列表中出现在集合c中的元素 
         * complement为true,则为删除列表中未出现在集合c中的元素 
         */  
    private boolean batchRemove(Collection<?> c, boolean complement) {  
        final Object[] elementData = this.elementData;  
        int r = 0, w = 0;  
        boolean modified = false;  
        try {  
            for (; r < size; r++)  
                if (c.contains(elementData[r]) == complement)  
                    elementData[w++] = elementData[r];  
        } finally {  
            // Preserve behavioral compatibility with AbstractCollection,  
            // even if c.contains() throws.  
            //循环被中断,将r之后的元素拷贝到w之后  
            if (r != size) {  
                System.arraycopy(elementData, r,  
                                 elementData, w,  
                                 size - r);  
                    //修改新数组长度  
                w += size - r;  
            }  
                //有元素删除了  
            if (w != size) {  
                // 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;  
    }  
    // java.io.Serializable的写入函数    
    // 将ArrayList的“容量,所有的元素值”都写入到输出流中   
    /** 
     * Save the state of the <tt>ArrayList</tt> instance to a stream (that 
     * is, serialize it). 
     * 
     * @serialData The length of the array backing the <tt>ArrayList</tt> 
     *             instance is emitted (int), followed by all of its elements 
     *             (each an <tt>Object</tt>) in the proper order. 
     */  
    private void writeObject(java.io.ObjectOutputStream s)  
        throws java.io.IOException{ 
        
        // Write out element count, and any hidden stuff  
        int expectedModCount = modCount; 
        s.defaultWriteObject(); 
        
        // 写入“数组的容量” 
        // Write out size as capacity for behavioural compatibility with clone()  
        s.writeInt(size);  
        
        // 写入“数组的每一个元素”
        // Write out all elements in the proper order.  
        for (int i=0; i<size; i++) {  
            s.writeObject(elementData[i]);  
        }  
  
        if (modCount != expectedModCount) {  
            throw new ConcurrentModificationException();  
        }  
    }  
  
    // java.io.Serializable的读取函数:根据写入方式读出    
    // 先将ArrayList的“容量”读出,然后将“所有的元素值”读出  
    /** 
     * Reconstitute the <tt>ArrayList</tt> instance from a stream (that is, 
     * deserialize it). 
     */  
    private void readObject(java.io.ObjectInputStream s)  
        throws java.io.IOException, ClassNotFoundException {  
        elementData = EMPTY_ELEMENTDATA;  
  
        // Read in size, and any hidden stuff  
        s.defaultReadObject();  
  
        // 从输入流中读取ArrayList的“容量”  
        // Read in capacity  
        s.readInt(); // ignored  
  
        if (size > 0) {  
            // be like clone(), allocate array based upon size not capacity  
            ensureCapacityInternal(size);  
  
            Object[] a = elementData;  
            
            // 从输入流中将“所有的元素值”读出 
            // Read in all elements in the proper order.
            for (int i=0; i<size; i++) {  
                a[i] = s.readObject();  
            }  
        }  
    }  
} 

几点总结

关于ArrayList的源码,给出几点比较重要的总结:

  1. 注意其三个不同的构造方法。无参构造方法构造的ArrayList的容量默认为10(空数组),带有Collection参数的构造方法,将Collection转化为数组赋给ArrayList的实现数组elementData。

    ArrayList构造一个默认初始容量为10的空列表流程:

    1.初始情况:elementData = EMPTY_ELEMENTDATA = {}; size = 0;

    2.当向数组中添加第一个元素时,通过add(E e)方法中调用的ensureCapacityInternal(size + 1)方法,即ensureCapacityInternal(1);

    3.在ensureCapacityInternal(int minCapacity)方法中,可得的minCapacity=DEFAULT_CAPACITY=10,然后再调用ensureExplicitCapacity(minCapacity)方法,即ensureExplicitCapacity(10);


    4.在ensureExplicitCapacity(minCapacity)方法中调用grow(minCapacity)方法,即grow(10),此处为真正具体的数组扩容的算法,在此方法中,通过elementData = Arrays.copyOf(elementData, 10)具体实现了elementData数组初始容量为10的构造。

  2. 注意扩充容量的方法ensureCapacity。ArrayList在每次增加元素(可能是1个,也可能是一组)时,都要调用该方法来确保足够的容量。当容量不足以容纳当前的元素个数时,就设置新的容量为旧的容量的1.5倍加1,如果设置后的新容量还不够,则直接新容量设置为传入的参数(也就是所需的容量),而后用Arrays.copyof()方法将元素拷贝到新的数组(详见下面的第3点)。从中可以看出,当容量不够时,每次增加元素,都要将原来的元素拷贝到一个新的数组中,非常之耗时,也因此建议在事先能确定元素数量的情况下,才使用ArrayList,否则建议使用LinkedList。

  3. ArrayList的实现中大量地调用了Arrays.copyof()和System.arraycopy()方法。我们有必要对这两个方法的实现做下深入的了解。

首先来看Arrays.copyof()方法。它有很多个重载的方法,但实现思路都是一样的,我们来看泛型版本的源码:

public static <T> T[] copyOf(T[] original, int newLength) {  
    return (T[]) copyOf(original, newLength, original.getClass());  
}  

很明显调用了另一个copyof方法,该方法有三个参数,最后一个参数指明要转换的数据的类型,其源码如下:

public static <T,U> T[] copyOf(U[] original, int newLength, Class<? extends T[]> newType) {  
    T[] copy = ((Object)newType == (Object)Object[].class)  
        ? (T[]) new Object[newLength]  
        : (T[]) Array.newInstance(newType.getComponentType(), newLength);  
    System.arraycopy(original, 0, copy, 0,  
                     Math.min(original.length, newLength));  
    return copy;  
}  

这里可以很明显地看出,该方法实际上是在其内部又创建了一个长度为newlength的数组,调用System.arraycopy()方法,将原来数组中的元素复制到了新的数组中。

下面来看System.arraycopy()方法。该方法被标记了native,调用了系统的C/C++代码,在JDK中是看不到的,但在openJDK中可以看到其源码。该函数实际上最终调用了C语言的memmove()函数,因此它可以保证同一个数组内元素的正确复制和移动,比一般的复制方法的实现效率要高很多,很适合用来批量处理数组。Java强烈推荐在复制大量数组元素时用该方法,以取得更高的效率。

  1. 注意ArrayList的两个转化为静态数组的toArray方法。

第一个,Object[] toArray()方法。该方法有可能会抛出java.lang.ClassCastException异常,如果直接用向下转型的方法,将整个ArrayList集合转变为指定类型的Array数组,便会抛出该异常,而如果转化为Array数组时不向下转型,而是将每个元素向下转型,则不会抛出该异常,显然对数组中的元素一个个进行向下转型,效率不高,且不太方便。

第二个, T[] toArray(T[] a)方法。该方法可以直接将ArrayList转换得到的Array进行整体向下转型(转型其实是在该方法的源码中实现的),且从该方法的源码中可以看出,参数a的大小不足时,内部会调用Arrays.copyOf方法,该方法内部创建一个新的数组返回,因此对该方法的常用形式如下:

public static Integer[] vectorToArray2(ArrayList<Integer> v) {    
    Integer[] newText = (Integer[])v.toArray(new Integer[0]);    
    return newText;    
}   
  1. ArrayList基于数组实现,可以通过下标索引直接查找到指定位置的元素,因此查找效率高,但每次插入或删除元素,就要大量地移动元素,插入删除元素的效率低。

  2. 在查找给定元素索引值等的方法中,源码都将该元素的值分为null和不为null两种情况处理,ArrayList中允许元素为null。

相关文章

网友评论

      本文标题:java基础—浅析ArrayList源码

      本文链接:https://www.haomeiwen.com/subject/lomluxtx.html