面試必會之ArrayList源碼分析以及手寫ArrayList

時間  2019-11-29
標籤 面試 必會 arraylist 源碼 分析 以及 手寫 欄目 快樂工作 简体版
原文   原文鏈接

簡介

ArrayList是咱們開發中很是經常使用的數據存儲容器之一，其底層是數組實現的，咱們能夠在集合中存儲任意類型的數據，ArrayList是線程不安全的，很是適合用於對元素進行查找，效率很是高。面試

線程安全性

對ArrayList的操做通常分爲兩個步驟，改變位置(size)和操做元素(e)。因此這個過程在多線程的環境下是不能保證具備原子性的，所以ArrayList在多線程的環境下是線程不安全的。算法

源碼分析

1. 屬性分析

/**
 * 默認初始化容量
 */
private static final int DEFAULT_CAPACITY = 10;

/**
 * 若是自定義容量爲0，則會默認用它來初始化ArrayList。或者用於空數組替換。
 */
private static final Object[] EMPTY_ELEMENTDATA = {};

/**
 * 若是沒有自定義容量，則會使用它來初始化ArrayList。或者用於空數組比對。
 */
private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};

/**
 * 這就是ArrayList底層用到的數組

 * 非私有，以簡化嵌套類訪問
 * transient 在已經實現序列化的類中，不容許某變量序列化
 */
transient Object[] elementData;

/**
 * 實際ArrayList集合大小
 */
private int size;

/**
 * 可分配的最大容量
 */
private static final int MAX_ARRAY_SIZE = Integer.MAX_VALUE - 8;
複製代碼

擴展：什麼是序列化數組

序列化是指：將對象轉換成以字節序列的形式來表示，以便用於持久化和傳輸。緩存

實現方法：實現Serializable接口。安全

而後用的時候拿出來進行反序列化便可又變成Java對象。bash

transient關鍵字解析網絡

Java中transient關鍵字的做用，簡單地說，就是讓某些被修飾的成員屬性變量不被序列化。數據結構

有了transient關鍵字聲明，則這個變量不會參與序列化操做，即便所在類實現了Serializable接口，反序列化後該變量爲空值。多線程

那麼問題來了：ArrayList中數組聲明：transient Object[] elementData;，事實上咱們使用ArrayList在網絡傳輸用的很正常，並無出現空值。app

原來：ArrayList在序列化的時候會調用writeObject()方法，將size和element寫入ObjectOutputStream；反序列化時調用readObject()，從ObjectInputStream獲取size和element，再恢復到elementData。

那爲何不直接用elementData來序列化，而採用上訴的方式來實現序列化呢？

緣由在於elementData是一個緩存數組，它一般會預留一些容量，等容量不足時再擴充容量，那麼有些空間可能就沒有實際存儲元素，採用上訴的方式來實現序列化時，就能夠保證只序列化實際存儲的那些元素，而不是整個數組，從而節省空間和時間。

2. 構造方法分析

根據initialCapacity 初始化一個空數組，若是值爲0，則初始化一個空數組:

/**
 * 根據initialCapacity 初始化一個空數組
 */
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);
    }
}
複製代碼

不帶參數初始化，默認容量爲10:

/**
 * 不帶參數初始化，默認容量爲10
 */
public ArrayList() {
    this.elementData = DEFAULTCAPACITY_EMPTY_ELEMENTDATA;
}
複製代碼

經過集合作參數的形式初始化：若是集合爲空，則初始化爲空數組：

/**
 * 經過集合作參數的形式初始化
 */
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()方法：

用來最小化實例存儲，將容器大小調整爲當前元素所佔用的容量大小。

/**
 * 這個方法用來最小化實例存儲。
 */
public void trimToSize() {
    modCount++;
    if (size < elementData.length) {
        elementData = (size == 0)
          ? EMPTY_ELEMENTDATA
          : Arrays.copyOf(elementData, size);
    }
}複製代碼

