ConcurrentHashMap值迭代器可以返回null

Question

我正在尝试理解ConcurrentHashMap的迭代器代码，并且基于查看代码，似乎ConcurrentHashMap#values()#iterator可能返回null值。

我相信这可能会发生，因为即使您无法添加空值，对remove的调用也会首先将值标记为null。

这是真的还是迭代器有办法解决这个问题？

Answer 1

看看如何实现get() ，似乎ConcuurrentHashMap被编码为允许由于类初始化竞争而导致条目值为null的情况（然后通过调用Segment.readValueUnderLock()来处理它。值迭代器不以往任何时候都检查值项null ，这样看来，你有一个有效的问题（我不知道是否有一些其他挥发性操作该迭代过程中会发生哪些会改变这种可能性）。

但是，在Segment.readValueUnderLock()方法上有这个javadoc注释：

读取锁定条目的值字段。 如果值字段似乎为空，则调用。 只有当编译器碰巧使用其表分配重新排序HashEntry初始化时才有可能，这在内存模型下是合法的， 但是不知道会发生什么。

（最后强调我的）。

对Doug Lea来说可能是一个很好的问题。