Java集合框架之ArrayList的实现原理

ArrayList概述

ArrayList是实现了List接口的可变数组的实现类型,实现了所有可选列表操作,并允许包括 null 在内的所有元素。除了实现 List 接口外,ArrayList还提供一些方法来操作内部用来存储列表的数组的大小。每个 ArrayList 实例都有一个容量,该容量是指用来存储列表元素的数组的大小。它总是至少等于列表的大小。随着向 ArrayList 中不断添加元素,其容量也自动增长。自动增长会带来数据向新数组的重新拷贝,因此,如果可预知数据量的多少,可在构造 ArrayList 时指定其容量。在添加大量元素前,应用程序也可以使用 ensureCapacity 操作来增加 ArrayList 实例的容量,这可以减少递增式再分配的数量。但值得注意的是,ArrayLlist 不是线程同步的。如果多个线程同时访问一个 ArrayList 实例,而其中至少一个线程从结构上修改了列表,那么它必须保持外部同步。

ArrayList的实现

image

对于 ArrayList 而言,它实现 List 接口、底层使用数组保存所有元素。其操作基本上是对数组的操作。我们不妨对ArrayList的源码进行分析。

1.ArrayList底层使用数组实现

private transient Object[] elementData; 

2.构造方法

ArrayList 提供了三种方式的构造器,可以构造一个默认初始容量为 10 的空列表、构造 一个指定初始容量的空列表以及构造一个包含指定 collection 的元素的列表,这些元素按照该 collection 的迭代器返回它们的顺序排列的。

public ArrayList() {   
     this(10);   
}   
public ArrayList(int initialCapacity) { 
     super();   
     if (initialCapacity < 0)   
         throw new IllegalArgumentException("Illegal Capacity: "+ initialCapaci
ty);   
     this.elementData = new Object[initialCapacity];   
}   
public ArrayList(Collection<? extends E> c) {   
     elementData = c.toArray();   
     size = elementData.length;   
     // c.toArray might (incorrectly) not return Object[] (see 6260652)   
     if (elementData.getClass() != Object[].class)   
         elementData = Arrays.copyOf(elementData, size, Object[].class);   
}

3.存储

ArrayList 提供了 set(int index, E element)、add(E e)、add(int index, E element)、 addAll(Collection<? extends E> c)、addAll(int index, Collection<? extends E> c)这些添加元素的方法。

// 用指定的元素替代此列表中指定位置上的元素,并返回以前位于该位置上的元素。 
public E set(int index, E element) {   
    RangeCheck(index);   
    E oldValue = (E) elementData[index];   
    elementData[index] = element;   
    return oldValue;   
}   
// 将指定的元素添加到此列表的尾部。   
public boolean add(E e) {   
    ensureCapacity(size + 1);    
    elementData[size++] = e;   
    return true;   
}
// 将指定的元素插入此列表中的指定位置。   
// 如果当前位置有元素,则向右移动当前位于该位置的元素以及所有后续元素(将其索引加 1)。   
public void add(int index, E element) {   
    if (index > size || index < 0)   
        throw new IndexOutOfBoundsException("Index: "+index+", Size: "+siz
e);   
    // 如果数组长度不足,将进行扩容。  
    ensureCapacity(size+1);  // Increments modCount!!   
    // 将 elementData 中从 Index 位置开始、长度为 size-index 的元素,   
    // 拷贝到从下标为 index+1 位置开始的新的 elementData 数组中。   
    // 即将当前位于该位置的元素以及所有后续元素右移一个位置。   
    System.arraycopy(elementData, index, elementData, index + 1, size - inde
x);   
    elementData[index] = element;   
    size++;   
}
// 按照指定 collection 的迭代器所返回的元素顺序,将该 collection 中的所有元素添加到此列表的尾部。
public boolean addAll(Collection<? extends E> c) {
    Object[] a = c.toArray();   
    int numNew = a.length;  
    ensureCapacity(size + numNew);  // Increments modCount   
    System.arraycopy(a, 0, elementData, size, numNew);  
    size += numNew;   
    return numNew != 0;   
}
// 按照指定 collection 的迭代器所返回的元素顺序,将该 collection 中的所有元素添加到此列表的尾部。
public boolean addAll(Collection<? extends E> c) {   
    Object[] a = c.toArray();   
    int numNew = a.length;    
    ensureCapacity(size + numNew);  // Increments modCount   
    System.arraycopy(a, 0, elementData, size, numNew);   
    size += numNew;   
    return numNew != 0;   
}
// 从指定的位置开始,将指定 collection 中的所有元素插入到此列表中。
public boolean addAll(int index, Collection<? extends E> c) {   
    if (index > size || index < 0)   
        throw new IndexOutOfBoundsException("Index: " + index + ", Size: " + size);   
    Object[] a = c.toArray();   
    int numNew = a.length;   
    ensureCapacity(size + numNew);  // Increments modCount   
    int numMoved = size - index;   
    if (numMoved > 0)   
        System.arraycopy(elementData, index, elementData, index + numNew, numMoved); 
    System.arraycopy(a, 0, elementData, index, numNew);   
    size += numNew;   
    return numNew != 0;   
}

