HashMap 是日常開發(fā)中，用的最多的集合類之一，也是面試中經(jīng)常被問到的 Java 類之一。同時(shí)，HashMap 在實(shí)現(xiàn)方式上面又有十分典型的范例。不管是從哪一方面來看，學(xué)習(xí) HashMap 都可以說是有利無害的。

分析 HashMap 的源碼的文章在網(wǎng)上面已經(jīng)數(shù)不勝數(shù)了，本文另辟蹊徑來分析 HashMap 的設(shè)計(jì)思想。

底層數(shù)據(jù)結(jié)構(gòu)

說到 HashMap 的數(shù)據(jù)庫，我們需要從兩個(gè) JDK 版本來分析：JDK7 和 JDK8。

JDK7 版本的 HashMap 的數(shù)據(jù)結(jié)構(gòu)為：數(shù)組 + 鏈表。而 JDK8 版本的 HashMap 的數(shù)據(jù)結(jié)構(gòu)為： 數(shù)組 + 鏈表 + 紅黑樹?？梢钥吹?7 和 8 中 HashMap 的底層數(shù)據(jù)結(jié)構(gòu)最主要的區(qū)別就是 Java8 多了紅黑樹。

為何是數(shù)組加鏈表？

上文中說到了 不管是 7 或者8 ，底層數(shù)據(jù)結(jié)構(gòu)都是 數(shù)組 + 鏈表，但這又是為什么呢？

數(shù)組是一個(gè)鏈?zhǔn)綌?shù)據(jù)結(jié)構(gòu)。put的時(shí)候，通過哈希函數(shù)將數(shù)據(jù)進(jìn)行 哈希運(yùn)算 之后，就得到數(shù)組的下標(biāo)，這樣子就可以將數(shù)據(jù)保存在對(duì)應(yīng)的槽中，這個(gè)槽在 HashMap 中被稱為 Entry。在 get 時(shí)候，通過相同的哈希函數(shù)，將 key 進(jìn)行哈希運(yùn)算，可以得到對(duì)應(yīng)的下標(biāo)，就可以快速找到該 key 對(duì)應(yīng)的 value。這時(shí)候， get 的時(shí)間復(fù)雜度還是 O(1)。

但，哈希運(yùn)算就避免不了有哈希沖突，也就說，不同的值通過哈希運(yùn)算之后可能得到同一個(gè)值。在散列表的相關(guān)概念中，我們說了幾種解決哈希沖突的方案，在 HashMap中，則是采用了鏈表法。

也就是說，發(fā)生了沖突之后，我們?cè)贓ntry中形成一個(gè)單鏈表。但是這里有存在了一個(gè)問題，如果鏈表過長，檢索起來的效率同樣也會(huì)很低。于是，在 Java8 中，通過鏈表轉(zhuǎn)紅黑樹來解決這個(gè)問題。

為何要加上紅黑樹

為什么要鏈表轉(zhuǎn)紅黑樹，我們需要從數(shù)據(jù)結(jié)構(gòu)來解析。

如果從一個(gè)無序單鏈表中檢索數(shù)據(jù)，我們只能從頭到尾一個(gè)一個(gè)檢索，一旦數(shù)據(jù)量很大的情況下，檢索的效率就很低。這時(shí)，我們想到了紅黑樹，從目前的情況來看，紅黑樹能很好地解決這個(gè)問題。

我們先來看看紅黑樹的定義：

紅黑樹是每個(gè)節(jié)點(diǎn)都帶有顏色屬性的二叉查找樹，顏色為紅色或黑色。在二叉查找樹強(qiáng)制一般要求以外，對(duì)于任何有效的紅黑樹我們?cè)黾恿巳缦碌念~外要求：

節(jié)點(diǎn)是紅色或黑色。

根是黑色。

所有葉子都是黑色（葉子是NIL節(jié)點(diǎn)）。

每個(gè)紅色節(jié)點(diǎn)必須有兩個(gè)黑色的子節(jié)點(diǎn)。（從每個(gè)葉子到根的所有路徑上不能有兩個(gè)連續(xù)的紅色節(jié)點(diǎn)。）

從任一節(jié)點(diǎn)到其每個(gè)葉子的所有簡單路徑都包含相同數(shù)目的黑色節(jié)點(diǎn)。

紅黑樹

要是紅黑樹，首先得是二叉查找樹：

二叉查找樹（英語：Binary Search Tree），也稱為二叉搜索樹、有序二叉樹（ordered binary tree）或排序二叉樹（sorted binary tree），是指一棵空樹或者具有下列性質(zhì)的二叉樹：

