集合源码分析(一)ArrayList实现(JDK1.8)

版权声明:本文为博主原创文章,转载添加原文链接 https://blog.csdn.net/qq_34190023/article/details/80879386

public class ArrayList<E> extends AbstractList<E>
       
implements List<E>, RandomAccess, Cloneable, java.io.Serializable

transient Object[] elementData;

private int size;

private staticfinal int DEFAULT_CAPACITY = 10;

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);
   
}
}

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[] (see6260652)
       
if (elementData.getClass() != Object[].class)
           
elementData = Arrays.copyOf(elementData, size, Object[].class);
   
} else {
       
// replace with empty array.
       
this.elementData = EMPTY_ELEMENTDATA;
   
}
}

public int size() {
   
return size;
}

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;
}

public E get(int index) {
    rangeCheck(index)
;  // 判断是否越界
    return
elementData(index);
}

public E set(int index, E element) {
    rangeCheck(index)
;
   
E oldValue = elementData(index); // 先获取旧值
   
elementData[index] = element;  // 直接对内部维护的数组进行赋值
    return
oldValue;
}

public boolean add(E e) {
    ensureCapacityInternal(
size + 1)// IncrementsmodCount!!
   
elementData[size++] = e;
    return true;
}

// 将指定的元素插入此列表中的指定位置。  

// 如果当前位置有元素,则向右移动当前位于该位置的元素以及所有后续元素(将其索引加1

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++;
}

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;
}

public boolean remove(Object o) {

// 由于ArrayList中允许存放null,因此下面通过两种情况来分别处理。  
   
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;
}

public void clear() {
   
modCount++;
   
// clear to let GC do its work
   
for (int i = 0; i < size; i++)
       
elementData[i] = null;
   
size = 0;
}

@Override
public void forEach(Consumer<? super E> action) {
    Objects.requireNonNull(action)
;
    final int
expectedModCount = modCount;
   
@SuppressWarnings("unchecked")
   
final E[] elementData = (E[]) this.elementData;
    final int
size = this.size;
    for
(int i=0; modCount == expectedModCount&& i < size; i++) {
        action.accept(elementData[i])
;
   
}
   
if (modCount != expectedModCount) {
       
throw new ConcurrentModificationException();
   
}
}

private void fastRemove(int index) {
   
modCount++;
    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
}

每个ArrayList 实例都有一个容量,该容量是指用来存储列表元素的数组的大小。它总是至少等于列表的大小。随着向 ArrayList 中不断添加元素,其容量也自动增长。自动增长会带来数据向新数组的重新拷贝,因此,如果可预知数据量的多少,可在构造 ArrayList 时指定其容量。在添加大量元素前,应用程序也可以使用ensureCapacity操作来增加ArrayList实例的容量,这可以减少递增式再分配的数量。 

注意,此实现不是同步的。如果多个线程同时访问一个 ArrayList 实例,而其中至少一个线程从结构上修改了列表,那么它必须保持外部同步。

   相对比的,Vector是线程安全的,其中涉及线程安全的方法皆被同步操作了。

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

库容:

private void ensureCapacityInternal(int minCapacity) {
   
if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) { // 如果只是刚初始化,最小容量大小默认是8
        minCapacity = Math.max(
DEFAULT_CAPACITY, minCapacity);
   
}
    ensureExplicitCapacity(minCapacity)
;//根据容量进行分配
}
private void ensureExplicitCapacity(int minCapacity) {
   
modCount++;
   
// overflow-conscious code
   
if (minCapacity - elementData.length > 0) // 大于的时候进行扩容,否则直接结束
        grow(minCapacity)
;
}

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 awin:
   
elementData = Arrays.copyOf(elementData, newCapacity);
}

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

  ArrayList 还给我们提供了将底层数组的容量调整为当前列表保存的实际元素的大小的功能。它可以通过 trimToSize方法来实现。


Fail-Fast机制:

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

猜你喜欢

转载自blog.csdn.net/qq_34190023/article/details/80879386