hashmap扩容机制_图文并茂:HashMap经典详解!
點(diǎn)擊上方?Java后端,選擇?設(shè)為星標(biāo)
優(yōu)質(zhì)文章,及時送達(dá)
代碼中的注解多看幾遍,其中HashMap的擴(kuò)容機(jī)制是要必懂知識!結(jié)合圖片一起理解!
什么是 HashMap?
HashMap 是基于哈希表的 Map 接口的非同步實(shí)現(xiàn)。此實(shí)現(xiàn)提供所有可選的映射操作,并允許使用 null 值和 null 鍵。此類不保證映射的順序,特別是它不保證該順序恒久不變。HashMap 的數(shù)據(jù)結(jié)構(gòu) 在 Java 編程語言中,最基本的結(jié)構(gòu)就是兩種,一個是數(shù)組,另外一個是模擬指針(引用),所有的數(shù)據(jù)結(jié)構(gòu)都可以用這兩個基本結(jié)構(gòu)來構(gòu)造的,HashMap 也不例外。HashMap 實(shí)際上是一個 “鏈表散列” 的數(shù)據(jù)結(jié)構(gòu),即數(shù)組和鏈表的結(jié)合體。文字描述永遠(yuǎn)要配上圖才能更好的講解數(shù)據(jù)結(jié)構(gòu),HashMap 的結(jié)構(gòu)圖如下。?從上圖中可以看出,HashMap 底層就是一個數(shù)組結(jié)構(gòu),數(shù)組中的每一項(xiàng)又是一個鏈表或者紅黑樹。當(dāng)新建一個 HashMap 的時候,就會初始化一個數(shù)組。下面先通過大概看下 HashMap 的核心成員。public?class?HashMap<K,V> extends?AbstractMap<K,V>implements?Map<K,V>, Cloneable, Serializable?{// 默認(rèn)容量,默認(rèn)為16,必須是2的冪static?final?int?DEFAULT_INITIAL_CAPACITY = 1?<< 4;// 最大容量,值是2^30static?final?int?MAXIMUM_CAPACITY = 1?<< 30// 裝載因子,默認(rèn)的裝載因子是0.75static?final?float?DEFAULT_LOAD_FACTOR = 0.75f;// 解決沖突的數(shù)據(jù)結(jié)構(gòu)由鏈表轉(zhuǎn)換成樹的閾值,默認(rèn)為8static?final?int?TREEIFY_THRESHOLD = 8;// 解決沖突的數(shù)據(jù)結(jié)構(gòu)由樹轉(zhuǎn)換成鏈表的閾值,默認(rèn)為6static?final?int?UNTREEIFY_THRESHOLD = 6;/* 當(dāng)桶中的bin被樹化時最小的hash表容量。?????* 如果沒有達(dá)到這個閾值,即hash表容量小于MIN_TREEIFY_CAPACITY,當(dāng)桶中bin的數(shù)量太多時會執(zhí)行resize擴(kuò)容操作。
?????* 這個MIN_TREEIFY_CAPACITY的值至少是TREEIFY_THRESHOLD的4倍。
?????*/static?final?int?MIN_TREEIFY_CAPACITY = 64;static?class?Node<K,V> implements?Map.Entry<K,V> {//...
????}// 存儲數(shù)據(jù)的數(shù)組transient?Node[] table;// 遍歷的容器transient?Set> entrySet;// Map中KEY-VALUE的數(shù)量transient?int?size;/**
?????* 結(jié)構(gòu)性變更的次數(shù)。
?????* 結(jié)構(gòu)性變更是指map的元素?cái)?shù)量的變化,比如rehash操作。
?????* 用于HashMap快速失敗操作,比如在遍歷時發(fā)生了結(jié)構(gòu)性變更,就會拋出ConcurrentModificationException。
?????*/transient?int?modCount;// 下次resize的操作的size值。int?threshold;// 負(fù)載因子,resize后容量的大小會增加現(xiàn)有size * loadFactorfinal?float?loadFactor;
}
HashMap 的初始化
public?HashMap()?{this.loadFactor = DEFAULT_LOAD_FACTOR; // 其他值都是默認(rèn)值????}
通過源碼可以看出初始化時并沒有初始化數(shù)組 table,那只能在 put 操作時放入了,為什么要這樣做?估計(jì)是避免初始化了 HashMap 之后不使用反而占用內(nèi)存吧,哈哈哈。
HashMap 的存儲操作
public?V put(K key, V value) {return?putVal(hash(key), key, value, false, true);????}下面我們詳細(xì)講一下 HashMap 是如何確定數(shù)組索引的位置、進(jìn)行 put 操作的詳細(xì)過程以及擴(kuò)容機(jī)制 (resize)
hash 計(jì)算,確定數(shù)組索引位置
不管增加、刪除、查找鍵值對,定位到哈希桶數(shù)組的位置都是很關(guān)鍵的第一步。前面說過 HashMap 的數(shù)據(jù)結(jié)構(gòu)是數(shù)組和鏈表的結(jié)合,所以我們當(dāng)然希望這個 HashMap 里面的元素位置盡量分布均勻些,盡量使得每個位置上的元素?cái)?shù)量只有一個,那么當(dāng)我們用 hash 算法求得這個位置的時候,馬上就可以知道對應(yīng)位置的元素就是我們要的,不用遍歷鏈表,大大優(yōu)化了查詢的效率。HashMap 定位數(shù)組索引位置,直接決定了 hash 方法的離散性能。看下源碼的實(shí)現(xiàn):static?final?int?hash(Object key)?{ //jdk1.8int?h;// h = key.hashCode() 為第一步 取hashCode值// h ^ (h >>> 16) 為第二步 高位參與運(yùn)算return?(key == null) ? 0?: (h = key.hashCode()) ^ (h >>> 16);}
通過 hashCode() 的高 16 位異或低 16 位實(shí)現(xiàn)的:(h = k.hashCode()) ^ (h >>> 16),主要是從速度、功效、質(zhì)量來考慮的,這么做可以在數(shù)組 table 的 length 比較小的時候,也能保證考慮到高低 Bit 都參與到 Hash 的計(jì)算中,同時不會有太大的開銷。
大家都知道上面代碼里的 key.hashCode() 函數(shù)調(diào)用的是 key 鍵值類型自帶的哈希函數(shù),返回 int 型散列值。理論上散列值是一個 int 型,如果直接拿散列值作為下標(biāo)訪問 HashMap 主數(shù)組的話,考慮到 2 進(jìn)制 32 位帶符號的 int 表值范圍從?2147483648 到 2147483648。前后加起來大概 40 億的映射空間。
只要哈希函數(shù)映射得比較均勻松散,一般應(yīng)用是很難出現(xiàn)碰撞的。但問題是一個 40 億長度的數(shù)組,內(nèi)存是放不下的。你想,HashMap 擴(kuò)容之前的數(shù)組初始大小才 16。所以這個散列值是不能直接拿來用的。用之前還要先做對數(shù)組的長度取模運(yùn)算,得到的余數(shù)才能用來訪問數(shù)組下標(biāo)。源碼中模運(yùn)算是在這個 indexFor( ) 函數(shù)里完成。
bucketIndex = indexFor(hash, table.length);//indexFor的代碼也很簡單,就是把散列值和數(shù)組長度做一個"與"操作,static?int?indexFor(int?h, int?length)?{return?h & (length-1);}
順便說一下,這也正好解釋了為什么 HashMap 的數(shù)組長度要取 2 的整次冪。因?yàn)檫@樣(數(shù)組長度?1)正好相當(dāng)于一個 “低位掩碼”。“與” 操作的結(jié)果就是散列值的高位全部歸零,只保留低位值,用來做數(shù)組下標(biāo)訪問。以初始長度 16 為例,16?1=15。2 進(jìn)制表示是 00000000 0000000000001111。和某散列值做 “與” 操作如下,結(jié)果就是截取了最低的四位值。
10100101 11000100 00100101& 00000000 00000000 00001111
----------------------------------
??00000000 00000000 00000101 //高位全部歸零,只保留末四位但這時候問題就來了,這樣就算我的散列值分布再松散,要是只取最后幾位的話,碰撞也會很嚴(yán)重。更要命的是如果散列本身做得不好,分布上成等差數(shù)列的漏洞,恰好使最后幾個低位呈現(xiàn)規(guī)律性重復(fù),就無比蛋疼。這時候 “擾動函數(shù)” 的價值就出來了,說到這大家應(yīng)該都明白了,看下圖。?右位移 16 位,正好是 32bit 的一半,自己的高半?yún)^(qū)和低半?yún)^(qū)做異或,就是為了混合原始哈希碼的高位和低位,以此來加大低位的隨機(jī)性。而且混合后的低位摻雜了高位的部分特征,這樣高位的信息也被變相保留下來。
putVal 方法
HashMap 的 put 方法執(zhí)行過程可以通過下圖來理解,自己有興趣可以去對比源碼更清楚地研究學(xué)習(xí)。?源碼以及解釋如下:// 真正的put操作final V putVal(int?hash, K key, V value, boolean onlyIfAbsent,???????????????????boolean evict) {
????????Node[] tab; Node p; int?n, i;// 如果table沒有初始化,或者初始化的大小為0,進(jìn)行resize操作if?((tab = table) == null?|| (n = tab.length) == 0)
????????????n = (tab = resize()).length;// 如果hash值對應(yīng)的桶內(nèi)沒有數(shù)據(jù),直接生成結(jié)點(diǎn)并且把結(jié)點(diǎn)放入桶中if?((p = tab[i = (n - 1) & hash]) == null)
????????????tab[i] = newNode(hash, key, value, null);// 如果hash值對應(yīng)的桶內(nèi)有數(shù)據(jù)解決沖突,再放入桶中else?{
????????????Node e; K k;//判斷put的元素和已經(jīng)存在的元素是相同(hash一致,并且equals返回true)if?(p.hash == hash &&
????????????????((k = p.key) == key || (key != null?&& key.equals(k))))
????????????????e = p;// put的元素和已經(jīng)存在的元素是不相同(hash一致,并且equals返回true)// 如果桶內(nèi)元素的類型是TreeNode,也就是解決hash解決沖突用的樹型結(jié)構(gòu),把元素放入樹種else?if?(p instanceof TreeNode)
????????????????e = ((TreeNode)p).putTreeVal(this, tab, hash, key, value);else?{// 桶內(nèi)元素的類型不是TreeNode,而是鏈表時,把數(shù)據(jù)放入鏈表的最后一個元素上for?(int?binCount = 0; ; ++binCount) {if?((e = p.next) == null) {
????????????????????????p.next = newNode(hash, key, value, null);// 如果鏈表的長度大于轉(zhuǎn)換為樹的閾值(TREEIFY_THRESHOLD),將存儲元素的數(shù)據(jù)結(jié)構(gòu)變更為樹if?(binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
????????????????????????????treeifyBin(tab, hash);break;
????????????????????}// 如果查已經(jīng)存在key,停止遍歷if?(e.hash == hash &&
????????????????????????((k = e.key) == key || (key != null?&& key.equals(k))))break;
????????????????????p = e;
????????????????}
????????????}// 已經(jīng)存在元素時if?(e != null) { // existing mapping for key
????????????????V oldValue = e.value;if?(!onlyIfAbsent || oldValue == null)
????????????????????e.value?= value;
????????????????afterNodeAccess(e);return?oldValue;
????????????}
????????}
????????++modCount;// 如果K-V數(shù)量大于閾值,進(jìn)行resize操作if?(++size > threshold)
????????????resize();
????????afterNodeInsertion(evict);return?null;
????}擴(kuò)容機(jī)制HashMap 的擴(kuò)容機(jī)制用的很巧妙,以最小的性能來完成擴(kuò)容。擴(kuò)容后的容量就變成了變成了之前容量的 2 倍,初始容量為 16,所以經(jīng)過 rehash 之后,元素的位置要么是在原位置,要么是在原位置再向高下標(biāo)移動上次容量次數(shù)的位置,也就是說如果上次容量是 16,下次擴(kuò)容后容量變成了 16+16,如果一個元素在下標(biāo)為 7 的位置,下次擴(kuò)容時,要不還在 7 的位置,要不在 7+16 的位置。我們下面來解釋一下 Java8 的擴(kuò)容機(jī)制是怎么做到的?n 為 table 的長度,圖(a)表示擴(kuò)容前的 key1 和 key2 兩種 key 確定索引位置的示例,圖(b)表示擴(kuò)容后 key1 和 key2 兩種 key 確定索引位置的示例,其中 hash1 是 key1 對應(yīng)的哈希與高位運(yùn)算結(jié)果。?元素在重新計(jì)算 hash 之后,因?yàn)?n 變?yōu)?2 倍,那么 n-1 的 mask 范圍在高位多 1bit(紅色),因此新的 index 就會發(fā)生這樣的變化:?因此,我們在擴(kuò)充 HashMap 的時候,不需要像 JDK1.7 的實(shí)現(xiàn)那樣重新計(jì)算 hash,只需要看看原來的 hash 值新增的那個 bit 是 1 還是 0 就好了,是 0 的話索引沒變,是 1 的話索引變成 “原索引 + oldCap”,可以看看下圖為 16 擴(kuò)充為 32 的 resize 示意圖:?而 hash 值的高位是否為 1,只需要和擴(kuò)容后的長度做與操作就可以了,因?yàn)閿U(kuò)容后的長度為 2 的次冪,所以高位必為 1,低位必為 0,如 10000 這種形式,源碼中有 e.hash & oldCap 來做到這個邏輯。這個設(shè)計(jì)確實(shí)非常的巧妙,既省去了重新計(jì)算 hash 值的時間,而且同時,由于新增的 1bit 是 0 還是 1 可以認(rèn)為是隨機(jī)的,因此 resize 的過程,均勻的把之前的沖突的節(jié)點(diǎn)分散到新的 bucket 了。這一塊就是 JDK1.8 新增的優(yōu)化點(diǎn)。有一點(diǎn)注意區(qū)別,JDK1.7 中 rehash 的時候,舊鏈表遷移新鏈表的時候,如果在新表的數(shù)組索引位置相同,則鏈表元素會倒置,但是從上圖可以看出,JDK1.8 不會倒置。下面是 JDK1.8 的 resize 源碼,寫的很贊,如下:final?Node[] resize() {
????????Node[] oldTab = table;int?oldCap = (oldTab == null) ? 0?: oldTab.length;int?oldThr = threshold;int?newCap, newThr = 0;// 計(jì)算新的容量值和下一次要擴(kuò)展的容量if?(oldCap > 0) {// 超過最大值就不再擴(kuò)充了,就只好隨你碰撞去吧if?(oldCap >= MAXIMUM_CAPACITY) {
????????????????threshold = Integer.MAX_VALUE;return?oldTab;
????????????}// 沒超過最大值,就擴(kuò)充為原來的2倍else?if?((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
?????????????????????oldCap >= DEFAULT_INITIAL_CAPACITY)
????????????????newThr = oldThr << 1; // double threshold
????????}else?if?(oldThr > 0) // initial capacity was placed in threshold
????????????newCap = oldThr;else?{ // zero initial threshold signifies using defaults
????????????newCap = DEFAULT_INITIAL_CAPACITY;
????????????newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);
????????}// 計(jì)算新的resize上限if?(newThr == 0) {float?ft = (float)newCap * loadFactor;
????????????newThr = (newCap < MAXIMUM_CAPACITY && ft < (float)MAXIMUM_CAPACITY ?
??????????????????????(int)ft : Integer.MAX_VALUE);
????????}
????????threshold = newThr;@SuppressWarnings({"rawtypes","unchecked"})
????????????Node[] newTab = (Node[])new?Node[newCap];
????????table = newTab;if?(oldTab != null) {// 把每個bucket都移動到新的buckets中for?(int?j = 0; j < oldCap; ++j) {
????????????????Node e;//如果位置上沒有元素,直接為nullif?((e = oldTab[j]) != null) {
????????????????????oldTab[j] = null;//如果只有一個元素,新的hash計(jì)算后放入新的數(shù)組中if?(e.next == null)
????????????????????????newTab[e.hash & (newCap - 1)] = e;//如果是樹狀結(jié)構(gòu),使用紅黑樹保存else?if?(e instanceof?TreeNode)
????????????????????????((TreeNode)e).split(this, newTab, j, oldCap);//如果是鏈表形式else?{ // preserve order
????????????????????????Node loHead = null, loTail = null;
????????????????????????Node hiHead = null, hiTail = null;
????????????????????????Node next;do?{
????????????????????????????next = e.next;//hash碰撞后高位為0,放入低Hash值的鏈表中if?((e.hash & oldCap) == 0) {if?(loTail == null)
????????????????????????????????????loHead = e;else
????????????????????????????????????loTail.next = e;
????????????????????????????????loTail = e;
????????????????????????????}//hash碰撞后高位為1,放入高Hash值的鏈表中else?{if?(hiTail == null)
????????????????????????????????????hiHead = e;else
????????????????????????????????????hiTail.next = e;
????????????????????????????????hiTail = e;
????????????????????????????}
????????????????????????} while?((e = next) != null);// 低hash值的鏈表放入數(shù)組的原始位置if?(loTail != null) {
????????????????????????????loTail.next = null;
????????????????????????????newTab[j] = loHead;
????????????????????????}// 高h(yuǎn)ash值的鏈表放入數(shù)組的原始位置 + 原始容量if?(hiTail != null) {
????????????????????????????hiTail.next = null;
????????????????????????????newTab[j + oldCap] = hiHead;
????????????????????????}
????????????????????}
????????????????}
????????????}
????????}return?newTab;
????}作者:feigeswjtu鏈接:https://github.com/feigeswjtu
-?END -
最近整理一份面試資料《Java技術(shù)棧學(xué)習(xí)手冊》,覆蓋了Java技術(shù)、面試題精選、Spring全家桶、Nginx、SSM、微服務(wù)、數(shù)據(jù)庫、數(shù)據(jù)結(jié)構(gòu)、架構(gòu)等等。獲取方式:點(diǎn)“?在看,關(guān)注公眾號?Java后端?并回復(fù)?777?領(lǐng)取,更多內(nèi)容陸續(xù)奉上。推薦閱讀?1.?21 屆校招薪資曝光:嚴(yán)重倒掛老員工!2.?Redis 五大數(shù)據(jù)類型使用場景3.?Linux 命令速查手冊4.?討論:Service層需要接口嗎?5.?好用:強(qiáng)大的 IDEA 代碼生成器
喜歡文章,點(diǎn)個在看?總結(jié)
以上是生活随笔為你收集整理的hashmap扩容机制_图文并茂:HashMap经典详解!的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: mysql系列_Mysql系列(三)——
- 下一篇: 华为tsm_台积电:如果不能向华为销售芯