主頁 > 軟體設計 > 看完這篇還不懂HashMap的擴容機制,那我要哭了~

看完這篇還不懂HashMap的擴容機制,那我要哭了~

2021-09-25 17:57:50 軟體設計

HashMap 發出的 Warning:這是《Java 程式員進階之路》專欄的第 56 篇,那天,小二垂頭喪氣地跑來給我訴苦,“老王,有個學弟小默問我‘ HashMap 的擴容機制’,我愣是支支吾吾講了半天,沒給他講明白,講到最后我內心都是崩潰的,差點哭出聲!”

我安慰了小二好一會,他激動的情緒才穩定下來,我給他說,HashMap 的擴容機制本來就很難理解,尤其是 JDK8 新增了紅黑樹之后,先基于 JDK7 講,再把紅黑樹那塊加上去就會容易理解很多,

小二這才恍然大悟,佩服地點了點頭,

HashMap 發出的呼聲:有 GitHub 賬號的小伙伴記得去安排一波 star 呀,《Java 程式員進階之路》開源教程目前在 GitHub 上有 244 個 star 了,準備沖 1000 了,求求各位了,

GitHub 地址:https://github.com/itwanger/toBeBetterJavaer
在線閱讀地址:https://itwanger.gitee.io/tobebetterjavaer


大家都知道,陣列一旦初始化后大小就無法改變了,所以就有了 ArrayList這種“動態陣列”,可以自動擴容,

HashMap 的底層用的也是陣列,向 HashMap 里不停地添加元素,當陣列無法裝載更多元素時,就需要對陣列進行擴容,以便裝入更多的元素,

當然了,陣列是無法自動擴容的,所以如果要擴容的話,就需要新建一個大的陣列,然后把小陣列的元素復制過去,

HashMap 的擴容是通過 resize 方法來實作的,JDK 8 中融入了紅黑樹,比較復雜,為了便于理解,就還使用 JDK 7 的原始碼,搞清楚了 JDK 7 的,我們后面再詳細說明 JDK 8 和 JDK 7 之間的區別,

resize 方法的原始碼:

// newCapacity為新的容量
void resize(int newCapacity) {
    // 小陣列,臨時過度下
    Entry[] oldTable = table;
    // 擴容前的容量
    int oldCapacity = oldTable.length;
    // MAXIMUM_CAPACITY 為最大容量,2 的 30 次方 = 1<<30
    if (oldCapacity == MAXIMUM_CAPACITY) {
        // 容量調整為 Integer 的最大值 0x7fffffff(十六進制)=2 的 31 次方-1
        threshold = Integer.MAX_VALUE;
        return;
    }

    // 初始化一個新的陣列(大容量)
    Entry[] newTable = new Entry[newCapacity];
    // 把小陣列的元素轉移到大陣列中
    transfer(newTable, initHashSeedAsNeeded(newCapacity));
    // 參考新的大陣列
    table = newTable;
    // 重新計算閾值
    threshold = (int)Math.min(newCapacity * loadFactor, MAXIMUM_CAPACITY + 1);
}

代碼注釋里出現了左移(<<),這里簡單介紹一下:

a=39
b = a << 2

十進制 39 用 8 位的二進制來表示,就是 00100111,左移兩位后是 10011100(低位用 0 補上),再轉成十進制數就是 156,

移位運算通常可以用來代替乘法運算和除法運算,例如,將 0010011(39)左移兩位就是 10011100(156),剛好變成了原來的 4 倍,

實際上呢,二進制數左移后會變成原來的 2 倍、4 倍、8 倍,

transfer 方法用來轉移,將小陣列的元素拷貝到新的陣列中,

void transfer(Entry[] newTable, boolean rehash) {
    // 新的容量
    int newCapacity = newTable.length;
    // 遍歷小陣列
    for (Entry<K,V> e : table) {
        while(null != e) {
            // 拉鏈法,相同 key 上的不同值
            Entry<K,V> next = e.next;
            // 是否需要重新計算 hash
            if (rehash) {
                e.hash = null == e.key ? 0 : hash(e.key);
            }
            // 根據大陣列的容量,和鍵的 hash 計算元素在陣列中的下標
            int i = indexFor(e.hash, newCapacity);

            // 同一位置上的新元素被放在鏈表的頭部
            e.next = newTable[i];

            // 放在新的陣列上
            newTable[i] = e;

            // 鏈表上的下一個元素
            e = next;
        }
    }
}

e.next = newTable[i],也就是使用了單鏈表的頭插入方式,同一位置上新元素總會被放在鏈表的頭部位置;這樣先放在一個索引上的元素侄訓被放到鏈表的尾部(如果發生了hash沖突的話),這一點和 JDK 8 有區別,

在舊陣列中同一個鏈表上的元素,通過重新計算索引位置后,有可能被放到了新陣列的不同位置上(仔細看下面的內容,會解釋清楚這一點),

假設 hash 演算法(之前的章節有講到,點擊鏈接再溫故一下)就是簡單的用鍵的哈希值(一個 int 值)和陣列大小取模(也就是 hashCode % table.length),

繼續假設:

  • 陣列 table 的長度為 2
  • 鍵的哈希值為 3、7、5

取模運算后,哈希沖突都到 table[1] 上了,因為余數為 1,那么擴容前的樣子如下圖所示,

