这篇本来是准备写 Java 集合框架概述
的,就是写起来效果不怎么样,可能是对整个 Java 集合框架还没有做到了然于心。所以还是先来源码分析,写完所有集合类的分析之后,再来总体概述。今天就从最最常用的 ArrayList
说起。
概述
ArrayList
是一种可以动态增长和缩减的线性表数据结构,允许重复元素,允许 null 值。基于动态数组实现,在内存中是连续的,这点和链表不同。另外,它不是线程安全的,与之相对应的同样基于动态数组实现的有序序列 Vector
则是线程安全的。
由于数组在内存中占用连续的内存空间,所以 ArrayList
具备随机访问能力,其根据下标随机访问的时间复杂度是 O(1)
。同样,为了保证内存的连续性,其 插入 和 删除 操作就相对低效的多。在指定位置插入数据,就要将该位置之后的数据都往后挪,才能腾出空间。在指定位置删除数据,就要将该位置之后的数据全部往前挪,才能保证空间连续性。它们的平均时间复杂度都是 O(n)
。
ArrayList
的使用还是比较简单的,下面还是带着两个问题看源码:
ArrayList 初始大小是多少?它是如何动态扩容的?
源码解析
类声明
public class ArrayList<E> extends AbstractList<E>
implements List<E>, RandomAccess, Cloneable, java.io.Serializable {}
Collection
是所有集合的根接口,定义了一些通用性的行为,抽象类AbstractCollection
提供了部分集合类型无关的通用实现。List
接口针对有序集合扩展了Collection
接口,抽象类AbstractList
提供了部分默认实现,当然ArrayList
并没有照单全收,更多的是重写提供了自己的实现。- 实现了
RandomAccess
接口说明其支持快速随机访问,其实并没有实现任何方法,应该仅仅只是起一个标记的作用。 - 实现
Cloneable
接口,提供浅拷贝。 - 实现了
Serializable
接口,提供序列化能力,且重写了readObject()
和writeObject()
方法。
成员变量
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; // 数组容量最大值
elementData
是真正用来保存数据的数组。关于它的默认大小,让人很容易搞错。一看到 DEFAULT_CAPACITY
为 10,让人情不自禁的认为我一旦新建了一个 ArrayList
,它的默认大小就是 10。其实并不是这样的,后面看到构造函数的时候你就理解了。
数组的最大容量是 Integer.MAX_VALUE - 8
,看到这个数字你应该很熟悉。AbstractStringBuilder
类用来存储字符的 char[]
,最大容量也是这个数字。考虑到一些虚拟机实现会保留数组对象的头信息,大于此值可能会导致 OOM ,注意只是可能。但是如果大于 Integer.MAX_VALUE
的话,就会直接抛出 OOM 。
构造函数
public ArrayList() {
this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}
DEFAULTCAPACITY_EMPTY_ELEMENTDATA
是一个空数组,所以当你执行 List list = new ArrayList()
时,实际上创建了一个空数组,并不是容量为 10 的数组。
public ArrayList(int initial