ArrayList 和 Vector 类是 List 集合的两个典型实现类, ArrayList 和 Vector 都是基于数组实现的 List 类.
ArrayList 和 Vector 类封装了一个动态的, 允许再分配的 Object[] 数组.
如果一开始就知道 ArrayList 和 Vector 需要保存多少个元素, 则可以在创建它们时就指定 initialCapacity 大小. 如果创建空的 ArrayList 和 Vector 不指定 initialCapacity 大小, 则 Object[] 数组的长度默认为10.
当我们每次调用初始化一个空白集合 ArrayList, 它的底层数组其实是空的.当第一次向 ArrayList 集合中添加元素时,
底层数组扩容到10.
下面对 ArrayList 源码进行分析.
/**
* Default initial capacity.
*/
private static final int DEFAULT_CAPACITY = 10;
/**
* Shared empty array instance used for empty instances.
*/
private static final Object[] EMPTY_ELEMENTDATA = {};
/**
* Shared empty array instance used for default sized empty instances. We
* distinguish this from EMPTY_ELEMENTDATA to know how much to inflate when
* first element is added.
*/
private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};
/**
* The array buffer into which the elements of the ArrayList are stored.
* The capacity of the ArrayList is the length of this array buffer. Any
* empty ArrayList with elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA
* will be expanded to DEFAULT_CAPACITY when the first element is added.
*/
transient Object[] elementData; // non-private to simplify nested class access
/**
* The size of the ArrayList (the number of elements it contains).
*
* @serial
*/
private int size;
/**
* Constructs an empty list with the specified initial capacity.
*
* @param initialCapacity the initial capacity of the list
* @throws IllegalArgumentException if the specified initial capacity
* is negative
*/
public ArrayList(int initialCapacity) {
if (initialCapacity > 0) {
this.elementData = new Object[initialCapacity];
} else if (initialCapacity == 0) {
this.elementData = EMPTY_ELEMENTDATA;
} else {
throw new IllegalArgumentException("Illegal Capacity: "+
initialCapacity);
}
}
/**
* Constructs an empty list with an initial capacity of ten.
*/
public ArrayList() {
this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}
可以看到, 当调用 ArrayList 的无参构造时, 它将底层数组 Object[] elementData 实际上指向了一个空数组 DEFAULTCAPACITY_EMPTY_ELEMENTDATA. 此时数组初始化容量固然为0.
再来看看 add() 方法的源码:
size 代表集合元素个数, 被初始化为0.
调用 ensureCapacityInternal(size+1) 方法, 此时的 size+1 为 1.
private static int calculateCapacity(Object[] elementData, int minCapacity) {
if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
return Math.max(DEFAULT_CAPACITY, minCapacity);
}
return minCapacity;
}
private void ensureCapacityInternal(int minCapacity) {
ensureExplicitCapacity(calculateCapacity(elementData, minCapacity));
}
private void ensureExplicitCapacity(int minCapacity) {
modCount++;
// overflow-conscious code
if (minCapacity - elementData.length > 0)
grow(minCapacity);
}
当调用 ensureCapacityInternal 方法时, 将 size+1 作为参数传递给 minCapacity 形参. 在 ensureExplicitCapacity 方法中先调用
calculateCapacity方法计算容量.
calculateCapacity方法 通过 elementData==DEFAULTCAPACITY_EMPTY_ELEMENTDATA 判断初始化 ArrayList 时是不是调用了无参构造, 如果是调用了无参构造, 接着返回 minCapacity 和 DEFAULT_CAPACITY (就是默认的初始化容量 10) 中的最大值.
此时方法返回 DEFAULT_CAPACITY.
到目前为止, 底层数组并没有进行扩容, 容量依然为0. 然后执行 ensureExplicitCapacity 方法, 将 DEFAULT_CAPACITY 的值(10)
作为参数传给 ensureExplicitCapacity 的形参 minCapacity. 如果 底层动态数组 Object[] elementData 的长度(此时为0)小于 minCapacity (此时为10), 则调用 grow() 方法对数组进行扩容.
在 grow() 方法中, 首先 通过 newCapacity= oldCaoacity + (oldCapacity >> 1) 将数组 elementData 容量扩容至原容量的 1.5 倍.
在判断扩容之后的数组长度与传入的数组长度的大小. 如果扩容之后的数组长度仍小于传入长度, 则将传入的数组长度赋值给 newCapacity. 最后 通过 Arrays.copyOf() 方法进行扩容(拷贝数组). 最后回到 add() 方法中, 将待添加元素加入动态数组 elementData中, size++. 返回 true.
关于 Arrays.copyOf() 方法:
拷贝数组方法. 在内存中重新分配一个数组, 长度为 newCapacity. 并且将原数组的内容复制到新数组中.
注意: 是将原数组中存储的对象的引用复制过来, 两数组中对应元素(对象的引用) 相同(两数组中的引用实际指向同一对象), 可以通过 == 判断返回为 true. 在新数组中剩余长度的空间中补上默认值.
拷贝完成后, 返回新数组的引用.
Arrays.copyOf() 方法实际上实现的是对数组的浅拷贝.