clone()方法

用來克隆出一個新數組。

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); } } 複製代碼

經過調用Object的clone()方法來獲得一個新的ArrayList對象，而後將elementData複製給該對象並返回。

add(E e)方法

在數組末尾添加元素

/**
 * 在數組末尾添加元素
 */
public boolean add(E e) {
    ensureCapacityInternal(size + 1);  // Increments modCount!!
    elementData[size++] = e;
    return true;
}
複製代碼

看到它首先調用了ensureCapacityInternal()方法.注意參數是size+1,這是個面試考點。

private void ensureCapacityInternal(int minCapacity) {
    ensureExplicitCapacity(calculateCapacity(elementData, minCapacity));
}
複製代碼

這個方法裏又嵌套調用了兩個方法:計算容量+確保容量

計算容量：若是elementData是空，則返回默認容量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;
}
複製代碼

計算完容量後，進行確保容量可用：(modCount不用理它，它用來計算修改次數)

若是size+1 > elementData.length證實數組已經放滿，則增長容量，調用grow()。

private void ensureExplicitCapacity(int minCapacity) {
    modCount++;

    // overflow-conscious code
    if (minCapacity - elementData.length > 0)
        grow(minCapacity);
}
複製代碼

增長容量：默認1.5倍擴容。

  1. 獲取當前數組長度=>oldCapacity
  2. oldCapacity>>1 表示將oldCapacity右移一位(位運算)，至關於除2。再加上1，至關於新容量擴容1.5倍。
  3. 若是newCapacity<minCapacity，則newCapacity = minCapacity。看例子更明白一點：假設size爲1,則minCapacity=size+1=2,而elementData.length=1,newCapacity=1+1>>1=1,1<2因此若是不處理該狀況，擴容將不能正確完成。
  4. 若是新容量比最大值還要大，則將新容量賦值爲VM要求最大值。
  5. 將elementData拷貝到一個新的容量中。
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表明的含義是：

  1. 若是集合添加元素成功後，集合中的實際元素個數。
  2. 爲了確保擴容不會出現錯誤。

假如不加一處理，若是默認size是0，則0+0>>1仍是0。
若是size是1，則1+1>>1仍是1。有人問:不是默認容量大小是10嗎?事實上，jdk1.8版本之後，ArrayList的擴容放在add()方法中。以前放在構造方法中。我用的是1.8版本，因此默認ArrayList arrayList = new ArrayList();後，size應該是0.因此,size+1對擴容來說很必要.

public static void main(String[] args) {
    ArrayList arrayList = new ArrayList();
    System.out.println(arrayList.size());
}

輸出:0
複製代碼

事實上上面的代碼是證實不了容量大小的，由於size只會在調用add()方法時纔會自增。有辦法的小夥伴能夠在評論區大顯神通。

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()是越界異常檢測方法。ensureCapacityInternal()以前有講，着重說一下System.arrayCopy方法：

public static void arraycopy(Object src, int srcPos, Object dest, int destPos, int length)
代碼解釋:
　　Object src : 原數組
   int srcPos : 從元數據的起始位置開始
　　Object dest : 目標數組
　　int destPos : 目標數組的開始起始位置
　　int length  : 要copy的數組的長度
複製代碼

示例：size爲6，咱們調用add(2,element)方法，則會從index=2+1=3的位置開始，將數組元素替換爲從index起始位置爲index=2，長度爲6-2=4的數據。

異常處理：

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];
}
複製代碼

邏輯很簡單，覆蓋舊值並返回。

indexOf(Object o)方法

根據Object對象獲取數組中的索引值。

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爲空，則返回數組中第一個爲空的索引；不爲空也相似。

注意：經過源碼能夠看到，該方法是容許傳空值進來的。

get(int index)方法

返回指定下標處的元素的值。

public E get(int index) {
    rangeCheck(index);

    return elementData(index);
}
複製代碼