若任意節(jié)點(diǎn)的左子樹不空，則左子樹上所有節(jié)點(diǎn)的值均小于它的根節(jié)點(diǎn)的值；

若任意節(jié)點(diǎn)的右子樹不空，則右子樹上所有節(jié)點(diǎn)的值均大于或等于它的根節(jié)點(diǎn)的值；

任意節(jié)點(diǎn)的左、右子樹也分別為二叉查找樹；

簡單做一個(gè)總結(jié)，紅黑樹的左節(jié)點(diǎn)要比父節(jié)點(diǎn)小，右節(jié)點(diǎn)要比父節(jié)點(diǎn)大。如果要檢索一個(gè)數(shù)字，可以將時(shí)間復(fù)雜度從 O(n) 降低到 O(logn)。

當(dāng)然了，添加了紅黑樹的數(shù)據(jù)結(jié)構(gòu)之后，代碼實(shí)現(xiàn)要比 只用數(shù)組 + 鏈表要復(fù)雜了好幾倍?？创a的時(shí)候簡直是不能再痛苦了。

什么時(shí)候轉(zhuǎn)成紅黑樹，有什么轉(zhuǎn)成鏈表

在源碼中有這么一個(gè)字段，static final int TREEIFY_THRESHOLD = 8;，見字知義，這個(gè)字段的意思鏈表轉(zhuǎn)紅黑樹的閾值，也就是 8。同樣的，還有這么一個(gè)字段，static final int UNTREEIFY_THRESHOLD = 6;，它意思是紅黑樹轉(zhuǎn)鏈表的閾值。

為什么是 8 呢？在源碼的注釋中也有解釋，英文翻譯過來就是下面的意思。

鏈表查詢的時(shí)間復(fù)雜度是 O (n)，紅黑樹的查詢復(fù)雜度是 O (log n)。在鏈表數(shù)據(jù)不多的時(shí)候，使用鏈表進(jìn)行遍歷也比較快，只有當(dāng)鏈表數(shù)據(jù)比較多的時(shí)候，才會(huì)轉(zhuǎn)化成紅黑樹，但紅黑樹需要的占用空間是鏈表的 2 倍，考慮到轉(zhuǎn)化時(shí)間和空間損耗，所以我們需要定義出轉(zhuǎn)化的邊界值。

在考慮設(shè)計(jì) 8 這個(gè)值的時(shí)候，我們參考了泊松分布概率函數(shù)，由泊松分布中得出結(jié)論，鏈表各個(gè)長度的命中概率為：

* 0: 0.60653066 * 1: 0.30326533 * 2: 0.07581633 * 3: 0.01263606 * 4: 0.00157952 * 5: 0.00015795 * 6: 0.00001316 * 7: 0.00000094 * 8: 0.00000006 復(fù)制代碼

意思是，當(dāng)鏈表的長度是 8 的時(shí)候，出現(xiàn)的概率是 0.00000006，不到千萬分之一，所以說正常情況下，鏈表的長度不可能到達(dá) 8 ，而一旦到達(dá) 8 時(shí)，肯定是 hash 算法出了問題，所以在這種情況下，為了讓 HashMap 仍然有較高的查詢性能，所以讓鏈表轉(zhuǎn)化成紅黑樹，我們正常寫代碼，使用 HashMap 時(shí)，幾乎不會(huì)碰到鏈表轉(zhuǎn)化成紅黑樹的情況，畢竟概念只有千萬分之一。

為什么兩個(gè)閾值不一樣的，大家想想，如果一樣的，在鏈表達(dá)到8 的時(shí)候，會(huì)轉(zhuǎn)成紅黑樹，但紅黑樹轉(zhuǎn)鏈表的閾值也是8，這時(shí)候就會(huì)出現(xiàn)循環(huán)轉(zhuǎn)換。

鏈表轉(zhuǎn)紅黑樹還有一個(gè)條件，就是當(dāng)數(shù)組容量大于 64 時(shí)，鏈表才會(huì)轉(zhuǎn)化成紅黑樹

擴(kuò)容的條件

在說擴(kuò)容之前，先來說說 HashMap 在 7 和 8 中初始化時(shí)的不同表現(xiàn)。

在 Java 7 中，HashMap 初始化的時(shí)候，會(huì)有個(gè)默認(rèn)容量 （16）。但在 Java8 中，HashMap 初始化的時(shí)候，默認(rèn)容量為0，只有在第一次 put 的時(shí)候，才會(huì)擴(kuò)容到 16。（其實(shí) ArrayList 在 Java8 也是這么表現(xiàn)的）。

