Java 8 ArrayList 详解

GitHub Page: http://blog.cloudli.top/posts/Java-ArrayList/

ArrayList 继承于 AbstractList ，实现了 List、RandomAccess、Cloneable、Serializable 接口。

ArrayList 的底层数据结构是数组，元素超出容量时会进行扩容操作。

ArrayList 中的属性

private static final int DEFAULT_CAPACITY = 10;

private static final Object[] EMPTY_ELEMENTDATA = {};

private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};

transient Object[] elementData;

private int size;

private static final int MAX_ARRAY_SIZE = Integer.MAX_VALUE - 8;

• DEFAULT_CAPACITY：默认容量为 10。
• EMPTY_ELEMENTDATA：通过构造方法指定的容量为 0 时，使用该空数组。
• DEFAULTCAPACITY_EMPTY_ELEMENTDATA：调用无参构造方法时，使用该数组。
• elementData：保存添加的元素，在 ArrayList 被序列化时，该属性不会被序列化。
• size：ArrayList 保存的元素个数。
• MAX_ARRAY_SIZE：ArrayList 能够容纳的最大长度，2³¹ - 1 - 8。

ArrayList 的构造方法

• ArrayList()：构造一个容量为 10 的空列表。
• ArrayList(int initialCapacity)：构造一个指定容量的空列表。
• ArrayList(Collection<? extends E> c)：构造一个列表，将给定集合中的元素按照迭代器返回的顺序复制到列表中。

使用无参构造方法创建 ArrayList 时，elementData 的长度是 0，当第一次添加元素时，它会扩容到 DEFAULT_CAPACITY 。

使用指定容量构造 ArrayList 时，elementData 的长度为指定的长度。

ArrayList()

/**
 * Constructs an empty list with an initial capacity of ten.
 * 构造一个容量为 10 的空列表，当第一次添加元素时，elementData 会扩容到 10。
 */
public ArrayList() {
    this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}

ArrayList(int initialCapacity)

/**
 * Constructs an empty list with the specified initial capacity.
 * 构造一个指定容量的空列表
 *
 * @param  initialCapacity  the initial capacity of the list    列表的初始容量
 * @throws IllegalArgumentException if the specified initial capacity
 *         is negative      指定容量 < 0 时抛出异常
 */
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(Collection<? extends E> c)

/**
 * Constructs a list containing the elements of the specified
 * collection, in the order they are returned by the collection's
 * iterator.
 * 构造一个列表，并将给定的集合中的元素按照迭代器返回的顺序复制到列表中。
 *
 * @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();
    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;
    }
}

集合转换为数组后，如果不是 Object[] 类型，会使用 Arrays.copyOf 方法返回一个新的 Object 数组。

元素操作的基本方法

方法名	说明	时间复杂度
E get(int index)	返回指定索引的元素	O(1)
E set(int index, E element)	替换指定索引的元素，返回旧元素	O(1)
boolean add(E e)	向列表的末尾添加元素	O(1)
void add(int index, E element)	在指定位置插入元素	O(N)
E remove(int index)	删除指定位置的元素，返回旧元素	O(N)
boolean remove(Object o)	删除列表中与给定对象相同的元素	O(N)
boolean contains(Object o)	判断列表中是否包含指定元素	O(N)
int indexOf(Object o)	返回指定元素在列表中的索引	O(N)

其中，contains 方法直接 返回 indexOf(o) >= 0 。

对列表操作的方法

clear()

清空列表，将所有元素的引用指向 null，等待垃圾回收器回收，此操作不减小数组容量。

public void clear() {
    modCount++;

    // clear to let GC do its work
    for (int i = 0; i < size; i++)
        elementData[i] = null;

    size = 0;
}

subList(int fromIndex, int toIndex)

返回列表的指定区域（子列表），对返回的列表做修改会影响整个列表。

public List<E> subList(int fromIndex, int toIndex) {
    subListRangeCheck(fromIndex, toIndex, size);
    return new SubList(this, 0, fromIndex, toIndex);
}

迭代器方法

iterator()

返回一个迭代器，如果在迭代器遍历过程中调用了列表的 add，remove 等方法，会抛出 ConcurrentModificationException 。

public Iterator<E> iterator() {
    return new Itr();
}

listIterator()

返回一个迭代器，该迭代器可以向前后两个方向遍历元素。ListIter 继承于 Iter 。

public ListIterator<E> listIterator() {
    return new ListItr(0);
}

listIterator(int index)

返回一个从指定位置开始的迭代器。

public ListIterator<E> listIterator(int index) {
    if (index < 0 || index > size)
        throw new IndexOutOfBoundsException("Index: "+index);
    return new ListItr(index);
}

扩容方法

ArrayList 有两个与扩容有关的方法：

• void grow(int minCapacity)
• int hugeCapacity(int minCapacity)

grow(int minCapacity)

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 = Arrays.copyOf(elementData, newCapacity);
}

minCapacity 为添加新元素后数组的长度（此时还未添加）。

首先将新长度（newCapacity）设置为原来的 1.5 倍，然后计算新的长度是否能够达到 minCapacity，如果不能，则把新长度设置为 minCapacity 的大小。

如果新长度比 ArrayList 能够容纳的最大长度还要大，调用 hugeCapacity 方法来计算。否则，将列表长度调整为新长度。

hugeCapacity(int minCapacity)

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

这里为什么要判断 minCapacity < 0 ？

假如列表中已经有 oldCapacity = 2³¹ - 1 个元素，在添加新元素的时候，minCapacity 为原来的长度 + 1，溢出变为 minCapacity = -2³¹，newCapacity 扩大到 1.5 倍也溢出为负数（绝对值 < minCapacity），此时 grow 方法中 newCapacity - minCapacity > 0（绝对值小的负数 - 绝对值大的负数），最后调用该方法时传递的 minCapacity 就是 -2³¹，将抛出异常。

最后如果 minCapacity 大于 ArrayList 能容纳的最大长度，就返回整型最大值，否则返回 MAX_ARRAY_SIZE。

函数式接口方法

ArrayList 有 4 个参数为函数式接口的方法：

1. forEach(Consumer<? super E> action)

消费列表中的元素，可以对列表中的元素作出处理。以下代码打印列表中所有的偶数：

ArrayList<Integer> list = ...;

list.forEach(e -> {
    if (e % 2 == 0)
        System.out.printf("%d ", e);
});

2. removeIf(Predicate<? super E> filter)

删除列表中满足给定条件的元素。以下代码删除列表中所有偶数元素：

list.removeIf(e -> {
    return e % 2 == 0;
});

也可以这样写：

list.removeIf(e -> e % 2 == 0);

3. replaceAll(UnaryOperator operator)

替换列表中满足给定条件的元素。以下代码将所有偶数元素替换为 0 ：

list.replaceAll(e -> {
    return e % 2 == 0 ? 0 : e;
});

也可以这样写：

list.replaceAll(e -> e % 2 == 0 ? 0 : e);

4. sort(Comparator<? super E> c)

使用给定的规则对列表元素排序。如果元素的类型已经实现了 Comparable 接口，可以直接传递方法引用。

以下代码对列表进行升序排序：

list.sort(Integer::compareTo);

逆序可以使用 Comparator.reverseOrder ：

list.sort(Comparator.reverseOrder());

也可以在 lambda 表达式中写判断逻辑。