为什么“下一个”是“下一个”？ ConcurrentHashMap$HashEntry 中的字段是最终的

Question

我正在阅读 java.util.ConcurrentHashMap 的源代码，发现 ConcurrentHashMap$HashEntry 中的 next 字段是最终的。有两种操作可以修改 next 的值：添加和删除。但这两个操作可以安全地线程完成，即使 next 字段不是最终的。所以我不明白为什么 next 字段是最终的，有人能告诉我为什么吗？谢谢。

Answer 1

需要 next 上的 final 来确保读取线程看到字段的初始化值，因为（大多数）读取 ConcurrentHashMap 是在没有同步的情况下进行的。

请注意，例如，value 不是 final，因此读取线程可以在该字段中看到未初始化的值 (null)，并且在这种情况下必须在同步下重新检查它：

    V get(Object key, int hash) {
        if (count != 0) { // read-volatile
            HashEntry<K,V> e = getFirst(hash);
            while (e != null) {
                if (e.hash == hash && key.equals(e.key)) {
                    V v = e.value;
                    if (v != null)
                        return v;
                    return readValueUnderLock(e); // recheck
                }
                e = e.next;
            }
        }
        return null;
    }