在 HashMap 源碼中，有一個(gè)字段定義 static final float DEFAULT_LOAD_FACTOR = 0.75f;。這個(gè)字段的意思是，當(dāng)HashMap 的長度 = HashMap 當(dāng)前容量 * 0.75的時(shí)候，就會(huì)發(fā)生擴(kuò)容。

關(guān)于為什么負(fù)載因子是 0.75，我們可以在源碼注釋找到一定的答案。

load factor

大致意思就是說負(fù)載因子是0.75的時(shí)候，空間利用率比較高，而且避免了相當(dāng)多的Hash沖突，使得底層的鏈表或者是紅黑樹的高度比較低，提升了空間效率。

HashMap的擴(kuò)容是變成原先容量的 2 倍。

Hash函數(shù)

我們先來看看 Java 8 的 hash 函數(shù)。

static final int hash(Object key) {int h;return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);} 復(fù)制代碼

這里的大概意思就是，先計(jì)算出 key 的 hashCode h。然后計(jì)算計(jì)算 h ^ (h >>> 16)。無符號(hào)右移16位。這么做的好處是使大多數(shù)場景下，算出來的 hash 值比較分散。

一般來說，hash 值算出來之后，要計(jì)算當(dāng)前 key 在數(shù)組中的索引下標(biāo)位置時(shí)，可以采用取模的方式，就是索引下標(biāo)位置 = hash 值 % 數(shù)組大小，這樣做的好處，就是可以保證計(jì)算出來的索引下標(biāo)值可以均勻的分布在數(shù)組的各個(gè)索引位置上，但取模操作對(duì)于處理器的計(jì)算是比較慢的，數(shù)學(xué)上有個(gè)公式，當(dāng) b 是 2 的冪次方時(shí)，a % b = a &（b-1），所以此處索引位置的計(jì)算公式我們可以更換為： (n-1) & hash。

此問題可以延伸出三個(gè)小問題：

1：為什么不用 key % 數(shù)組大小，而是需要用 key 的 hash 值 % 數(shù)組大小。

答：如果 key 是數(shù)字，直接用 key % 數(shù)組大小是完全沒有問題的，但我們的 key 還有可能是字符串，是復(fù)雜對(duì)象，這時(shí)候用 字符串或復(fù)雜對(duì)象 % 數(shù)組大小是不行的，所以需要先計(jì)算出 key 的 hash 值。

2：計(jì)算 hash 值時(shí)，為什么需要右移 16 位？

答：hash 算法是 h ^ (h >>> 16)，為了使計(jì)算出的 hash 值更分散，所以選擇先將 h 無符號(hào)右移 16 位，然后再于 h 異或時(shí)，就能達(dá)到 h 的高 16 位和低 16 位都能參與計(jì)算，減少了碰撞的可能性。

3：為什么把取模操作換成了 & 操作？

答：key.hashCode() 算出來的 hash 值還不是數(shù)組的索引下標(biāo)，為了隨機(jī)的計(jì)算出索引的下表位置，我們還會(huì)用 hash 值和數(shù)組大小進(jìn)行取模，這樣子計(jì)算出來的索引下標(biāo)比較均勻分布。

取模操作處理器計(jì)算比較慢，處理器對(duì) & 操作就比較擅長，換成了 & 操作，是有數(shù)學(xué)上證明的支撐，為了提高了處理器處理的速度。

hash 沖突時(shí)怎么辦？

hash 沖突指的是 key 值的 hashcode 計(jì)算相同，但 key 值不同的情況。

如果桶中元素原本只有一個(gè)或已經(jīng)是鏈表了，新增元素直接追加到鏈表尾部；

如果桶中元素已經(jīng)是鏈表，并且鏈表個(gè)數(shù)大于等于 8 時(shí)，此時(shí)有兩種情況：

如果此時(shí)數(shù)組大小小于 64，數(shù)組再次擴(kuò)容，鏈表不會(huì)轉(zhuǎn)化成紅黑樹;

如果數(shù)組大小大于 64 時(shí)，鏈表就會(huì)轉(zhuǎn)化成紅黑樹。

這里不僅僅判斷鏈表個(gè)數(shù)大于等于 8，還判斷了數(shù)組大小，數(shù)組容量小于 64 沒有立即轉(zhuǎn)化的原因，猜測主要是因?yàn)榧t黑樹占用的空間比鏈表大很多，轉(zhuǎn)化也比較耗時(shí)，所以數(shù)組容量小的情況下沖突嚴(yán)重，我們可以先嘗試擴(kuò)容，看看能否通過擴(kuò)容來解決沖突的問題。

總結(jié)

以上是生活随笔為你收集整理的hashmap为什么用红黑树_要看HashMap源码，先来看看它的设计思想的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。