HashMap 在 JDK 1.8 后新增的红黑树结构

读完本文你将了解到：

- 点击查看 Java 集合框架深入理解系列 - - 乾杯
- 传统 HashMap 的缺点
- HashMap 在 JDK 18 中新增的数据结构红黑树
- HashMap 中关于红黑树的三个关键参数
- HashMap 在 JDK 18 中新增的操作桶的树形化 treeifyBin
- HashMap 在 JDK 18 中新增的操作红黑树中添加元素 putTreeVal
- HashMap 在 JDK 18 中新增的操作红黑树中查找元素 getTreeNode
- HashMap 在 JDK 18 中新增的操作树形结构修剪 split
- 总结
- Thanks

传统 HashMap 的缺点

JDK 1.8 以前 HashMap 的实现是数组+链表，即使哈希函数取得再好，也很难达到元素百分百均匀分布。

当 HashMap 中有大量的元素都存放到同一个桶中时，这个桶下有一条长长的链表，这个时候 HashMap 就相当于一个单链表，假如单链表有 n 个元素，遍历的时间复杂度就是 O(n)，完全失去了它的优势。

针对这种情况，JDK 1.8 中引入了红黑树（查找时间复杂度为 O(logn)）来优化这个问题。

HashMap 在 JDK 1.8 中新增的数据结构 – 红黑树

shixinzhang

JDK 1.8 中 HashMap 中除了链表节点：

static class Node<K,V> implements Map.Entry<K,V> {//哈希值，就是位置final int hash;//键final K key;//值V value;//指向下一个几点的指针Node<K,V> next;//...
}

还有另外一种节点：TreeNode，它是 1.8 新增的，属于数据结构中的红黑树（不了解红黑树的同学可以点击这里了解红黑树）：

static final class TreeNode<K,V> extends LinkedHashMap.Entry<K,V> {TreeNode<K,V> parent;  // red-black tree linksTreeNode<K,V> left;TreeNode<K,V> right;TreeNode<K,V> prev;    // needed to unlink next upon deletionboolean red;
}

可以看到就是个红黑树节点，有父亲、左右孩子、前一个元素的节点，还有个颜色值。

另外由于它继承自 LinkedHashMap.Entry ，而 LinkedHashMap.Entry 继承自 HashMap.Node ，因此还有额外的 6 个属性：

//继承 LinkedHashMap.Entry 的
Entry<K,V> before, after;//HashMap.Node 的
final int hash;
final K key;
V value;
Node<K,V> next;

HashMap 中关于红黑树的三个关键参数

HashMap 中有三个关于红黑树的关键参数:

TREEIFY_THRESHOLD
UNTREEIFY_THRESHOLD
MIN_TREEIFY_CAPACITY

值及作用如下：

//一个桶的树化阈值
//当桶中元素个数超过这个值时，需要使用红黑树节点替换链表节点
//这个值必须为 8，要不然频繁转换效率也不高
static final int TREEIFY_THRESHOLD = 8;//一个树的链表还原阈值
//当扩容时，桶中元素个数小于这个值，就会把树形的桶元素 还原（切分）为链表结构
//这个值应该比上面那个小，至少为 6，避免频繁转换
static final int UNTREEIFY_THRESHOLD = 6;//哈希表的最小树形化容量
//当哈希表中的容量大于这个值时，表中的桶才能进行树形化
//否则桶内元素太多时会扩容，而不是树形化
//为了避免进行扩容、树形化选择的冲突，这个值不能小于 4 * TREEIFY_THRESHOLD
static final int MIN_TREEIFY_CAPACITY = 64;

HashMap 在 JDK 1.8 中新增的操作：桶的树形化 treeifyBin()

在Java 8 中，如果一个桶中的元素个数超过 TREEIFY_THRESHOLD(默认是 8 )，就使用红黑树来替换链表，从而提高速度。

这个替换的方法叫 treeifyBin() 即树形化。

