关于CopyOnWriteArrayList源码的疑惑

Question

jdkconcurrent包当中的CopyOnWriteArrayList定义了一个数组和一个锁：privatevolatiletransientObject[]array;transientfinalReentrantLocklock=newReentrantLock();
他的add方法如下：publicbooleanadd(Ee){
finalReentrantLocklock=this.lock;
lock.lock();
try{
Object[]elements=getArray();
intlen=elements.length;
Object[]newElements=Arrays.copyOf(elements,len+1);
newElements[len]=e;
setArray(newElements);
returntrue;
}finally{
lock.unlock();
}
}
问题：add方法中的finalReentrantLocklock=this.lock;这一句是不是必须的？为什么又定义了一个锁，并且实质用的还是全局定义的那个锁。如果直接用this.lock可不可以？
如果不用getArray直接写成intlen=array.length;
Object[]newElements=Arrays.copyOf(array,len+1);
newElements[len]=o;
array=newElements;
是不是也可以？

Answer 1

是的。用局部变量lock来引用自身的成员变量当然不是必须的。我认为这是编程演进过程所引入的，很可能和内部执行的规范有关。例如：内部规范上可能是要求尽量使用accessor来使用成员变量，避免直接使用。即使需要直接使用，最好先用局部变量来引用它。这样做的好处是，这个函数自身具有很好的完备性。设想如果此类如果修改，将lock成员变量取消或者更改类型，如果直接在代码各处引用lock，势必造成很多修改。而在目前的实现上，不过是将finalReentrantLocklock=this.lock;改成finalReentrantLocklock=getLock();影响小得多，语义十分清晰。同样，对成员变量array的引用也是这样，通过使用accessorgetArray()，代码可以将对成员变量的依赖降低到对一个成员函数的依赖，这对维护也非常有好处。感谢题主引用了很好的一段程序，提出了一个非常完整的问题。

Answer 2

应该还有性能上的考虑.在java函数栈帧的本地变量里存入对域成员对象的引用,相当于一个空间换时间的做法.毕竟取本地变量只需要aload_x一条指令;而取域成员对象的话,需要aload_0[this],getfield两条指令.且每次从栈里取值,应该还有缓存上的好处.