小陣列的容量為 2, key 3、7、5 都在 table[1] 的鏈表上,

假設負載因子 loadFactor 為 1,也就是當元素的實際大小大于 table 的實際大小時進行擴容,

擴容后的大陣列的容量為 4,

  • key 3 取模(3%4)后是 3,放在 table[3] 上,
  • key 7 取模(7%4)后是 3,放在 table[3] 上的鏈表頭部,
  • key 5 取模(5%4)后是 1,放在 table[1] 上,

按照我們的預期,擴容后的 7 仍然應該在 3 這條鏈表的后面,但實際上呢? 7 跑到 3 這條鏈表的頭部了,針對 JDK 7 中的這個情況,JDK 8 做了哪些優化呢?

看下面這張圖,

n 為 table 的長度,默認值為 16,

  • n-1 也就是二進制的 0000 1111(1X 2 0 2^0 20+1X 2 1 2^1 21+1X 2 2 2^2 22+1X 2 3 2^3 23=1+2+4+8=15);
  • key1 哈希值的最后 8 位為 0000 0101
  • key2 哈希值的最后 8 位為 0001 0101(和 key1 不同)
  • 做與運算后發生了哈希沖突,索引都在(0000 0101)上,

擴容后為 32,

  • n-1 也就是二進制的 0001 1111(1X 2 0 2^0 20+1X 2 1 2^1 21+1X 2 2 2^2 22+1X 2 3 2^3 23+1X 2 4 2^4 24=1+2+4+8+16=31),擴容前是 0000 1111,
  • key1 哈希值的低位為 0000 0101
  • key2 哈希值的低位為 0001 0101(和 key1 不同)
  • key1 做與運算后,索引為 0000 0101,
  • key2 做與運算后,索引為 0001 0101,

新的索引就會發生這樣的變化:

  • 原來的索引是 5(0 0101)
  • 原來的容量是 16
  • 擴容后的容量是 32
  • 擴容后的索引是 21(1 0101),也就是 5+16,也就是原來的索引+原來的容量

也就是說,JDK 8 不需要像 JDK 7 那樣重新計算 hash,只需要看原來的hash值新增的那個bit是1還是0就好了,是0的話就表示索引沒變,是1的話,索引就變成了“原索引+原來的容量”,

JDK 8 的這個設計非常巧妙,既省去了重新計算hash的時間,同時,由于新增的1 bit是0還是1是隨機的,因此擴容的程序,可以均勻地把之前的節點分散到新的位置上,

woc,只能說 HashMap 的作者 Doug Lea、Josh Bloch、Arthur van Hoff、Neal Gafter 真的強——的一筆,

JDK 8 擴容的源代碼:

final Node<K,V>[] resize() {
    Node<K,V>[] oldTab = table;
    int oldCap = (oldTab == null) ? 0 : oldTab.length;
    int oldThr = threshold;
    int newCap, newThr = 0;
    if (oldCap > 0) {
        // 超過最大值就不再擴充了,就只好隨你碰撞去吧
        if (oldCap >= MAXIMUM_CAPACITY) {
            threshold = Integer.MAX_VALUE;
            return oldTab;
        }
        // 沒超過最大值,就擴充為原來的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);
    }
    // 計算新的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<K,V>[] newTab = (Node<K,V>[])new Node[newCap];
    table = newTab;
    if (oldTab != null) {
        // 小陣列復制到大陣列
        for (int j = 0; j < oldCap; ++j) {
            Node<K,V> e;
            if ((e = oldTab[j]) != null) {
                oldTab[j] = null;
                if (e.next == null)
                    newTab[e.hash & (newCap - 1)] = e;
                else if (e instanceof TreeNode)
                    ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
                else { // preserve order
                    // 鏈表優化重 hash 的代碼塊
                    Node<K,V> loHead = null, loTail = null;
                    Node<K,V> hiHead = null, hiTail = null;
                    Node<K,V> next;
                    do {
                        next = e.next;
                        if ((e.hash & oldCap) == 0) {
                            if (loTail == null)
                                loHead = e;
                            else
                                loTail.next = e;
                            loTail = e;
                        }
                        else {
                            if (hiTail == null)
                                hiHead = e;
                            else
                                hiTail.next = e;
                            hiTail = e;
                        }
                    } while ((e = next) != null);
                    // 原來的索引
                    if (loTail != null) {
                        loTail.next = null;
                        newTab[j] = loHead;
                    }
                    // 索引+原來的容量
                    if (hiTail != null) {
                        hiTail.next = null;
                        newTab[j + oldCap] = hiHead;
                    }
                }
            }
        }
    }
    return newTab;
}

參考鏈接:

https://zhuanlan.zhihu.com/p/21673805


Java 程式員進階之路,風趣幽默、通俗易懂,對 Java 初學者極度友好和舒適😘,內容包括但不限于 Java 語法、Java 集合框架、Java IO、Java 并發編程、Java 虛擬機等核心知識點,

https://github.com/itwanger/toBeBetterJavaer

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/302829.html

標籤:其他

上一篇:Unity 之 紋理型別匯入設定和壓縮格式介紹

下一篇:【游戲開發創新】上班通勤時間太長,做一個任意門,告別地鐵與塞車(Unity | 建模 | ShaderGraph | 搖桿 | 角色控制)

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more