简介:
在阅读1.8的源码之前有看过一遍1.7的,所以比较熟悉,但是有很多地方已经遗忘了,所以就又看了一下。
ArrayList的源码相对是比较简单的,1.8之后使用了懒加载的机制进行数组初始化,但是无非还是增删改查这些功能的实现。接下来就是围绕这些功能的源码解析。
成员变量
首先是一些成员变量
/**
* 序列号
*/
private static final long serialVersionUID = 8683452581122892189L;
/**
* 默认初始化容量为10,即初始化数组长度为10
*/
private static final int DEFAULT_CAPACITY = 10;
/**
* 初始化容量为0的是时候使用的空数组,与 DEFAULTCAPACITY_EMPTY_ELEMENTDATA 默认数组区分开
*/
private static final Object[] EMPTY_ELEMENTDATA = {};
/**
* 默认初始化容量使用的空数组,和 EMPTY_ELEMENTDATA 数组一样,为了减少数组创建的时间,提升性能
*/
private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};
/**
* 底层数组缓冲区,第一次set元素的时候,使用长度为 DEFAULT_CAPACITY 的数组
*/
transient Object[] elementData; // non-private to simplify nested class access
/**
* list的包含的元素的个数
*/
private int size;
构造器
接下来就是构造器了,ArrayList提供了三种构造器。接下来看代码,解析都写在注释了。
/**
* 初始化容量的构造器,自定义容量
*/
public ArrayList(int initialCapacity) {
if (initialCapacity > 0) {
// 初始化指定容量的数组
this.elementData = new Object[initialCapacity];
} else if (initialCapacity == 0) {
// 指定容量为0时,使用 EMPTY_ELEMENTDATA 数组
this.elementData = EMPTY_ELEMENTDATA;
} else {
throw new IllegalArgumentException("Illegal Capacity: "+
initialCapacity);
}
}
/**
* 默认构造器
*/
public ArrayList() {
this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}
/**
* 指定集合的构造器
*/
public ArrayList(Collection<? extends E> c) {
// 将集合转换成数组结构
elementData = c.toArray();
if ((size = elementData.length) != 0) {
// c.toArray 时可能返回的不是Object[],将其转换成Object[]
if (elementData.getClass() != Object[].class)
elementData = Arrays.copyOf(elementData, size, Object[].class);
} else {
// 集合为0时使用 EMPTY_ELEMENTDATA 数组
this.elementData = EMPTY_ELEMENTDATA;
}
}
从构造器可以看出,在初始化的时候并没有将底层数组的大小设为10,所以很容想到,可能是在第一次添加元素的时候完成的初始化。所以接下来看add()方法的代码,add()方法也有两种方式。
add()方法
/**
* 在集合的末尾插入指定元素
*/
public boolean add(E e) {
// 确认容量增加,扩容检查
ensureCapacityInternal(size + 1); // Increments modCount!!
// 在集合的末尾插入指定元素
elementData[size++] = e;
return true;
}
/**
* 在集合的指定位置插入指定元素
*/
public void add(int index, E element) {
// 检查增加的 index 是否正确
rangeCheckForAdd(index);
// 确认容量增加,扩容检查
ensureCapacityInternal(size + 1); // Increments modCount!!
// 将 elementData 数组从 index 索引开始的元素 从index + 1 的位置开始 copy 到 elementData 数组中,
// copy的元素个数为从 index 索引开始的剩下的所有元素(size - index)
System.arraycopy(elementData, index, elementData, index + 1,
size - index);
// 将指定元素插入到指定索引的位置
elementData[index] = element;
// 集合元素个数加1
size++;
}
重要的扩容方法ensureCapacityInternal(),这里同时完成了初始化。
private void ensureCapacityInternal(int minCapacity) {
ensureExplicitCapacity(calculateCapacity(elementData, minCapacity));
}
private void ensureExplicitCapacity(int minCapacity) {
// 修改记录加1
modCount++;
// 添加数据时,如果容量大于初始的容量,进行扩容
if (minCapacity - elementData.length > 0)
grow(minCapacity);
}
接下来就是具体的扩容方法grow()
/**
* 扩容操作
*/
private void grow(int minCapacity) {
// 扩容前容量
int oldCapacity = elementData.length;
// 扩容后容量(原来的1.5倍)
int newCapacity = oldCapacity + (oldCapacity >> 1);
// 扩容后的容量小于最小容量,则将最小容量赋值给扩容后的容量
if (newCapacity - minCapacity < 0)
newCapacity = minCapacity;
// 极限容量为 Integer.MAX_VALUE
if (newCapacity - MAX_ARRAY_SIZE > 0)
newCapacity = hugeCapacity(minCapacity);
// 扩容
elementData = Arrays.copyOf(elementData, newCapacity);
}
到这里整个add()方法的逻辑基本上是走完了。接下来的方法就是相对比较容易的了。
get()方法
接下来就是获取的get()方法了
/**
* 获取指定索引位置的元素值
*/
public E get(int index) {
// 检查索引是否正确
rangeCheck(index);
// 返回指定的位置的元素值
return elementData(index);
}
检查索引的方法很简单,这里就不写解释了
private void rangeCheck(int index) {
if (index >= size)
throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}
具体获取元素的方法
/**
* 返回指定索引位置的元素值
*/
@SuppressWarnings("unchecked")
E elementData(int index) {
return (E) elementData[index];
}
set()方法
/**
* 修改指定索引位置的元素的值
*/
public E set(int index, E element) {
// 检查索引是否正确
rangeCheck(index);
// 记录指定索引位置的元素修改之前的值
E oldValue = elementData(index);
// 修改为指定的值
elementData[index] = element;
// 返回修改之前的值
return oldValue;
}
remove()方法
删除的方法也有两种:删除指定索引处的元素,删除指定元素。
/**
* 删除指定索引位置的元素
*/
public E remove(int index) {
// 索引检查
rangeCheck(index);
// 操作记录加1
modCount++;
// 记录要删除的元素
E oldValue = elementData(index);
// 需要移动的元素个数
int numMoved = size - index - 1;
// 移动索引从 index+1 开始的 numMoved 个元素,从 index 位置开始插入
if (numMoved > 0)
System.arraycopy(elementData, index+1, elementData, index,
numMoved);
// 将最后一个索引位置赋值为null,让GC回收
elementData[--size] = null;
// 返回要删除的元素
return oldValue;
}
/**
* 删除指定元素(是个耗时操作,时间复杂度O(n))
*/
public boolean remove(Object o) {
if (o == null) {
// 遍历寻找为空的的元素。。。(这是什么操作,没看懂)(看完LinkedList源码突然反应过来,null不能调用equals方法)
for (int index = 0; index < size; index++)
if (elementData[index] == null) {
fastRemove(index);
return true;
}
} else {
// 遍历寻找要删除的元素
for (int index = 0; index < size; index++)
if (o.equals(elementData[index])) {
fastRemove(index);
return true;
}
}
return false;
}
删除指定元素时使用的是fastRemove()方法。只是跳过了索引检查,并且没有返回值,其他逻辑和删除指定索引出的代码是一样的,就不写注释了。
/*
* 快速删除(跳过所以检查,不返回要删除的元素值)
*/
private void fastRemove(int index) {
modCount++;
int numMoved = size - index - 1;
if (numMoved > 0)
System.arraycopy(elementData, index+1, elementData, index,
numMoved);
elementData[--size] = null; // clear to let GC do its work
}
还有一个删除所有元素的方法,只是简单将每个索引处的元素赋值为null,再将size赋值为0.
/**
* 删除所有元素
*/
public void clear() {
modCount++;
// clear to let GC do its work
for (int i = 0; i < size; i++)
elementData[i] = null;
size = 0;
}
其他方法
其他方法有很多,这里就列一些我看了的吧。
/**
* 克隆一个集合,但是底层数组不克隆,将底层数组复制到新的集合的 elementData(缓冲区)
*/
public Object clone() {
try {
ArrayList<?> v = (ArrayList<?>) super.clone();
v.elementData = Arrays.copyOf(elementData, size);
v.modCount = 0;
return v;
} catch (CloneNotSupportedException e) {
// this shouldn't happen, since we are Cloneable
throw new InternalError(e);
}
}
/**
* 将集合转换成数组结构
*/
public Object[] toArray() {
return Arrays.copyOf(elementData, size);
}
/**
* 将集合转换成指定的数组结构
*/
@SuppressWarnings("unchecked")
public <T> T[] toArray(T[] a) {
if (a.length < size)
// Make a new array of a's runtime type, but my contents:
return (T[]) Arrays.copyOf(elementData, size, a.getClass());
System.arraycopy(elementData, 0, a, 0, size);
if (a.length > size)
a[size] = null;
return a;
}
总结:
给我的唯一感觉就是,每个方法都是尽可能的单一职责,果然源码不会骗人,要多看。