深入解析ArrayList实现原理 - CarpenterLee/JCFInternals项目解读-CSDN博客

本文链接：https://blog.csdn.net/gitblog_01023/article/details/148889909

深入解析ArrayList实现原理 - CarpenterLee/JCFInternals项目解读

概述

ArrayList是Java集合框架中最常用的动态数组实现，它提供了快速随机访问和动态扩容的能力。本文将深入剖析ArrayList的内部实现机制，帮助开发者更好地理解和使用这一核心数据结构。

核心设计

ArrayList基于数组实现，其核心设计理念是在保证基础操作高效性的同时，提供动态扩容能力。与固定长度的原生数组不同，ArrayList能够根据元素数量自动调整内部数组大小。

底层结构

ArrayList内部维护了一个Object[]数组elementData，这是它能存储任意类型对象的根本原因。由于Java泛型采用类型擦除实现，运行时数组实际存储的是Object引用。

transient Object[] elementData; // 实际存储元素的数组
private int size; // 当前元素数量

容量与大小

容量(Capacity): 底层数组的实际长度(elementData.length)
大小(Size): 当前存储的元素数量(size)

当size达到capacity时，ArrayList会自动进行扩容操作，这是它与普通数组最大的区别。

关键操作分析

随机访问

得益于数组实现，ArrayList的随机访问操作(get/set)非常高效：

public E get(int index) {
    checkIndex(index); // 索引检查
    return (E) elementData[index]; // 直接数组访问
}

public E set(int index, E element) {
    checkIndex(index);
    E oldValue = elementData(index);
    elementData[index] = element; // 直接数组赋值
    return oldValue;
}

这两个操作的时间复杂度都是O(1)，因为它们直接通过索引访问数组元素。

添加元素

ArrayList提供了两种添加方式：

尾部添加(add(E e)):
- 时间复杂度平均为O(1)
- 可能触发扩容，最坏情况下O(n)
指定位置插入(add(int index, E e)):
- 需要移动后续元素
- 时间复杂度为O(n)

扩容机制是ArrayList的核心特性：

private void grow(int minCapacity) {
    int oldCapacity = elementData.length;
    int newCapacity = oldCapacity + (oldCapacity >> 1); // 1.5倍扩容
    if (newCapacity - minCapacity < 0)
        newCapacity = minCapacity;
    elementData = Arrays.copyOf(elementData, newCapacity);
}

扩容策略采用1.5倍增长，这种折中方案既减少了频繁扩容的开销，又避免了空间浪费。

删除元素

删除操作也需要考虑元素移动：

public E remove(int index) {
    checkIndex(index);
    modCount++;
    E oldValue = elementData(index);
    int numMoved = size - index - 1;
    if (numMoved > 0)
        System.arraycopy(elementData, index+1, elementData, index, numMoved);
    elementData[--size] = null; // 清除引用，帮助GC
    return oldValue;
}

关键点：