ArrayList底层实现原理详解

ArrayList本质上是一个基于Object数组实现的动态顺序表，通过自动扩容（1.5倍增长）和底层System.arraycopy高效拷贝来平衡空间与性能：它提供O(1)随机访问和末尾插入，但中间插入代价高昂；泛型仅在编译期存在，运行时依赖Object[]存储与强制类型转换，导致潜在ClassCastException风险；其fail-fast机制并非为线程安全设计，而是单线程下防止迭代器误用的“安全网”——理解这些底层细节，才能真正避开常见坑、写出高效可靠的集合操作代码。

ArrayList 底层用 Object[] 数组存储元素

ArrayList 不是链表，也不是哈希结构，它本质就是一个带自动扩容机制的 Object[]。初始化时（比如调用无参构造），elementData 字段指向一个空数组 {}，不是 null；首次添加元素时才真正分配默认容量 10 的数组。

关键点：

• size 记录当前逻辑长度（已存元素个数），和数组物理长度 elementData.length 是两回事
• 所有 get(i)、set(i, e) 都是直接数组下标访问，O(1) 时间复杂度
• 因为基于数组，add(e) 在末尾插入是 O(1) 均摊，但 add(0, e) 或 add(i, e) 需要移动后续元素，最坏 O(n)

扩容机制：1.5 倍增长，但有边界处理

当 size == elementData.length 时，下一次 add 触发扩容。新容量计算逻辑在 grow() 方法里：

int newCapacity = oldCapacity + (oldCapacity >> 1); // 即 oldCapacity * 1.5

但要注意两个细节：

• 如果计算出的 newCapacity 溢出（比如接近 Integer.MAX_VALUE），会退回到 hugeCapacity(minCapacity)，尝试设为 Integer.MAX_VALUE 或抛 OutOfMemoryError
• 如果构造时指定了初始容量（如 new ArrayList(5)），扩容仍按 1.5 倍走，不会“凑整到 8/16”之类——Java 不做内存对齐优化
• 扩容涉及 Arrays.copyOf()，本质是 System.arraycopy()，属于 JVM 层面的高效拷贝

为什么不用泛型数组直接声明？

你不能写 E[] elements = new E[10]，因为 Java 泛型擦除后，JVM 不知道 E 是什么类型，无法生成对应数组类。所以 ArrayList 只能用 Object[] 存储，所有 get() 返回值靠编译器自动加 (E) 强转：

public E get(int index) {
    rangeCheck(index);
    return (E) elementData[index]; // 这里的 (E) 是 unchecked cast
}

这就是为什么向 ArrayList 中存入错误类型（比如通过反射绕过泛型检查）会导致运行时 ClassCastException——擦除让类型安全只存在于编译期。

modCount 和 ConcurrentModificationException 的真实作用

modCount 是一个修改计数器，每次 add/remove/clear 等结构性修改都会自增。迭代器（Itr）在创建时会记录当时的 modCount 到 expectedModCount。后续每次 next() 或 remove() 都会校验两者是否一致。

这不是为了“禁止并发修改”，而是防止**单线程下误用迭代器**，比如：

• 边遍历边用 list.remove(x)（非迭代器自己的 remove()）
• 多个迭代器共享同一 list，一个改了另一个还在用

这个检查发生在方法入口，不依赖锁或 volatile，纯靠数值比对。如果你真需要并发写+读，得换 CopyOnWriteArrayList 或加外部同步。

ArrayList 的“动态”二字，全靠数组替换+拷贝撑着；它快在随机访问，慢在中间插入；泛型只是语法糖，运行时全是 Object；而 fail-fast 机制看着像线程安全，其实连线程安全的边都没沾上。

到这里，我们也就讲完了《ArrayList底层实现原理详解》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！