首页 > 代码库 > Java集合---ArrayList的实现原理
Java集合---ArrayList的实现原理
一、 ArrayList概述：
ArrayList是List接口的可变数组的实现。实现了所有可选列表操作，并允许包括 null 在内的所有元素。除了实现 List 接口外，此类还提供一些方法来操作内部用来存储列表的数组的大小。
每个ArrayList实例都有一个容量，该容量是指用来存储列表元素的数组的大小。它总是至少等于列表的大小。随着向ArrayList中不断添加元素，其容量也自动增长。自动增长会带来数据向新数组的重新拷贝，因此，如果可预知数据量的多少，可在构造ArrayList时指定其容量。在添加大量元素前，应用程序也可以使用ensureCapacity操作来增加ArrayList实例的容量，这可以减少递增式再分配的数量。
注意，此实现不是同步的。如果多个线程同时访问一个ArrayList实例，而其中至少一个线程从结构上修改了列表，那么它必须保持外部同步。
二、 ArrayList的实现：
对于ArrayList而言，它实现List接口、底层使用数组保存所有元素。其操作基本上是对数组的操作。下面我们来分析ArrayList的源代码：
1) 底层使用数组实现：
private transient Object[] elementData;
2) 构造方法：
ArrayList提供了三种方式的构造器，可以构造一个默认初始容量为10的空列表、构造一个指定初始容量的空列表以及构造一个包含指定collection的元素的列表，这些元素按照该collection的迭代器返回它们的顺序排列的。
2 public ArrayList() { 3 this(10); 4 } 5 6 public ArrayList(int initialCapacity) { 7 super(); 8 if (initialCapacity < 0) 9 throw new IllegalArgumentException("Illegal Capacity: "+ initialCapacity); 10 this.elementData = http://www.mamicode.com/new Object[initialCapacity]; 11} 12 13 public ArrayList(Collection<? extends E> c) { 14 elementData =http://www.mamicode.com/ c.toArray(); 15 size = elementData.length; 16 // c.toArray might (incorrectly) not return Object[] (see 6260652) 17 if (elementData.getClass() != Object[].class) 18 elementData = http://www.mamicode.com/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)这些添加元素的方法。下面我们一一讲解：
20 // 用指定的元素替代此列表中指定位置上的元素，并返回以前位于该位置上的元素。 21 public E set(int index, E element) { 22 RangeCheck(index); 23 24 E oldValue =http://www.mamicode.com/ (E) elementData[index]; 25 elementData[index] = element; 26 return oldValue; 27 } 28 // 将指定的元素添加到此列表的尾部。 29 public boolean add(E e) { 30 ensureCapacity(size + 1); 31 elementData[size++] = e; 32 return true; 33 } 34 // 将指定的元素插入此列表中的指定位置。 35 // 如果当前位置有元素，则向右移动当前位于该位置的元素以及所有后续元素（将其索引加1）。 36 public void add(int index, E element) { 37 if (index > size || index < 0) 38 throw new IndexOutOfBoundsException("Index: "+index+", Size: "+size); 39 // 如果数组长度不足，将进行扩容。 40 ensureCapacity(size+1); // Increments modCount!! 41 // 将 elementData中从Index位置开始、长度为size-index的元素， 42 // 拷贝到从下标为index+1位置开始的新的elementData数组中。 43 // 即将当前位于该位置的元素以及所有后续元素右移一个位置。 44 System.arraycopy(elementData, index, elementData, index + 1, size - index); 45 elementData[index] = element; 46 size++; 47 } 48 // 按照指定collection的迭代器所返回的元素顺序，将该collection中的所有元素添加到此列表的尾部。 49 public boolean addAll(Collection<? extends E> c) { 50 Object[] a = c.toArray(); 51 int numNew = a.length; 52 ensureCapacity(size + numNew); // Increments modCount 53 System.arraycopy(a, 0, elementData, size, numNew); 54 size += numNew; 55 return numNew != 0; 56 } 57 // 从指定的位置开始，将指定collection中的所有元素插入到此列表中。 58 public boolean addAll(int index, Collection<? extends E> c) { 59 if (index > size || index < 0) 60 throw new IndexOutOfBoundsException( 61 "Index: " + index + ", Size: " + size); 62 63 Object[] a = c.toArray(); 64 int numNew = a.length; 65 ensureCapacity(size + numNew); // Increments modCount 66 67 int numMoved = size - index; 68 if (numMoved > 0) 69 System.arraycopy(elementData, index, elementData, index + numNew, numMoved); 70 71 System.arraycopy(a, 0, elementData, index, numNew); 72 size += numNew; 73 return numNew != 0; }
4) 读取：
75 // 返回此列表中指定位置上的元素。 76 public E get(int index) { 77 RangeCheck(index); 78 79 return (E) elementData[index]; }
5) 删除：
ArrayList提供了根据下标或者指定对象两种方式的删除功能。如下：
81 // 移除此列表中指定位置上的元素。 82 public E remove(int index) { 83 RangeCheck(index); 84 85 modCount++; 86 E oldValue =http://www.mamicode.com/ (E) elementData[index]; 87 88 int numMoved = size - index - 1; 89 if (numMoved > 0) 90 System.arraycopy(elementData, index+1, elementData, index, numMoved); 91 elementData[--size] = null; // Let gc do its work 92 93 return oldValue; 94 } 95 // 移除此列表中首次出现的指定元素（如果存在）。这是应为ArrayList中允许存放重复的元素。 96 public boolean remove(Object o) { 97 // 由于ArrayList中允许存放null，因此下面通过两种情况来分别处理。 98 if (o == null) { 99 for (int index = 0; index < size; index++) 100 if (elementData[index] == null) { 101 // 类似remove(int index)，移除列表中指定位置上的元素。 102 fastRemove(index); 103 return true; 104 } 105 } else { 106 for (int index = 0; index < size; index++) 107 if (o.equals(elementData[index])) { 108 fastRemove(index); 109 return true; 110 } 111 } 112 return false; 113 } }
注意：从数组中移除元素的操作，也会导致被移除的元素以后的所有元素的向左移动一个位置。
6) 调整数组容量：
从上面介绍的向ArrayList中存储元素的代码中，我们看到，每当向数组中添加元素时，都要去检查添加后元素的个数是否会超出当前数组的长度，如果超出，数组将会进行扩容，以满足添加数据的需求。数组扩容通过一个公开的方法ensureCapacity(int minCapacity)来实现。在实际添加大量元素前，我也可以使用ensureCapacity来手动增加ArrayList实例的容量，以减少递增式再分配的数量。
115 public void ensureCapacity(int minCapacity) { 116 modCount++; 117 int oldCapacity = elementData.length; 118 if (minCapacity > oldCapacity) { 119 Object oldData[] = elementData; 120 int newCapacity = (oldCapacity * 3)/2 + 1; //增加50%+1121 if (newCapacity < minCapacity) 122 newCapacity = minCapacity; 123 // minCapacity is usually close to size, so this is a win: 124 elementData =http://www.mamicode.com/ Arrays.copyOf(elementData, newCapacity); 125 } 126 }
从上述代码中可以看出，数组进行扩容时，会将老数组中的元素重新拷贝一份到新的数组中，每次数组容量的增长大约是其原容量的1.5倍。这种操作的代价是很高的，因此在实际使用时，我们应该尽量避免数组容量的扩张。当我们可预知要保存的元素的多少时，要在构造ArrayList实例时，就指定其容量，以避免数组扩容的发生。或者根据实际需求，通过调用ensureCapacity方法来手动增加ArrayList实例的容量。
Object oldData[] = elementData;//为什么要用到oldData[]
乍一看来后面并没有用到关于oldData， 这句话显得多此一举！但是这是一个牵涉到内存管理的类， 所以要了解内部的问题。 而且为什么这一句还在if的内部，这跟elementData = Arrays.copyOf(elementData, newCapacity); 这句是有关系的，下面这句Arrays.copyOf的实现时新创建了newCapacity大小的内存，然后把老的elementData放入。好像也没有用到oldData，有什么问题呢。问题就在于旧的内存的引用是elementData， elementData指向了新的内存块，如果有一个局部变量oldData变量引用旧的内存块的话，在copy的过程中就会比较安全，因为这样证明这块老的内存依然有引用，分配内存的时候就不会被侵占掉，然后copy完成后这个局部变量的生命期也过去了，然后释放才是安全的。不然在copy的的时候万一新的内存或其他线程的分配内存侵占了这块老的内存，而copy还没有结束，这将是个严重的事情。
关于ArrayList和Vector区别如下：
l ArrayList在内存不够时默认是扩展50% + 1个，Vector是默认扩展1倍。
l Vector提供indexOf(obj, start)接口，ArrayList没有。
l Vector属于线程安全级别的，但是大多数情况下不使用Vector，因为线程安全需要更大的系统开销。
ArrayList还给我们提供了将底层数组的容量调整为当前列表保存的实际元素的大小的功能。它可以通过trimToSize方法来实现。代码如下：
127 public void trimToSize() { 128 modCount++; 129 int oldCapacity = elementData.length; 130 if (size < oldCapacity) { 131 elementData =http://www.mamicode.com/ Arrays.copyOf(elementData, size); 132 } }
7) Fail-Fast机制：
ArrayList也采用了快速失败的机制，通过记录modCount参数来实现。在面对并发的修改时，迭代器很快就会完全失败，而不是冒着在将来某个不确定时间发生任意不确定行为的风险。具体介绍请参考这篇文章深入Java集合学习系列：HashMap的实现原理 中的Fail-Fast机制。
8) 关于其他 的一些方法的实现都很简单易懂，读者可参照API文档和源代码。
Java集合---ArrayList的实现原理