//将桶内所有的 链表节点 替换成 红黑树节点
final void treeifyBin(Node<K,V>[] tab, int hash) {int n, index; Node<K,V> e;//如果当前哈希表为空，或者哈希表中元素的个数小于 进行树形化的阈值(默认为 64)，就去新建/扩容if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY)resize();else if ((e = tab[index = (n - 1) & hash]) != null) {//如果哈希表中的元素个数超过了 树形化阈值，进行树形化// e 是哈希表中指定位置桶里的链表节点，从第一个开始TreeNode<K,V> hd = null, tl = null; //红黑树的头、尾节点do {//新建一个树形节点，内容和当前链表节点 e 一致TreeNode<K,V> p = replacementTreeNode(e, null);if (tl == null) //确定树头节点hd = p;else {p.prev = tl;tl.next = p;}tl = p;} while ((e = e.next) != null);  //让桶的第一个元素指向新建的红黑树头结点，以后这个桶里的元素就是红黑树而不是链表了if ((tab[index] = hd) != null)hd.treeify(tab);}
}TreeNode<K,V> replacementTreeNode(Node<K,V> p, Node<K,V> next) {return new TreeNode<>(p.hash, p.key, p.value, next);
}

上述操作做了这些事:

根据哈希表中元素个数确定是扩容还是树形化
如果是树形化
- 遍历桶中的元素，创建相同个数的树形节点，复制内容，建立起联系
- 然后让桶第一个元素指向新建的树头结点，替换桶的链表内容为树形内容

