javaCopyOnWriterArrayList分析

CopyOnWriterArrayList的类图属性方法

CopyOnWriterArrayList<E>
lock:ReentrantLock
array:Object[]
add():void
set(): E
size: int
isEmpty():boolean
E remove()
iterator(): iterator 

ReentranLock独占锁来保证只有一个线程对array就行修改，只有一个线程可以获取

CopyOnWriteArrayList的无参构造函数，创建了一个大小为0的Object数据作为array的初始值

public CopyOnWriteArrayList() {
    setArray(new Object[0]);
}

CopyOnWriteArrayList的有参构造函数

  创建一个list，其内部元素是入参toCopyIn的拷贝
       
          public CopyOnWriteArrayList(E[] toCopyIn) {
      setArray(Arrays.copyOf(toCopyIn, toCopyIn.length, Object[].class));
}

//入参为集合，拷贝集合里面元素到本list
public CopyOnWriteArrayList(Collection<? extends E> c) {
    Object[] elements;
    if (c.getClass() == CopyOnWriteArrayList.class)
        elements = ((CopyOnWriteArrayList<?>)c).getArray();
    else {
        elements = c.toArray();
        // c.toArray might (incorrectly) not return Object[] (see 6260652)
        if (elements.getClass() != Object[].class)
            elements = Arrays.copyOf(elements, elements.length, Object[].class);
    }
    setArray(elements);
}

添加元素，CopyOnWriteArrayList中添加元素

   public boolean add(E e) {

    //加独占锁（1）
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {
        //获取array(2)
        Object[] elements = getArray();

        //拷贝array到新数组，添加元素到新数组(3)
        int len = elements.length;
        Object[] newElements = Arrays.copyOf(elements, len + 1);
        newElements[len] = e;

        //使用新数组替换添加前的数组(4)
        setArray(newElements);
        return true;
    } finally {
        //释放独占锁
        lock.unlock();
    }

}
获取指定位置元素

public E get(int index) {
    return get(getArray(), index);
}

final Object[] getArray() {
    return array;
}

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

}
修改指定元素

public E set(int index, E element) {
final ReentrantLock lock = this.lock;
lock.lock();
try {
Object[] elements = getArray();
E oldValue = get(elements, index);

        if (oldValue != element) {
            int len = elements.length;
            Object[] newElements = Arrays.copyOf(elements, len);
            newElements[index] = element;
            setArray(newElements);
        } else {
            // Not quite a no-op; ensures volatile write semantics
            setArray(elements);
        }
        return oldValue;
    } finally {
        lock.unlock();
    }
}

删除元素，删除list里面指定的元素

public E remove(int index) {

    //获取独占锁
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {

        //获取数组
        Object[] elements = getArray();
        int len = elements.length;

        //获取指定元素
        E oldValue = get(elements, index);
        int numMoved = len - index - 1;

        //如果要删除的是最后一个元素
        if (numMoved == 0)
            setArray(Arrays.copyOf(elements, len - 1));
        else {
            //分两次拷贝除删除后的元素到新数组
            Object[] newElements = new Object[len - 1];
            System.arraycopy(elements, 0, newElements, 0, index);
            System.arraycopy(elements, index + 1, newElements, index,
                             numMoved);
            //使用新数组代替老的                
            setArray(newElements);
        }
        return oldValue;
    } finally {
        //释放锁
        lock.unlock();
    }
}

注意事项：CopyOnWriteArrayList使用写时拷贝的策略来保证list的一致性，而获取-拷贝-写入 三步并不是原子性的，所以在修改增删改的过程中都是用了独占锁，并保证了同时只有一个线程才能对list数组进行修改。

还有就是CopyOnWriteArrayList提供了弱一致性的迭代器，保证在获取迭代器后，其他线程对list的修改该不可见，迭代器遍历时候的数组是获取迭代器时候的一个快照，另外并发包中CopyOnWriteArraySet 底层就是使用它进行实现。