CopyOnWriteArrayList详细描述

CopyOnWriteArrayList详细描述

先把我们目的说下，首先我们自己做一个写时复制的线程安全List会怎么做，我们需要考虑以下几个问题：

• 何时初始化list,初始化list元素个数为多少，list是有大小限制的吗？
• 如何保证线程安全
• 如何保证使用迭代器遍历list时的数据一致性？

在java并发包JUC中的List只有CopyOnWriteArrayList，它是一个线程安全的ArrayList，对其进行的修改操作都是在底层的一个复制数组(快照)上进行的，也就是写时复制策略，下面是大致的类图结构:

CopyOnWriteArrayList对象里面有一个array数组对象用来存放数据，ReentrantLock独占锁对象用来保证只有一个线程可以对array进行修改。

第一个问题，什么时候初始化，初始放多少元素，list的大小有限制吗？ 我把源码贴过来：

public CopyOnWriteArrayList() {
   //初始时只放了一个元素
    this.setArray(new Object[0]);
}

public CopyOnWriteArrayList(Collection<? extends E> var1) {
    Object[] var2;
    if (var1.getClass() == CopyOnWriteArrayList.class) {
        var2 = ((CopyOnWriteArrayList)var1).getArray();
    } else {
        var2 = var1.toArray();
        if (var2.getClass() != Object[].class) {
            var2 = Arrays.copyOf(var2, var2.length, Object[].class);
        }
    }

    this.setArray(var2);
}

public CopyOnWriteArrayList(E[] var1) {
   //创建一个list,其内部元素是入参var1的副本
    this.setArray(Arrays.copyOf(var1, var1.length, Object[].class));
}



public boolean add(E var1) {
    //在写操作时进行了加锁，保证了线程写操作的安全问题
    ReentrantLock var2 = this.lock;
    var2.lock();

    boolean var6;
    try {
        Object[] var3 = this.getArray();
        int var4 = var3.length;
        
        //加一个元素是在当前数组长度加1，然后赋值一个数组
        //因为动态对数组加1，所以是无界的
        Object[] var5 = Arrays.copyOf(var3, var4 + 1);
        var5[var4] = var1;
        this.setArray(var5);
        var6 = true;
    } finally {
        var2.unlock();
    }

    return var6;
}

通过观看源码我们已经知道初始化大小，和大小限制问题,安全问题，下面还有个很重要的数据一致性问题，还是把源码贴出来

public ListIterator<E> listIterator(int var1) {
    Object[] var2 = this.getArray();
    int var3 = var2.length;
    if (var1 >= 0 && var1 <= var3) {
       //注意返回的是一个COWIterator对象
        return new CopyOnWriteArrayList.COWIterator(var2, var1);
    } else {
        throw new IndexOutOfBoundsException("Index: " + var1);
    }
}

static final class COWIterator implements ListIterator {
//这个就是操作的数组，也叫快照
private final Object[] snapshot;
//这个是要访问或写操作的索引
private int cursor;

    private COWIterator(Object[] var1, int var2) {
        this.cursor = var2;
        this.snapshot = var1;
    }

    public boolean hasNext() {
        return this.cursor < this.snapshot.length;
    }

    public boolean hasPrevious() {
        return this.cursor > 0;
    }

思考一下，copyonwriteArrayList读操作时是不加锁的，那如果A线程正在读着该list，这是B线程过来对list进行了写操作，把A线程即将要读的数据改了，那A线程是不是就读到了错误的数据？很明显不是，这要理解为什么说snapshot是快照呢？明明是指针传递的引用，如果在该线程使用返回的迭代器遍历元素的过程中，没有线程写操作对list进行增删改，那么snapshot就是array，如果读的时候有线程对list进行了写操作那么snapshot就是快照，写操作修改的数据并不影响读操作要读的数据，因为这时的读操作读的list已经不是写操作修改的list了，而是一个快照，可以说其他线程对list进行的增删改不可借，这就是弱一致性。