ArrayList源碼分析，你需要知道的所有知識(shí)點(diǎn)！
線程安全性
對(duì)ArrayList的操作一般分為兩個(gè)步驟，改變位置(size)和操作元素(e)。所以這個(gè)過程在多線程的環(huán)境下是不能保證具有原子性的，因此ArrayList在多線程的環(huán)境下是線程不安全的。
源碼分析
1、屬性分析
/**
* 默認(rèn)初始化容量
*/
private static final int DEFAULT_CAPACITY = 10;
/**
* 如果自定義容量為0，則會(huì)默認(rèn)用它來初始化ArrayList?；蛘哂糜诳諗?shù)組替換。
*/
private static final Object[] EMPTY_ELEMENTDATA = {};
/**
* 如果沒有自定義容量，則會(huì)使用它來初始化ArrayList。或者用于空數(shù)組比對(duì)。
*/
private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};
/**
* 這就是ArrayList底層用到的數(shù)組
* 非私有，以簡(jiǎn)化嵌套類訪問
* transient 在已經(jīng)實(shí)現(xiàn)序列化的類中，不允許某變量序列化
*/
transient Object[] elementData;
/**
* 實(shí)際ArrayList集合大小
*/
private int size;
/**
* 可分配的最大容量
*/
private static final int MAX_ARRAY_SIZE = Integer.MAX_VALUE - 8;擴(kuò)展：什么是序列化
序列化是指：將對(duì)象轉(zhuǎn)換成以字節(jié)序列的形式來表示，以便用于持久化和傳輸。
實(shí)現(xiàn)方法：實(shí)現(xiàn)Serializable接口。
然后用的時(shí)候拿出來進(jìn)行反序列化即可又變成Java對(duì)象。
transient關(guān)鍵字解析
Java中transient關(guān)鍵字的作用，簡(jiǎn)單地說，就是讓某些被修飾的成員屬性變量不被序列化。
有了transient關(guān)鍵字聲明，則這個(gè)變量不會(huì)參與序列化操作，即使所在類實(shí)現(xiàn)了Serializable接口，反序列化后該變量為空值。
那么問題來了：ArrayList中數(shù)組聲明：transient Object[] elementData;，事實(shí)上我們使用ArrayList在網(wǎng)絡(luò)傳輸用的很正常，并沒有出現(xiàn)空值。
原來：ArrayList在序列化的時(shí)候會(huì)調(diào)用writeObject()方法，將size和element寫入ObjectOutputStream；反序列化時(shí)調(diào)用readObject()，從ObjectInputStream獲取size和element，再恢復(fù)到elementData。
那為什么不直接用elementData來序列化，而采用上訴的方式來實(shí)現(xiàn)序列化呢？
原因在于elementData是一個(gè)緩存數(shù)組，它通常會(huì)預(yù)留一些容量，等容量不足時(shí)再擴(kuò)充容量，那么有些空間可能就沒有實(shí)際存儲(chǔ)元素，采用上訴的方式來實(shí)現(xiàn)序列化時(shí)，就可以保證只序列化實(shí)際存儲(chǔ)的那些元素，而不是整個(gè)數(shù)組，從而節(jié)省空間和時(shí)間。
2、構(gòu)造方法分析
根據(jù)initialCapacity 初始化一個(gè)空數(shù)組，如果值為0，則初始化一個(gè)空數(shù)組:
/**
* 根據(jù)initialCapacity 初始化一個(gè)空數(shù)組
*/
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);
}
}不帶參數(shù)初始化，默認(rèn)容量為10:
/**
* 不帶參數(shù)初始化，默認(rèn)容量為10
*/
public ArrayList() {
this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}通過集合做參數(shù)的形式初始化：如果集合為空，則初始化為空數(shù)組：
/**
* 通過集合做參數(shù)的形式初始化
*/
public ArrayList(Collection<? extends E> c) {
elementData = c.toArray();
if ((size = elementData.length) != 0) {
// c.toArray might (incorrectly) not return Object[] (see 6260652)
if (elementData.getClass() != Object[].class)
elementData = Arrays.copyOf(elementData, size, Object[].class);
} else {
// replace with empty array.
this.elementData = EMPTY_ELEMENTDATA;
}
}3、主干方法
trimToSize()方法：
用來最小化實(shí)例存儲(chǔ)，將容器大小調(diào)整為當(dāng)前元素所占用的容量大小。
/**
* 這個(gè)方法用來最小化實(shí)例存儲(chǔ)。
*/
public void trimToSize() {
modCount++;
if (size < elementData.length) {
elementData = (size == 0)
? EMPTY_ELEMENTDATA
: Arrays.copyOf(elementData, size);
}
}clone()方法
用來克隆出一個(gè)新數(shù)組。
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);
}
}通過調(diào)用Object的clone()方法來得到一個(gè)新的ArrayList對(duì)象，然后將elementData復(fù)制給該對(duì)象并返回。
add(E e)方法
在數(shù)組末尾添加元素。
/**
* 在數(shù)組末尾添加元素
*/
public boolean add(E e) {
ensureCapacityInternal(size + 1); // Increments modCount!!
elementData[size++] = e;
return true;
}看到它首先調(diào)用了ensureCapacityInternal()方法.注意參數(shù)是size+1,這是個(gè)面試考點(diǎn)。
private void ensureCapacityInternal(int minCapacity) {
ensureExplicitCapacity(calculateCapacity(elementData, minCapacity));
}這個(gè)方法里又嵌套調(diào)用了兩個(gè)方法:計(jì)算容量+確保容量。
計(jì)算容量：如果elementData是空，則返回默認(rèn)容量10和size+1的最大值，否則返回size+1。
private static int calculateCapacity(Object[] elementData, int minCapacity) {
if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
return Math.max(DEFAULT_CAPACITY, minCapacity);
}
return minCapacity;
}計(jì)算完容量后，進(jìn)行確保容量可用：(modCount不用理它，它用來計(jì)算修改次數(shù))。
如果size+1 > elementData.length證明數(shù)組已經(jīng)放滿，則增加容量，調(diào)用grow()。
private void ensureExplicitCapacity(int minCapacity) {
modCount++;
// overflow-conscious code
if (minCapacity - elementData.length > 0)
grow(minCapacity);
}增加容量：默認(rèn)1.5倍擴(kuò)容。
- 獲取當(dāng)前數(shù)組長(zhǎng)度=>oldCapacity。
- oldCapacity>>1 表示將oldCapacity右移一位(位運(yùn)算)，相當(dāng)于除2。再加上1，相當(dāng)于新容量擴(kuò)容1.5倍。
- 如果newCapacity<minCapacity，則newCapacity = minCapacity。看例子更明白一點(diǎn)：假設(shè)size為1,則minCapacity=size+1=2,而elementData.length=1,newCapacity=1+1>>1=1,1<2所以如果不處理該情況，擴(kuò)容將不能正確完成。
- 如果新容量比最大值還要大，則將新容量賦值為VM要求最大值。
- 將elementData拷貝到一個(gè)新的容量中。
private void grow(int minCapacity) {
// overflow-conscious code
int oldCapacity = elementData.length;
int newCapacity = oldCapacity + (oldCapacity >> 1);
if (newCapacity - minCapacity < 0)
newCapacity = minCapacity;
if (newCapacity - MAX_ARRAY_SIZE > 0)
newCapacity = hugeCapacity(minCapacity);
// minCapacity is usually close to size, so this is a win:
elementData = Arrays.copyOf(elementData, newCapacity);
}size+1的問題
好了，那到這里可以說一下為什么要size+1。
size+1代表的含義是：
- 如果集合添加元素成功后，集合中的實(shí)際元素個(gè)數(shù)。
- 為了確保擴(kuò)容不會(huì)出現(xiàn)錯(cuò)誤。
假如不加一處理，如果默認(rèn)size是0，則0+0>>1還是0。
如果size是1，則1+1>>1還是1。有人問:不是默認(rèn)容量大小是10嗎?事實(shí)上，jdk1.8版本以后，ArrayList的擴(kuò)容放在add()方法中。之前放在構(gòu)造方法中。我用的是1.8版本，所以默認(rèn) ArrayList arrayList = new ArrayList();后，size應(yīng)該是0.所以,size+1對(duì)擴(kuò)容來講很必要.
public static void main(String[] args) {
ArrayList arrayList = new ArrayList();
System.out.println(arrayList.size());
}
輸出:0事實(shí)上上面的代碼是證明不了容量大小的，因?yàn)閟ize只會(huì)在調(diào)用add()方法時(shí)才會(huì)自增。有辦法的小伙伴可以在評(píng)論區(qū)大顯神通。
add(int index, E element)方法
public void add(int index, E element) {
rangeCheckForAdd(index);
ensureCapacityInternal(size + 1); // Increments modCount!!
System.arraycopy(elementData, index, elementData, index + 1,
size - index);
elementData[index] = element;
size++;
}rangeCheckForAdd()是越界異常檢測(cè)方法。ensureCapacityInternal()之前有講，著重說一下System.arrayCopy方法：
public static void arraycopy(Object src, int srcPos, Object dest, int destPos, int length)
代碼解釋:
Object src : 原數(shù)組
int srcPos : 從元數(shù)據(jù)的起始位置開始
Object dest : 目標(biāo)數(shù)組
int destPos : 目標(biāo)數(shù)組的開始起始位置
int length : 要copy的數(shù)組的長(zhǎng)度示例：size為6，我們調(diào)用add(2,element)方法，則會(huì)從index=2+1=3的位置開始，將數(shù)組元素替換為從index起始位置為index=2，長(zhǎng)度為6-2=4的數(shù)據(jù)。
異常處理：
private void rangeCheckForAdd(int index) {
if (index > size || index < 0)
throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}set(int index,E element)方法
public E set(int index, E element) {
rangeCheck(index);
E oldValue = elementData(index);
elementData[index] = element;
return oldValue;
}
E elementData(int index) {
return (E) elementData[index];
}邏輯很簡(jiǎn)單，覆蓋舊值并返回。
indexOf(Object o)方法
根據(jù)Object對(duì)象獲取數(shù)組中的索引值。
public int indexOf(Object o) {
if (o == null) {
for (int i = 0; i < size; i++)
if (elementData[i]==null)
return i;
} else {
for (int i = 0; i < size; i++)
if (o.equals(elementData[i]))
return i;
}
return -1;
}如果o為空，則返回?cái)?shù)組中第一個(gè)為空的索引；不為空也類似。
注意：通過源碼可以看到，該方法是允許傳空值進(jìn)來的。
get(int index)方法
返回指定下標(biāo)處的元素的值。
public E get(int index) {
rangeCheck(index);
return elementData(index);
}rangeCheck(index)會(huì)檢測(cè)index值是否合法，如果合法則返回索引對(duì)應(yīng)的值。
remove(int index)方法
刪除指定下標(biāo)的元素。
public E remove(int index) {
// 檢測(cè)index是否合法
rangeCheck(index);
// 數(shù)據(jù)結(jié)構(gòu)修改次數(shù)
modCount++;
E oldValue = elementData(index);
// 記住這個(gè)算法
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
return oldValue;
}這里又碰到了System.arraycopy()方法，詳情請(qǐng)查閱上文。
大概思路：將該元素后面的元素前移，最后一個(gè)元素置空。
ArrayList優(yōu)缺點(diǎn)
優(yōu)點(diǎn)：
- 因?yàn)槠涞讓邮菙?shù)組，所以修改和查詢效率高。
- 可自動(dòng)擴(kuò)容(1.5倍)。
缺點(diǎn)：
- 插入和刪除效率不高。
- 線程不安全。
那面試手寫ArrayList應(yīng)該就不是問題了。
