ConcurrentHashMap值迭代器可以返回null

Question

我正在嘗試理解ConcurrentHashMap的迭代器代碼，並且基於查看代碼，似乎ConcurrentHashMap#values()#iterator可能返回null值。

我相信這可能會發生，因為即使您無法添加空值，對remove的調用也會首先將值標記為null。

這是真的還是迭代器有辦法解決這個問題？

Answer 1

看看如何實現get() ，似乎ConcuurrentHashMap被編碼為允許由於類初始化競爭而導致條目值為null的情況（然后通過調用Segment.readValueUnderLock()來處理它。值迭代器不以往任何時候都檢查值項null ，這樣看來，你有一個有效的問題（我不知道是否有一些其他揮發性操作該迭代過程中會發生哪些會改變這種可能性）。

但是，在Segment.readValueUnderLock()方法上有這個javadoc注釋：

讀取鎖定條目的值字段。 如果值字段似乎為空，則調用。 只有當編譯器碰巧使用其表分配重新排序HashEntry初始化時才有可能，這在內存模型下是合法的， 但是不知道會發生什么。

（最后強調我的）。

對Doug Lea來說可能是一個很好的問題。