数组ArrayList源码分析

数组ArrayList源码分析

(在公众号“数据结构与算法”中做的学习笔记，不想抄袭，有自己的拓展和理解)

get()和set()方法都会先判断是否越界，然后进行相应操作，如果越界则抛出相应异常警告。

if (index >= size)
  throw new IndexOutOfBoundsException(outOfBoundsMsg(index));

但是在add()和remove()方法中，我们需要进行数组大小的变动，比如在add()方法中，源码如下：

public void add(int index, E element) {
    if (index > size || index < 0)
        throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
    ensureCapacityInternal(size + 1);  // Increments modCount!!
    System.arraycopy(elementData, index, elementData, index + 1,size - index);
    elementData[index] = element;
    size++;
}

除了首先还是判断越界异常外，还需要进行ensureCapacityInternal()方法进行判断是否需要扩容，源码如下：

private void ensureCapacityInternal(int minCapacity) {
    if (elementData == DEFAULTCAPACITY_EMPTY_ELEMENTDATA) {
        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 static final int DEFAULT_CAPACITY = 10）为10，如果数组为空，直接add()，那么minCapacity为10，扩容为直接扩到10。一旦需要扩容，如果我们需要的空间大于数组长度的时候，说明数组不够用了，要进行扩容，就会执行下面的grow方法，我们来看一下grow方法的代码。

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

代码也比较简单，扩容的时候在第4行还会增加一半的大小，比如原来数组大小是10，第一次扩容后会是15。

里面有几点：1.MAX_ARRAY_SIZE = Integer.MAX_VALUE - 8;数组有点特殊性，数组对象要额外存储数组元素长度在头部，少了这8个长度可能与此有关。

尝试分配大于 MAX_ARRAY_SIZE 长度的数组会导致 OOM （换句话说，超过了该虚拟机的数组长度限制）。

（Redis 的动态字符串和这个有点类似，只不过扩容策略有差异 。

那么为什么Redis 动态字符串扩容会有两个处理方式？为什么大于1M 每次增加1M 而且有最大长度限制呢？
1 首先想下 Redis 和 Java中的ArrayList的使用场景。
Redis 通常用作缓存，而且失效时间相对较长（少则几秒钟，多则几分钟，几个小时等）。而ArrayList 通常在某个函数中用，一般来说生命周期很短，出栈后就可以回收。
2 Redis 为啥要有最大值限制。可能是因为通常和使用者不在同一个服务器上，需要通过网络进行传输，如果很大，传输很容易超时，而且Redis 主任务为单线程，很容易阻塞其他任务的执行。
3 小于1M）

在ArrayList中无论使用add还是remove都会使用这样一个方法

  System.arraycopy(elementData, index+1, elementData, index,numMoved);

函数原型为：public static void arraycopy(Object src, int srcPos,Object dest, int destPos, int length)
其中：src表示源数组，srcPos表示源数组要复制的起始位置，desc表示目标数组，length表示要复制的长度

这说明对数组的查找是比较方便的，因为只是复制不改变原来数组中的元素的顺序，但对数组的增删就没那么方便了，因为数组是一块连续的内存空间，如果在前面增加和删除，都会导致后面元素位置的变动。

ArraList是线程不安全，如果使用线程安全的可以用Vector，还有一个线程安全的类

CopyOnWriteArrayList，他只在add和remove的时候，也就是修改数据的时候会先synchronized，在get的时候没有，我们来看一下代码：

private E get(Object[] a, int index) {
    return (E) a[index];
}

我们再来看一下他的add方法

 public boolean add(E e) {
    synchronized (lock) {
        Object[] elements = getArray();
        int len = elements.length;
        Object[] newElements = Arrays.copyOf(elements, len + 1);
        newElements[len] = e;
        setArray(newElements);
        return true;
    }
}

他不像ArrayList每次扩容的时候，size都会增加一半，他是每次add一个元素的时候size只会加1，同理remove的时候size只会减1。