在ArrayBlockingQueue中，为什么将最终成员字段复制到本地最终变量中？

在中ArrayBlockingQueue，所有需要锁定的方法都将final在调用之前将其复制到局部变量lock()。

public boolean offer(E e) {
    if (e == null) throw new NullPointerException();
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {
        if (count == items.length)
            return false;
        else {
            insert(e);
            return true;
        }
    } finally {
        lock.unlock();
    }
}

没有任何理由复制this.lock到一个局部变量lock时，现场this.lock的final？

此外，E[]在执行操作之前，它还会使用的本地副本：

private E extract() {
    final E[] items = this.items;
    E x = items[takeIndex];
    items[takeIndex] = null;
    takeIndex = inc(takeIndex);
    --count;
    notFull.signal();
    return x;
}

有什么理由将最终字段复制到本地最终变量？

该类的作者Doug Lea喜欢使用这种极端的优化方法。这是有关core-libs-dev邮件列表的最新主题的帖子，有关这个确切的主题，可以很好地回答您的问题。

从帖子中：

...复制到本地会产生最小的字节码，对于低级代码，最好编写离机器更近的代码

该线程给出了一些答案。本质上：

• 编译器无法轻易证明方法中的final字段不变（由于反射/序列化等）
• 当前大多数编译器实际上都没有尝试，因此每次使用时都必须重新加载最终字段，这可能导致高速缓存未命中或页面错误
• 将其存储在本地变量中会强制JVM仅执行一次加载