ArrayList 中几个关键部分的源码解析

ArrayList 的基本结构

ArrayList 的核心是一个动态数组，实际上是一个可调整大小的数组。在 ArrayList 类中，这个数组被声明为：

/**
 * Default initial capacity.
 */
private static final int DEFAULT_CAPACITY = 10;

/**
 * The array buffer into which the elements of the ArrayList are stored.
 * The capacity of the ArrayList is the length of this array buffer.
 */
transient Object[] elementData;

这段代码定义了数组的默认初始容量，并声明了一个对象数组 elementData，这是存储添加到 ArrayList 中的元素的地方。

添加元素

当添加一个元素到 ArrayList 时，它首先检查数组是否足够大，如果不够大，它需要进行扩容。这是通过 ensureCapacityInternal 方法完成的，该方法再调用 grow 方法来确保数组有足够的容量。

public boolean add(E e) {
    ensureCapacityInternal(size + 1);  // Increments modCount!!
    elementData[size++] = e;
    return true;
}

private void ensureCapacityInternal(int minCapacity) {
    if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
        minCapacity = Math.max(DEFAULT_CAPACITY, minCapacity);
    }
    ensureExplicitCapacity(minCapacity);
}

private void ensureExplicitCapacity(int minCapacity) {
    modCount++;

    // overflow-conscious code
    if (minCapacity - elementData.length > 0)
        grow(minCapacity);
}

扩容机制

ArrayList 的扩容逻辑是在 grow 方法中实现的。扩容通常增加大约 50% 的容量，但具体的增加量取决于需要的最小容量。

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

在这个方法中：

• 首先，计算新的容量为旧容量的 1.5 倍。
• 如果计算得到的新容量仍然小于所需的最小容量，就将新容量设置为所需的最小容量。
• 如果新容量超过了 ArrayList 所能接受的最大数组大小 (MAX_ARRAY_SIZE，通常接近 Integer.MAX_VALUE)，则调用 hugeCapacity 方法来处理这种极端情况。

可以看到 ArrayList 是如何在运行时根据需要动态调整其存储容量的。这种机制使得 ArrayList 成为一个非常灵活的数据结构，能够有效地管理内存，同时提供快速的索引访问能力。但它也说明了为什么在添加元素时可能会发生昂贵的数组复制操作，特别是当数组大小需要频繁调整时。