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 的 hasCode 是他的 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; }