4.读取

// 返回此列表中指定位置上的元素。   
public E get(int index) {   
    RangeCheck(index);   
    return (E) elementData[index];   
}

5.删除

ArrayList 提供了根据下标或者指定对象两种方式的删除功能。如下:

// 移除此列表中指定位置上的元素。   
public E remove(int index) {   
    RangeCheck(index);   
   
    modCount++;   
    E oldValue = (E) elementData[index];
   
    int numMoved = size - index - 1;   
    if (numMoved > 0)   
        System.arraycopy(elementData, index+1, elementData, index, numMoved);   
    elementData[--size] = null; // Let gc do its work   

    return oldValue;   
}
// 移除此列表中首次出现的指定元素(如果存在)。这是应为ArrayList中允许存放重复的元素。
public boolean remove(Object o) {   
    // 由于 ArrayList 中允许存放 null,因此下面通过两种情况来分别处理。   
    if (o == null) {   
        for (int index = 0; index < size; index++) 
             if (elementData[index] == null) {   
                // 类似 remove(int index),移除列表中指定位置上的元素。   
                fastRemove(index);   
                return true;   
            }   
    } else {   
        for (int index = 0; index < size; index++)   
          if (o.equals(elementData[index])) {   
            fastRemove(index);   
            return true;   
          }   
    }   
    return false;   
}

注意:从数组中移除元素的操作,也会导致被移除的元素以后的所有元素的向左移动一个位置。

6.调整数组容量

从上面介绍的向 ArrayList 中存储元素的代码中,我们看到,每当向数组中添加元素时,都要去检查添加后元素的个数是否会超出当前数组的长度,如果超出,数组将会进行扩容, 以满足添加数据的需求。数组扩容通过一个公开的方法 ensureCapacity(int minCapacity)来实现。在实际添加大量元素前,我也可以使用 ensureCapacity 来手动增加 ArrayList 实例的容量,以减少递增式再分配的数量。

public void ensureCapacity(int minCapacity) {   
    modCount++;   
    int oldCapacity = elementData.length;   
    if (minCapacity > oldCapacity) {   
        Object oldData[] = elementData;   
        int newCapacity = (oldCapacity * 3)/2 + 1;   
            if (newCapacity < minCapacity)   
                newCapacity = minCapacity;   
        // minCapacity is usually close to size, so this is a win:   
        elementData = Arrays.copyOf(elementData, newCapacity);   
    }   
}

从代码可以看出,数组进行扩容时,会将老数组中的元素重新拷贝一份到新的数组中,每次数组容量的增长大约是其原容量的 1.5 倍。这种操作的代价是很高的,因此在实际使用时,我们应该尽量避免数组容量的扩张。当我们可预知要保存的元素的多少时,要在构造 ArrayList 实例时,就指定其容量,以避免数组扩容的发生。或者根据实际需求,通过调用 ensureCapacity 方法来手动增加 ArrayList 实例的容量。ArrayList 还给我们提供了将底层数组的容量调整为当前列表保存的实际元素的大小的功能。它可以通过 trimToSize 方法来实现。代码如下:

public void trimToSize() {   
    modCount++;   
    int oldCapacity = elementData.length;   
    if (size < oldCapacity) {   
        elementData = Arrays.copyOf(elementData, size);   
    }   
}

7.快速失败 Fail-Fast 机制

ArrayList 也采用了快速失败的机制,通过记录 modCount 参数来实现。在面对并发的修改时,迭代器很快就会完全失败,而不是冒着在将来某个不确定时间发生任意不确定行为的风险。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 158,847评论 4 362
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 67,208评论 1 292
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 108,587评论 0 243
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 43,942评论 0 205
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,332评论 3 287
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,587评论 1 218
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,853评论 2 312
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,568评论 0 198
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,273评论 1 242
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,542评论 2 246
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,033评论 1 260
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,373评论 2 253
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,031评论 3 236
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,073评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,830评论 0 195
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,628评论 2 274
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,537评论 2 269

推荐阅读更多精彩内容