ArrayList扩容机制

ArrayList扩容机制

ArrayList的底层究竟是如何扩容的呢？

可以从构造函数说起。

ArrayList的属性以及三种构造函数

private static final long serialVersionUID = 8683452581122892189L;
    /**
     * 默认初始化容量
     */
    private static final int DEFAULT_CAPACITY = 10;

    /**
     * Shared empty array instance used for empty instances.
     */
    private static final Object[] EMPTY_ELEMENTDATA = {};

    /**
     * Shared empty array instance used for default sized empty instances. We
     * distinguish this from EMPTY_ELEMENTDATA to know how much to inflate when
     * first element is added.
     */
    private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};

    /**
     * 
     */
    transient Object[] elementData; // non-private to simplify nested class access

    /**
     * ArrayList实际的大小
     */
    private int size;





public ArrayList() {
        this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
    }


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;
        }
    }


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的无参构造来分析：

public ArrayList() {
        this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
    }

大家可能会有疑问，不是说初始化容量为10吗？这里的DEFAULTCAPACITY_EMPTY_ELEMENTDATA初始为空，那创建的ArrayList应该也是空吧？

别急，来看看ArrayList的add函数：

add（E e）：

/**
* 将指定的元素追加到此列表的末尾。 
*/
public boolean add(E e) {
        ensureCapacityInternal(size + 1);  // Increments modCount!!
    	//添加元素的实际上是在底层数组赋值
        elementData[size++] = e;
        return true;
    }

ensureCapacityInternal（int minCapacity）：

目的是获取应该扩到的容量

private void ensureCapacityInternal(int minCapacity) {
        if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
            //取默认容量与传入的容量的较大值，
            minCapacity = Math.max(DEFAULT_CAPACITY, minCapacity);
        }

        ensureExplicitCapacity(minCapacity);
    }

ensureExplicitCapacity(minCapacity);

判断是否需要扩容，即当前底层数组的容量小于等于应有的容量，不扩容元素会添加失败，此时调用grow函数，让底层数组扩容

private void ensureExplicitCapacity(int minCapacity) {
        modCount++;
        // overflow-conscious code
        if (minCapacity - elementData.length > 0)
            grow(minCapacity);
    }

grow（int minCapacity） ：

一旦调用了这个函数，ArrayList底层数组就一定会扩容；

private void grow(int minCapacity) {
        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 = Arrays.copyOf(elementData, newCapacity);
    }

hugeCapacity（int minCapacity）：

MAX_ARRAY_SIZE为Integer.MAX_VALUE - 8

private static int hugeCapacity(int minCapacity) {
        if (minCapacity < 0) // overflow
            throw new OutOfMemoryError();
        return (minCapacity > MAX_ARRAY_SIZE) ?
            Integer.MAX_VALUE :
            MAX_ARRAY_SIZE;
    }

如果需要扩容到的最小值比MAX_ARRAY_SIZE大，那么返回Integer.MAX_VALUE；

否则返回Integer.MAX_VALUE-8

可知：

当我们添加第一个元素的时候，

• ensureCapacityInternal的if条件成立；

• Math.max(DEFAULT_CAPACITY, minCapacity);获取的结果是10，

• ensureExplicitCapacity(10);调用grow(10);

• 至此将ArrayList的集合大小扩容至10

注意：

‘>>’移位运算符相当于除以2，右移n位相当于除以 2 的 n 次方。对于大数据的2进制运算,位移运算符比普通运算符要快很多,这样提高了效率,节省了资源

总结：

• 我们使用ArrayList时候，大部分初始化的时候没有指定初始值，此时ArrayList底层是一个空数组，只有真正对数组进行添加元素的操作的时候，才真正分配容量，初始化容量为10；
• 数组每次扩容不一定是原来的1.5倍，比如之前是33，那么扩容后为33+(33>>1) = 49;
• 扩容步骤:
  • 首先获取新容量，newCapacity为oldCapacity的1.5倍；
  • 如果newCapacity比minCapacity还小的话，那么让newCapacity=minCapacity
  • 如果newCapacity比MAX_ARRAY_SIZE大的话，newCapacity=hugeCapacity(minCapacity);
  • 扩容底层数组elementData，容量为newCapacity
• 当ArrayList底层数组添加元素经过判断要将newCapacity扩至Integer.MAX_VALUE-8之上时，首先看最小应有容量minCapacity是否大于Integer.MAX_VALUE-8，如果大于，直接将Integer.MAX_VALUE的值赋给newCapacity，否则将Integer.MAX_VALUE-8的值赋给newCapacity（目的不懂，望大佬们不吝赐教！！）