Java并发包中的List源码剖析

CopyOnWriteArrayList（写时复制ArrayList）

写时复制：这是JUC并发包下的基于写时复制的ArrayList。为什么是写时复制呢？因为当调用对这个ArrayList中的元素进行修改的方法时，会先复制一个原数组的副本，对这个副本进行操作，最后再让原数组的引用指向这个新的数组，实现数据的更新，这个过程的原子性通过独占锁来保证，这就是写时复制。它归类于并发包的原因是，对这个类的操作是线程安全的，底层通过独占锁来实现（这个类没有用到CAS）。
弱一致性：通过以上描述就可以发现，读取是不受任何影响的，任何线程都可以对数据进行读取，即便数据被copy一份正在修改，也可以读，这就带来了一个问题，先调用了修改List的方法，再调用读取其中某个元素的方法，若该元素在修改的方法中被修改，理论上读取的应该是修改后的数据，然而，因为修改数据是对副本（快照）修改，在它还没有更新引用时，别的线程拿到的依然是原先的数组，这就和代码的先后逻辑冲突了，这就是弱一致性问题。

CopyOnWriteArrayList源码分析

初始化：
它有3种构造方法。
1、无参构造：
在初始化时会new一个长度为0的数组。
2、传入一个集合对象的构造方法：
? extends E 通配符申明了在CopyOnWriteArrayList中元素的类型是E的子类或者其本身，在方法中申明一个数组来接收。先判断传入的集合c和CopyOnWriteArrayList类是否是相同类，如果是相同则直接调用getArray()方法获取传入的那个CopyOnWriteArrayList类的实例的数组引用，把它赋予这个构造方法中的数组，也就是说可以拿一个CopyOnWriteArrayList的对象传入另一个CopyOnWriteArrayList的构造方法，使得后者持有前者数组的引用并可以修改它。如果是一个其他集合类，就调用toArray()方法，得到数组，然后再判断元素是否为Object类，如果不是，则获取一个副本，其中的元素转型为Object类的实例。最后调用set方法更新CopyOnWriteArrayList中维护的数组的引用。
3、传入一个数组的构造方法：
直接把它转为Object并设置为CopyOnWriteArrayList的array。

    public CopyOnWriteArrayList() {
   
        setArray(new Object[0]);
    }    
    public CopyOnWriteArrayList(Collection<? extends E> c) {
   
        Object[] elements;
        if (c.getClass() == CopyOnWriteArrayList.class)
            elements = ((CopyOnWriteArrayList<?>)c).getArray();
        else {
   
            elements = c.toArray();
            if (elements.getClass() != Object[].class)
                elements = Arrays.copyOf(elements, elements.length, Object[].class);
        }
        setArray(elements);
    }
    public CopyOnWriteArrayList(E[] toCopyIn) {
   
        setArray(Arrays.copyOf(toCopyIn, toCopyIn.length, Object[].class));
    }

添加元素：
先实例化一个独占锁，然后加锁。获取原数组的引用，计算长度，然后获取副本，这个副本长度比原先大1，添加一个元素到末尾，最后还需要释放锁。

   public boolean add(E e) {
   
        final ReentrantLock lock = this.lock;
        lock.lock();