rangeCheck(index)會檢測index值是否合法，若是合法則返回索引對應的值。

remove(int index)方法

刪除指定下標的元素。

public E remove(int index) {
    // 檢測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;
}
複製代碼

這裏又碰到了System.arraycopy()方法，詳情請查閱上文。

大概思路：將該元素後面的元素前移，最後一個元素置空。

ArrayList優缺點

優勢：

  1. 由於其底層是數組，因此修改和查詢效率高。
  2. 可自動擴容(1.5倍)。

缺點：

  1. 插入和刪除效率不高。
  2. 線程不安全。

手寫ArrayList

那面試手寫ArrayList應該就不是問題了。

下面貼出我手寫的一個簡單閹割版的ArrayList：

public class MyArrayList {

    // 非私有，以簡化嵌套類訪問
    // transient 在已經實現序列化的類中，不容許某變量序列化
    transient Object[] elementData;

    //默認容量
    private static final int DEFAULT_CAPACITY = 10;

    // 用於空實例的 空數組實例
    private static final Object[] EMPTY_ELEMENTDATA = {};

    private static final Object[] DEFAULTCAPACITY_EMPTY_ELEMENTDATA = {};
    // 實際ArrayList集合大小
    private int size;
    /**
     * 構造方法
     */
    public MyArrayList(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);
        }
    }
    public MyArrayList(){
        this(DEFAULT_CAPACITY);
    }

    public void add(Object o){
        //1. 判斷數據容量是否大於 elementData
        ensureExplicitCapacity(size+1);
        //2. 使用下標進行賦值
        elementData[size++] = o;
    }
    private void ensureExplicitCapacity(int minCapacity){
        if (size == elementData.length){
            // 須要擴容,擴容1.5倍(ArrayList默認擴容1.5倍)
            // 注意：若是oldCapacity值爲1
            int oldCapacity = elementData.length;
            int newCapacity = oldCapacity + (oldCapacity >> 1);
            // 若是新容量 < 最小容量， 則將最小容量賦值給新容量
            // 若是 oldCapacity=1, 則 minCapacity=1+1=2   newCapacity=1+(1>>1)=1
            if (newCapacity - minCapacity < 0){
                newCapacity = minCapacity;
            }
            // 建立新數組
            Object[] objects = new Object[newCapacity];
            // 將數據複製給新數組
            System.arraycopy(elementData, 0, objects, 0, elementData.length);
            // 修改引用
            elementData = objects;
        }
    }
    public Object get(int index) {
        rangeCheck(index);
        return elementData[index];
    }
    private void rangeCheck(int index) {
        if (index >= size)
            throw new IndexOutOfBoundsException("下標越界");
    }

    /**
     * 經過下標刪除
     * @param index
     * @return
     */
    public Object remove(int index) {
        rangeCheck(index);

//        modCount++;
        // 先查出元素
        Object oldValue = elementData[index];
        // 找出置換結束位置
        int numMoved = size - index - 1;
        if (numMoved > 0)
            // 從 index+1 開始 將值覆蓋爲 index-numMoved 的值
            System.arraycopy(elementData, index+1, elementData, index, numMoved);
        elementData[--size] = null; // clear to let GC do its work

        return oldValue;
    }
    public boolean remove(Object o) {
            for (int index = 0; index < size; index++){
                if (o.equals(elementData[index])) {
                    remove(index);
                    return true;
                }
            }
        return false;
    }
}複製代碼
相關文章
相關標籤/搜索
每日一句
    每一个你不满意的现在，都有一个你没有努力的曾经。
本站公眾號
   歡迎關注本站公眾號,獲取更多信息
聯繫我們 最近搜索 最新文章 沪ICP备13005482号-10 MyBatis教程 SQL 教程 MySQL教程 Java 教程 Thymeleaf 教程 Hibernate教程 Spring教程 Redis教程