ConcurrentHashMap put 时 ，为什么 if(fh >= 0) else if (f instanceof TreeBin) 求大佬解惑
weidalao · 2023-09-13 22:25:28 +08:00 · 1017 次点击这是一个创建于 436 天前的主题，其中的信息可能已经有所发展或是发生改变。
ConcurrentHashMap put 有步操作真没看懂
我只能放一部分源码 问题是一个 if 和 else if 我怎么也想不明白 Node 的 hash 值 肯定是正数，通过 spread(key.hashCode()) 方法得到的 无论是红黑树还是链表，hash 值都是正数，所以这个 if 恒成立呀为啥还有个 else if 判断是否是红黑树，是红黑树的话用链表的方式再第一个 if 里插入不也错误的吗
final V putVal(K key, V value, boolean onlyIfAbsent) {
if (key == null || value == null) throw new NullPointerException();
int hash = spread(key.hashCode());
int binCount = 0;
for (Node<K,V>[] tab = table;;) {
Node<K,V> f; int n, i, fh;
if (tab == null || (n = tab.length) == 0)
tab = initTable();
else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
if (casTabAt(tab, i, null,
new Node<K,V>(hash, key, value, null)))
break; // no lock when adding to empty bin
}
else if ((fh = f.hash) == MOVED)
tab = helpTransfer(tab, f);
else {
V oldVal = null;
synchronized (f) {
if (tabAt(tab, i) == f) {
if (fh >= 0) { // Node 的 hash 值 肯定是正数，通过 spread(key.hashCode()) 方法得到的 无论是红黑树还是链表，hash 值都是正数，所以这个 if 恒成立呀
binCount = 1;
for (Node<K,V> e = f;; ++binCount) {
K ek;
if (e.hash == hash &&
((ek = e.key) == key ||
(ek != null && key.equals(ek)))) {
oldVal = e.val;
if (!onlyIfAbsent)
e.val = value;
break;
}
Node<K,V> pred = e;
if ((e = e.next) == null) {
pred.next = new Node<K,V>(hash, key,
value, null);
break;
}
}
}
else if (f instanceof TreeBin) { // 对应上面 if TreeBin 继承自 Node Node 的 hashCode 是他的 key 和 value 的异或，这一点也奇怪 如果是看 Node 的 hash 的话，那更是都有可能了，怎么能这么搞
Node<K,V> p;
binCount = 2;
if ((p = ((TreeBin<K,V>)f).putTreeVal(hash, key,
value)) != null) {
oldVal = p.val;
if (!onlyIfAbsent)
p.val = value;
}
}
}
}
if (binCount != 0) {
if (binCount >= TREEIFY_THRESHOLD)
treeifyBin(tab, i);
if (oldVal != null)
return oldVal;
break;
}
}
}
addCount(1L, binCount);
return null;
}
 |
1
qwerthhusn 2023-09-14 08:42:39 +08:00
因为那个 fh 是 Node 的 hash ，不是从 key 的 hashCode 中 spread 出来的值
ConcurrentHashMap 中除了链表 Node 和树非根节点 TreeNode 的 hash 是正值并且来自 key 的 hashCode ，其余几种 Node 的 hash 都是负值，并且这个值不是从 Key 的 hashCode 来的，代表特殊 Node ，比如 ForwardingNode 代表在扩容过程中临时占位的 Node 而 TreeNode 不会被 table 直接引用（ table 会引用 TreeBin ），所以当 table 的某个 Node 为正值时肯定就是链表头部。 |
 |
2
Aresxue 2023-09-14 11:54:06 +08:00
spread 出来的都是正值，但是节点的 hash 还有其它的几个状态：
static final int MOVED = -1; // 代表当前 hash 位置的数据正在扩容！ static final int TREEBIN = -2; // 代表当前 hash 位置下挂载的是一个红黑树 static final int RESERVED = -3; // 预留当前索引位置 |
 |
3
weidalao OP 后面看到 TreeBin(TreeNode<K,V> b) {
super(TREEBIN, null, null, null); this.first = b; 看到树化的时候，用了 node 构造方法，传了-2 过去了 感谢 |
|
4
weidalao OP @qwerthhusn 可以看 putVal 过程 无论是尾插 pred.next = new Node<K,V>(hash, key,
value, null); 还是替换值 if (e.hash == hash && ((ek = e.key) == key || (ek != null && key.equals(ek)))) { oldVal = e.val; 都是拿的 spread 出来的 hash 值，只不过作为 TreeBin 的根节点 会特殊构造器赋值 hash 为-2 ，所以 本质 Node 的 hash 值 和 HashCode 是两个概念我搞混了 一个是都会有的 hashCode：public final int hashCode() { return key.hashCode() ^ val.hashCode(); } 一个是 int 类型 hash final int hash; 这个 hash 是没有计算的，直接赋值的 特殊用途 |
Select Language