和我一塊兒讀Java8 ArrayList源碼
集合系列文章：和我一塊兒讀Java8 LinkedList源碼 首先放一張Java集合接口圖：java
- ArrayList 它長於隨機訪問元素，可是在List中間插入和移除元素較慢。
- LinkedList 它經過代價較低的方式在List中間進行插入和刪除，可是在隨機訪問方面相對較慢，可是它的特性急較ArrayList大。 還有個第一代容器Vector，後面僅做比較。
下面正式進入ArrayList實現原理，主要參考Java8 ArrayList源碼 ####類定義數組
public class ArrayList<E> extends AbstractList<E>
implements List<E>, RandomAccess, Cloneable, java.io.Serializable
複製代碼
ArrayList 繼承了AbstractList而且實現了List，因此具備添加，修改，刪除，遍歷等功能 實現了RandomAccess接口，支持隨機訪問 實現了Cloneable接口，支持Clone 實現了Serualizable接口，能夠被序列化 ####底層數據結構bash
transient Object[] elementData; //存放元素的數組
private int size; //ArrayList實際存放的元素數量
複製代碼
ArrayList的底層實際是經過一個Object的數組實現，數組自己有個容量capacity，實際存儲的元素個數爲size，當作一些操做，例如插入操做致使數組容量不夠時，ArrayList就會自動擴容，也就是調節capacity的大小。數據結構
####初始化 指定容量大小初始化多線程
/**
* 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);
}
}
複製代碼
初始化一個指定容量的空集合，如果容量爲0，集合爲空集合，其中 private static final Object[] EMPTY_ELEMENTDATA = {};,容量也爲0。dom
無參數初始化ide
/**
* Constructs an empty list with an initial capacity of ten.
*/
public ArrayList() {
this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}
複製代碼
無參數初始化，其實DEFAULTCAPACITY_EMPTY_ELEMENTDATA的定義也爲： private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};與EMPTY_ELEMENTDATA的區別是當第一個元素被插入時，數組就會自動擴容到10,具體見下文說add方法時的解釋。函數
集合做爲初始化參數post
/**
* Constructs a list containing the elements of the specified
* collection, in the order they are returned by the collection's * iterator. * * @param c the collection whose elements are to be placed into this list * @throws NullPointerException if the specified collection is null */ 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; } } 複製代碼
構造一個包含指定 collection 的元素的列表，這些元素按照該collection的迭代器返回它們的順序排列的。ui
####size和IsEmpty 首先是兩個最簡單的操做：
public int size() {
return size;
}
複製代碼
public boolean isEmpty() {
return size == 0;
}
複製代碼
都是依靠size值，直接獲取容器內元素的個數，判斷是否爲空集合。
#####Set 和Get操做 Set和Get操做都是直接操做集合下標
public E set(int index, E element) {
rangeCheck(index);
E oldValue = elementData(index);
elementData[index] = element;
return oldValue;
}
複製代碼
public E get(int index) {
rangeCheck(index);
return elementData(index);
}
複製代碼
在操做以前都會作RangeCheck檢查，若是index超過size，則會報IndexOutOfBoundsException錯誤。 elementData的操做實際就是基於下標的訪問，因此ArrayList 長於隨機訪問元素，複雜度爲O(1)。
@SuppressWarnings("unchecked")
E elementData(int index) {
return (E) elementData[index];
}
複製代碼
####Contain
public boolean contains(Object o) {
return indexOf(o) >= 0;
}
複製代碼
contains 函數基於indexOf函數，若是第一次出現的位置大於等於0，說明ArrayList就包含該元素， IndexOf的實現以下：
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;
}
複製代碼
ArrayList是接受null值的，若是不存在該元素，則會返回-1，因此contains判斷是否大於等於0來判斷是否包含指定元素。
####Add和Remove
public boolean add(E e) {
ensureCapacityInternal(size + 1); // Increments modCount!!
elementData[size++] = e;
return true;
}
複製代碼
首先確保已有的容量在已使用長度加1後還能存下下一個元素，這裏正好分析下用來確保ArrayList容量ensureCapacityInternal函數：
private void ensureCapacityInternal(int minCapacity) {
if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
minCapacity = Math.max(DEFAULT_CAPACITY, minCapacity);
}
ensureExplicitCapacity(minCapacity);
}
複製代碼
這邊能夠返回看一開始空參數初始化，this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA, 空參數初始化的ArrayList添加第一個元素，上面的if語句就會調用，DEFAULT_CAPACITY定義爲10，因此空參數初始化的ArrayList一開始添加元素，容量就變爲10，在肯定了minCapacity後，還要調用ensureExplicitCapacity(minCapacity)去真正的增加容量：
private void ensureExplicitCapacity(int minCapacity) {
modCount++;
// overflow-conscious code
if (minCapacity - elementData.length > 0)
grow(minCapacity);
}
複製代碼
這裏modCount默默記錄ArrayList被修改的次數， 而後是判斷是否須要擴充數組容量，若是當前數組所須要的最小容量大於數組現有長度，就調用自動擴容函數grow：
private void grow(int minCapacity) {
// overflow-conscious code
int oldCapacity = elementData.length;
int newCapacity = oldCapacity + (oldCapacity >> 1); //擴充爲原來的1.5倍
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);
}
複製代碼
oldCapacity記錄數組原有長度，newCapacity直接將長度擴展爲原來的1.5倍，若是1.5倍的長度大於須要擴充的容量（minCapacity），就只擴充到minCapacity，若是newCapacity大於數組最大長度MAX_ARRAY_SIZE，就只擴容到MAX_ARRAY_SIZE大小，關於MAX_ARRAY_SIZE爲何是private static final int MAX_ARRAY_SIZE = Integer.MAX_VALUE - 8;,我文章裏就不深究了，感興趣的能夠參考stackoverflow上的有關回答： Why the maximum array size of ArrayList is Integer.MAX_VALUE - 8?
Add還提供兩個參數的形式，支持在指定位置添加元素。
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++;
}
複製代碼
在指定位置添加元素以前，先把index位置起的全部元素後移一位，而後在index處插入元素。
public E remove(int index) {
rangeCheck(index);
modCount++;
E oldValue = elementData(index);
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;
}
複製代碼
Remove接口也很好理解了，存儲index位置的值到oldView做爲返回值，將index後面全部的元素都向前拷貝一位，不要忘記的是還要將原來最後的位置標記爲null，以便讓垃圾收集器自動GC這塊內存。 還能夠根據對象Remove：
public boolean remove(Object o) {
if (o == null) {
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函數快速刪除index位置上的元素，FastRemove也就是比remove(index)少了個邊界檢查。
#####clear
/**
* Removes all of the elements from this list. The list will
* be empty after this call returns.
*/
public void clear() {
modCount++;
// clear to let GC do its work
for (int i = 0; i < size; i++)
elementData[i] = null;
size = 0;
}
複製代碼
因爲Java有GC機制，因此不須要手動釋放內存，只要將ArrayList全部元素都標記爲null，垃圾收集器就會自動收集這些內存。
Add和Remove都提供了一系列的批量操做接口:
public boolean addAll(Collection<? extends E> c);
public boolean addAll(int index, Collection<? extends E> c);
protected void removeRange(int fromIndex, int toIndex) ;
public boolean removeAll(Collection<?> c) ;
複製代碼
相比於單文件一次只集體向前或向後移動一位，批量操做須要移動Collection 長度的距離。
####Iterator與fast_fail 首先看看ArrayList裏迭代器是如何實現的：
private class Itr implements Iterator<E> {
int cursor; // 記錄下一個返回元素的index，一開始爲0
int lastRet = -1; // index of last element returned; -1 if no such
int expectedModCount = modCount; //這邊確保產生迭代器時，就將當前modCount賦給expectedModCount
public boolean hasNext() {
return cursor != size;
}
@SuppressWarnings("unchecked")
public E next() {
checkForComodification();
int i = cursor; //訪問元素的index
if (i >= size)
throw new NoSuchElementException();
Object[] elementData = ArrayList.this.elementData;
if (i >= elementData.length)
throw new ConcurrentModificationException();
cursor = i + 1; //不斷加1，只要不斷調用next，就能夠遍歷List
return (E) elementData[lastRet = i]; //lastRet在這裏會記錄最近返回元素的位置
}
public void remove() {
if (lastRet < 0)
throw new IllegalStateException();
checkForComodification();
try {
ArrayList.this.remove(lastRet); //調用List自己的remove函數，刪除最近返回的元素
cursor = lastRet;
lastRet = -1;
expectedModCount = modCount; //上面的Remove函數會改變modCount，因此這邊expectedModCount須要更新
} catch (IndexOutOfBoundsException ex) {
throw new ConcurrentModificationException();
}
}
@Override
@SuppressWarnings("unchecked")
public void forEachRemaining(Consumer<? super E> consumer) {
Objects.requireNonNull(consumer);
final int size = ArrayList.this.size;
int i = cursor;
if (i >= size) {
return;
}
final Object[] elementData = ArrayList.this.elementData;
if (i >= elementData.length) {
throw new ConcurrentModificationException();
}
while (i != size && modCount == expectedModCount) {
consumer.accept((E) elementData[i++]);
}
// update once at end of iteration to reduce heap write traffic
cursor = i;
lastRet = i - 1;
checkForComodification();
}
final void checkForComodification() {
if (modCount != expectedModCount)
throw new ConcurrentModificationException();
}
}
複製代碼
ArrayList裏能夠經過iterator方法獲取迭代器，iterator方法就是new一個上述迭代器對象：
public Iterator<E> iterator() {
return new Itr();
}
複製代碼
那麼咱們看看Itr類的主要方法：
- next ：獲取序列的下一個元素
- hasNext：檢查序列中是否還有元素
- remove：將迭代器新近返回的元素刪除
在next和remove操做以前，都會調用checkForComodification函數，若是modCount和自己記錄的expectedModCount不一致，就證實集合在別處被修改過，拋出ConcurrentModificationException異常，產生fail-fast事件。
fail-fast 機制是java集合(Collection)中的一種錯誤機制。當多個線程對同一個集合的內容進行操做時，就可能會產生fail-fast事件。 例如：當某一個線程A經過iterator去遍歷某集合的過程當中，若該集合的內容被其餘線程所改變了；那麼線程A訪問集合時，就會拋出ConcurrentModificationException異常，產生fail-fast事件。 通常多線程環境下，能夠考慮使用CopyOnWriteArrayList來避免fail-fast。
- 1. 和我一塊兒讀Java8 LinkedList源碼
- 2. 跟我一塊兒讀源碼(ArrayList)
- 3. 跟我一塊兒讀源碼之ArrayList
- 4. Java8源碼-ArrayList
- 5. XLNet源碼一塊兒讀
- 6. 一塊兒讀 Gevent 源碼
- 7. java8 ArrayList源碼閱讀【2】- 總結
- 8. 跟我一塊兒讀postgresql源碼(一)——psql命令
- 9. Java8 ArrayList源碼分析
- 10. Java8——ArrayList源碼詳解
- 更多相關文章...
- • XSL-FO 塊 - XSL-FO 教程
- • Markdown 代碼 - Markdown 教程
- • Java Agent入門實戰（二）-Instrumentation源碼概述
- • IntelliJ IDEA 代碼格式化配置和快捷鍵
-
每一个你不满意的现在，都有一个你没有努力的曾经。