但是我们发现，之前的操作并没有设置红黑树的颜色值，现在得到的只能算是个二叉树。在最后调用树形节点 hd.treeify(tab) 方法进行塑造红黑树，来看看代码：

       final void treeify(Node<K,V>[] tab) {TreeNode<K,V> root = null;for (TreeNode<K,V> x = this, next; x != null; x = next) {next = (TreeNode<K,V>)x.next;x.left = x.right = null;if (root == null) { //头回进入循环，确定头结点，为黑色x.parent = null;x.red = false;root = x;}else {  //后面进入循环走的逻辑，x 指向树中的某个节点K k = x.key;int h = x.hash;Class<?> kc = null;//又一个循环，从根节点开始，遍历所有节点跟当前节点 x 比较，调整位置，有点像冒泡排序for (TreeNode<K,V> p = root;;) {int dir, ph;        //这个 dir K pk = p.key;if ((ph = p.hash) > h)  //当比较节点的哈希值比 x 大时， dir 为 -1dir = -1;else if (ph < h)  //哈希值比 x 小时 dir 为 1dir = 1;else if ((kc == null &&(kc = comparableClassFor(k)) == null) ||(dir = compareComparables(kc, k, pk)) == 0)// 如果比较节点的哈希值、 x dir = tieBreakOrder(k, pk);//把 当前节点变成 x 的父亲//如果当前比较节点的哈希值比 x 大，x 就是左孩子，否则 x 是右孩子 TreeNode<K,V> xp = p;if ((p = (dir <= 0) ? p.left : p.right) == null) {x.parent = xp;if (dir <= 0)xp.left = x;elsexp.right = x;root = balanceInsertion(root, x);break;}}}}moveRootToFront(tab, root);}

可以看到，将二叉树变为红黑树时，需要保证有序。这里有个双重循环，拿树中的所有节点和当前节点的哈希值进行对比(如果哈希值相等，就对比键，这里不用完全有序），然后根据比较结果确定在树种的位置。

HashMap 在 JDK 1.8 中新增的操作：红黑树中添加元素 putTreeVal()

上面介绍了如何把一个桶中的链表结构变成红黑树结构。

在添加时，如果一个桶中已经是红黑树结构，就要调用红黑树的添加元素方法 putTreeVal()。

    final TreeNode<K,V> putTreeVal(HashMap<K,V> map, Node<K,V>[] tab,int h, K k, V v) {Class<?> kc = null;boolean searched = false;TreeNode<K,V> root = (parent != null) ? root() : this;//每次添加元素时，从根节点遍历，对比哈希值for (TreeNode<K,V> p = root;;) {int dir, ph; K pk;if ((ph = p.hash) > h)dir = -1;else if (ph < h)dir = 1;else if ((pk = p.key) == k || (k != null && k.equals(pk)))  //如果当前节点的哈希值、键和要添加的都一致，就返回当前节点（奇怪，不对比值吗？）return p;else if ((kc == null &&(kc = comparableClassFor(k)) == null) ||(dir = compareComparables(kc, k, pk)) == 0) {//如果当前节点和要添加的节点哈希值相等，但是两个节点的键不是一个类，只好去挨个对比左右孩子 if (!searched) {TreeNode<K,V> q, ch;searched = true;if (((ch = p.left) != null &&(q = ch.find(h, k, kc)) != null) ||((ch = p.right) != null &&(q = ch.find(h, k, kc)) != null))//如果从 ch 所在子树中可以找到要添加的节点，就直接返回return q;}//哈希值相等，但键无法比较，只好通过特殊的方法给个结果dir = tieBreakOrder(k, pk);}//经过前面的计算，得到了当前节点和要插入节点的一个大小关系//要插入的节点比当前节点小就插到左子树，大就插到右子树TreeNode<K,V> xp = p;//这里有个判断，如果当前节点还没有左孩子或者右孩子时才能插入，否则就进入下一轮循环 if ((p = (dir <= 0) ? p.left : p.right) == null) {Node<K,V> xpn = xp.next;TreeNode<K,V> x = map.newTreeNode(h, k, v, xpn);if (dir <= 0)xp.left = x;elsexp.right = x;xp.next = x;x.parent = x.prev = xp;if (xpn != null)((TreeNode<K,V>)xpn).prev = x;//红黑树中，插入元素后必要的平衡调整操作moveRootToFront(tab, balanceInsertion(root, x));return null;}}}//这个方法用于 a 和 b 哈希值相同但是无法比较时，直接根据两个引用的地址进行比较//这里源码注释也说了，这个树里不要求完全有序，只要插入时使用相同的规则保持平衡即可static int tieBreakOrder(Object a, Object b) {int d;if (a == null || b == null ||(d = a.getClass().getName().compareTo(b.getClass().getName())) == 0)d = (System.identityHashCode(a) <= System.identityHashCode(b) ?-1 : 1);return d;}

通过上面的代码可以知道，HashMap 中往红黑树中添加一个新节点 n 时，有以下操作：

从根节点开始遍历当前红黑树中的元素 p，对比 n 和 p 的哈希值；
如果哈希值相等并且键也相等，就判断为已经有这个元素（这里不清楚为什么不对比值）；
如果哈希值就通过其他信息，比如引用地址来给个大概比较结果，这里可以看到红黑树的比较并不是很准确，注释里也说了，只是保证个相对平衡即可；
最后得到哈希值比较结果后，如果当前节点 p 还没有左孩子或者右孩子时才能插入，否则就进入下一轮循环;
插入元素后还需要进行红黑树例行的平衡调整，还有确保根节点的领先地位。

HashMap 在 JDK 1.8 中新增的操作：红黑树中查找元素 getTreeNode()

HashMap 的查找方法是 get():

public V get(Object key) {Node<K,V> e;return (e = getNode(hash(key), key)) == null ? null : e.value;
}

它通过计算指定 key 的哈希值后，调用内部方法 getNode()；

final Node<K,V> getNode(int hash, Object key) {Node<K,V>[] tab; Node<K,V> first, e; int n; K k;if ((tab = table) != null && (n = tab.length) > 0 &&(first = tab[(n - 1) & hash]) != null) {if (first.hash == hash && // always check first node((k = first.key) == key || (key != null && key.equals(k))))return first;if ((e = first.next) != null) {if (first instanceof TreeNode)return ((TreeNode<K,V>)first).getTreeNode(hash, key);do {if (e.hash == hash &&((k = e.key) == key || (key != null && key.equals(k))))return e;} while ((e = e.next) != null);}}return null;
}

这个 getNode() 方法就是根据哈希表元素个数与哈希值求模（使用的公式是 (n - 1) &hash）得到 key 所在的桶的头结点，如果头节点恰好是红黑树节点，就调用红黑树节点的 getTreeNode() 方法，否则就遍历链表节点。

    final TreeNode<K,V> getTreeNode(int h, Object k) {return ((parent != null) ? root() : this).find(h, k, null);}

getTreeNode 方法使通过调用树形节点的 find() 方法进行查找：

    //从根节点根据 哈希值和 key 进行查找final TreeNode<K,V> find(int h, Object k, Class<?> kc) {TreeNode<K,V> p = this;do {int ph, dir; K pk;TreeNode<K,V> pl = p.left, pr = p.right, q;if ((ph = p.hash) > h)p = pl;else if (ph < h)p = pr;else if ((pk = p.key) == k || (k != null && k.equals(pk)))return p;else if (pl == null)p = pr;else if (pr == null)p = pl;else if ((kc != null ||(kc = comparableClassFor(k)) != null) &&(dir = compareComparables(kc, k, pk)) != 0)p = (dir < 0) ? pl : pr;else if ((q = pr.find(h, k, kc)) != null)return q;elsep = pl;} while (p != null);return null;}

由于之前添加时已经保证这个树是有序的，因此查找时基本就是折半查找，效率很高。

这里和插入时一样，如果对比节点的哈希值和要查找的哈希值相等，就会判断 key 是否相等，相等就直接返回（也没有判断值哎）；不相等就从子树中递归查找。

HashMap 在 JDK 1.8 中新增的操作：树形结构修剪 split()

HashMap 中， resize() 方法的作用就是初始化或者扩容哈希表。当扩容时，如果当前桶中元素结构是红黑树，并且元素个数小于链表还原阈值 UNTREEIFY_THRESHOLD （默认为 6），就会把桶中的树形结构缩小或者直接还原（切分）为链表结构，调用的就是 split():

    //参数介绍//tab 表示保存桶头结点的哈希表//index 表示从哪个位置开始修剪//bit 要修剪的位数（哈希值）final void split(HashMap<K,V> map, Node<K,V>[] tab, int index, int bit) {TreeNode<K,V> b = this;// Relink into lo and hi lists, preserving orderTreeNode<K,V> loHead = null, loTail = null;TreeNode<K,V> hiHead = null, hiTail = null;int lc = 0, hc = 0;for (TreeNode<K,V> e = b, next; e != null; e = next) {next = (TreeNode<K,V>)e.next;e.next = null;//如果当前节点哈希值的最后一位等于要修剪的 bit 值if ((e.hash & bit) == 0) {//就把当前节点放到 lXXX 树中if ((e.prev = loTail) == null)loHead = e;elseloTail.next = e;//然后 loTail 记录 eloTail = e;//记录 lXXX 树的节点数量++lc;}else {  //如果当前节点哈希值最后一位不是要修剪的//就把当前节点放到 hXXX 树中if ((e.prev = hiTail) == null)hiHead = e;elsehiTail.next = e;hiTail = e;//记录 hXXX 树的节点数量++hc;}}if (loHead != null) {//如果 lXXX 树的数量小于 6，就把 lXXX 树的枝枝叶叶都置为空，变成一个单节点//然后让这个桶中，要还原索引位置开始往后的结点都变成还原成链表的 lXXX 节点//这一段元素以后就是一个链表结构if (lc <= UNTREEIFY_THRESHOLD)tab[index] = loHead.untreeify(map);else {//否则让索引位置的结点指向 lXXX 树，这个树被修剪过，元素少了tab[index] = loHead;if (hiHead != null) // (else is already treeified)loHead.treeify(tab);}}if (hiHead != null) {//同理，让 指定位置 index + bit 之后的元素//指向 hXXX 还原成链表或者修剪过的树if (hc <= UNTREEIFY_THRESHOLD)tab[index + bit] = hiHead.untreeify(map);else {tab[index + bit] = hiHead;if (loHead != null)hiHead.treeify(tab);}}}

从上述代码可以看到，HashMap 扩容时对红黑树节点的修剪主要分两部分，先分类、再根据元素个数决定是还原成链表还是精简一下元素仍保留红黑树结构。

1.分类

指定位置、指定范围，让指定位置中的元素 （hash & bit) == 0 的，放到 lXXX 树中，不相等的放到 hXXX 树中。

2.根据元素个数决定处理情况

符合要求的元素（即 lXXX 树），在元素个数小于 6 时还原成链表，最后让哈希表中修剪的痛 tab[index] 指向 lXXX 树；在元素个数大于 6 时，还是用红黑树，只不过是修剪了下枝叶；

不符合要求的元素（即 hXXX 树）也是一样的操作，只不过最后它是放在了修剪范围外 tab[index + bit]。