JDK8中的HashMap實現原理及源碼分析

本篇提綱.png
本篇所述源碼基于JDK1.8.0_121

在寫上一篇線性表的文章的時候,筆者看的是Android源碼中support24中的Java代碼,當時發現這個ArrayList和LinkedList的源碼和Java官方的沒有什么區別,然而在閱讀HashMap源碼的時候,卻發現Android中的Java與官方版的出入略大,遂不得不轉而用Eclipse導入jdk源碼閱讀,這里不得不吐槽一句,用慣了IDEA的快捷鍵,Eclispe還真是用不習慣~~好了,接下來我們言歸正傳:

一.什么是Hash?什么是HashMap?

Hash音譯為“哈?!保弊g為“散列”,是一種信息摘要算法,但他不是加密散列函數(或散列算法,又稱哈希函數,英語:Hash Function)是一種從任何一種數據中創建小的數字“指紋”的方法。散列函數把消息或數據壓縮成摘要,使得數據量變小,將數據的格式固定下來。該函數將數據打亂混合,重新創建一個叫做散列值(hash values,hash codes,hash sums,或hashes)的指紋(維基百科)。
??我們平時常用的MD5,SSL等都屬于Hash算法,通過Key進行Hash的計算,就可以獲取Key對應的HashCode。
??上一篇有關線性表的文章線性表及ArrayList/LinkedList源碼分析總結中,我們講了ArrayList和LinkedList的優缺點——數組的特點是:尋址容易,插入和刪除困難;而鏈表的特點是:尋址困難,插入和刪除容易。
??如果我們綜合兩者的特點,就可以得到本篇我們要講的內容——HashMap(直譯散列表,音譯哈希表)。我們知道,java.util中的clloection集合類中, 最為常用的兩種是List和Map類,我們之前將的ArrayList和LinkedList都是List集合類旗下的,而HashMap則是屬于Map集合的陣營。為什么說HashMap集合了前面兩種數據結構的特點呢?HashMap最常見的實現方法是拉鏈法——即一系列鏈表為數組元素組成的數組。如圖:

這是一張經典的圖.png

從上圖我們可以看到,HashMap由鏈表+數組組成,他的底層結構是一個數組,而數組的元素是一個單向鏈表。圖中是一個長度為16位的數組,每個數組儲存的元素代表的是每一個鏈表的頭結點。

上面我們說了有關Hash算法的事情,通過Key進行Hash的計算,就可以獲取Key對應的HashCode。好的Hash算法可以計算出幾乎出獨一無二的HashCode,如果出現了重復的hashCode,就稱作碰撞,就算是MD5這樣優秀的算法也會發生碰撞,即兩個不同的key也有可能生成相同的MD5。
??正常情況下,我們通過hash算法,往HashMap的數組中插入元素。如果發生了碰撞事件,那么意味這數組的一個位置要插入兩個或者多個元素,這個時候數組上面掛的鏈表起作用了,鏈表會將數組某個節點上多出的元素按照尾插法(jdk1.7及以前為頭差法)的方式添加。

二.HashMap的內部實現機制

1.HashMap基本元素
public class HashMap<K,V> extends AbstractMap<K,V>
    implements Map<K,V>, Cloneable, Serializable {
    ......

    //默認初始容量為16,這里這個數組的容量必須為2的n次冪。
    static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // aka 16

    //最大容量為2的30次方
    static final int MAXIMUM_CAPACITY = 1 << 30;

    //默認加載因子
    static final float DEFAULT_LOAD_FACTOR = 0.75f;

    //以Node<K,V>為元素的數組,也就是上圖HashMap的縱向的長鏈數組,起長度必須為2的n次冪
    transient Node<K,V>[] table;

    //已經儲存的Node<key,value>的數量,包括數組中的和鏈表中的
    transient int size;

    //擴容的臨界值,或者所能容納的key-value對的極限。當size>threshold的時候就會擴容
    int threshold;

    //加載因子
    final float loadFactor;
    ......
①DEFAULT_INITIAL_CAPACITY&MAXIMUM_CAPACITY

首先當我們通過無參的構造函數new一個hashMap的時候,系統就會幫我們指定你HashMap的默認大小為DEFAULT_INITIAL_CAPACITY也就是24,當然我們可以刻自己制定初始容量的大小,只不過要注意必須是2n且小于MAXIMUM_CAPACITY(230)。

②DEFAULT_LOAD_FACTOR&loadFactor

LOAD_FACTOR(負載因子)和上面的CAPACITY(容量)的關系,簡單來說,Capacity就是數組的長度/大小,loadFactor是這個數組填滿程度的最大比比例。同樣的,我們可以根據有參的HashMap構造函數來指定初始負載容量的大小,如果不指定,默認的負載因子為0.75。

③size&threshold

size表示當前HashMap中已經儲存的Node<key,value>的數量,包括數組和鏈表中的的Node<key,value>。threshold表示擴容的臨界值,如果size大于這個值,則必需調用resize()方法進行擴容,具體的擴容過程我們之后會講。
??這里先說一下threshold值是怎么得到的,在jdk1.7及以前,threshold = length * Load factor,其中length為數組的長度,也就是說數組的長度成負載因子的數量。這里需要說明一點,默認負載因子0.75是是對空間和時間(縱向橫向)效率的一個平衡選擇,建議大家不要修改。
??而在jdk1.8中,這個值的計算算法得到了進一步改進,成了這個:

    /**
     * Returns a power of two size for the given target capacity.
     */
    static final int tableSizeFor(int cap) {
        int n = cap - 1;
        n |= n >>> 1;
        n |= n >>> 2;
        n |= n >>> 4;
        n |= n >>> 8;
        n |= n >>> 16;
        return (n < 0) ? 1 : (n >= MAXIMUM_CAPACITY) ? MAXIMUM_CAPACITY : n + 1;
    }

cap是我們初始傳遞的Capacity值(或者默認的24),看注釋我們可以知道,這么一系列位移操作算法最后是為了得到一個power of two size的值。為什么jdk中一再要強調這個2n這個值呢?這個等會我們再分析。

④Node<K,V>[] table

最后來重點說說這個Node<K,V>[] table,他是整個HashMap的組成子元素,是構成HashMap的一磚一瓦:

    static class Node<K,V> implements Map.Entry<K,V> {
        final int hash;     //每個儲存元素key的哈希值
        final K key;        //key
        V value;            //value
        Node<K,V> next;     //鏈表下一個node

        Node(int hash, K key, V value, Node<K,V> next) {
            this.hash = hash;
            ......
        }

        public final K getKey()        { return key; }
        public final V getValue()      { return value; }
        public final String toString() { return key + "=" + value; }
        public final int hashCode() { ...... }
        public final V setValue(V newValue) { ...... }
        public final boolean equals(Object o) { ....... }
    }

可以看到,這個Node<K,V>[]是HashMap的一個內部類,他既是HashMap底層數組的組成元素,又是每個單向鏈表的組成元素。它其中包含了數組元素所需要的key與value,以及鏈表所需要的指向下一個節點的引用域next。當然這個hash值是系統在創建Node時通過一定的算法計算出來的一個int值,之后我們會講。

2.HashMap的構造函數

jdk1.8中,HashMap共有四種構造函數:

    public HashMap(int initialCapacity, float loadFactor) {
        if (initialCapacity < 0)
            throw new IllegalArgumentException("Illegal initial capacity: " +
                                               initialCapacity);
        if (initialCapacity > MAXIMUM_CAPACITY)
            initialCapacity = MAXIMUM_CAPACITY;
        if (loadFactor <= 0 || Float.isNaN(loadFactor))
            throw new IllegalArgumentException("Illegal load factor: " +
                                               loadFactor);
        this.loadFactor = loadFactor;
        this.threshold = tableSizeFor(initialCapacity);
    }

    public HashMap(int initialCapacity) {
        this(initialCapacity, DEFAULT_LOAD_FACTOR);
    }

    public HashMap() {
        this.loadFactor = DEFAULT_LOAD_FACTOR; // all other fields defaulted
    }

    public HashMap(Map<? extends K, ? extends V> m) {   
        this.loadFactor = DEFAULT_LOAD_FACTOR;
        putMapEntries(m, false);
    }

3.HashMap的put添加功能實現

首先看源碼:

    public V put(K key, V value) {
        return putVal(hash(key), key, value, false, true);
    }

    final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
        Node<K,V>[] tab; Node<K,V> p; int n, i;     //tab[]為數組,p是每個桶
 ①      if ((tab = table) == null || (n = tab.length) == 0) //第一步,table為空,則調用resize()函數創建一個
            n = (tab = resize()).length;
 ②      if ((p = tab[i = (n - 1) & hash]) == null)   //第二步,計算元素所要儲存的位置index,并對null做出處理
            //注意這里,如果tab[i]==null,說明這個位置上沒有元素,這個時候就創建一個新的Node元素
            tab[i] = newNode(hash, key, value, null);
        else {  //else,否則,也就是,這個要添加的位置上面已經有元素了,也就是發生了碰撞。這個時候就要具體情況分
                //類討論:1.key值相同,直接覆蓋 2.鏈表已經超過了8位,變成了紅黑樹 3.鏈表是正常的鏈表
            Node<K,V> e; K k;
           if (p.hash == hash &&            //如果節點key存在,則覆蓋原來位置的key
                ((k = p.key) == key || (key != null && key.equals(k))))
                e = p;      
  ③         else if (p instanceof TreeNode)                 //第三步,判斷該鏈是否為紅黑樹
                e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
            else {
                for (int binCount = 0; ; ++binCount) {
                    if ((e = p.next) == null) {
                        p.next = newNode(hash, key, value, null);
                        //鏈表長度大于8轉換為紅黑樹
                        if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
                            treeifyBin(tab, hash);
                        break;
                    }
                    //如果節點key存在,則覆蓋原來位置的key,同時將原來位置的元素,沿著鏈表向后移一位
                    if (e.hash == hash &&
                        ((k = e.key) == key || (key != null && key.equals(k))))
                        break;
                    p = e;
                }
            }
            if (e != null) { // existing mapping for key
                V oldValue = e.value;
                if (!onlyIfAbsent || oldValue == null)
                    e.value = value;
                afterNodeAccess(e);
                return oldValue;
            }
        }
        ++modCount;
        if (++size > threshold)
  ④         resize();                                       //第四步:超過最大容量限制,擴容
        afterNodeInsertion(evict);
        return null;
    }

上面代碼中加了一些注釋,希望讀者仔細分析這段代碼中的邏輯??梢钥吹?,我們將put一個元素的過程分為四步,下面我們分步驟講解:

第一步:table為空,則調用resize()函數創建一個

這里的table就是我們在第一大點“HashMap基本元素”中說的Node<K,V>[] table;也就是HashMap的基本子節點。關于這個元素,這里還需要多說一點,在他聲明的地方有一段注釋:

    /**
     * The table, initialized on first use, and resized as
     * necessary. When allocated, length is always a power of two.
     * (We also tolerate length zero in some operations to allow
     * bootstrapping mechanics that are currently not needed.)
     */
     transient Node<K,V>[] table;

其中明確提到:這個table數組在第一次使用時需要初始化。在JDK1.7中源碼的構造函數中,我們發現:

public HashMap(int initialCapacity, float loadFactor) {
    ......
    this.loadFactor = loadFactor;
    threshold = (int)(capacity * loadFactor);
    table = new Entry[capacity];        //注意這里初始化了
    init();
}

也就是說,在jdk1.7中,當HashMap創建的時候,table這個數組確實會初始化;但是到了jdk1.8中,我們觀察上面四個構造函數,除了第四個構造函數調用了resize()外,其他三個常用的構造函數都沒有與table初始化相關的跡象,而真正table初始化的地方是在我們上面講的putVal()方法中,即首次向HashMap添加元素時,調用resize()創建并初始化了一個table數組
??這里筆者的理解是,類似于“懶加載”,用的時候再初始化,這樣有利于節省資源~~同時,估計1.7和1.8的代碼不是一個工程師寫的吧,代碼優化之后注釋忘了改...關于resize()方法,我們之后再講。

第二步:計算元素所要儲存的位置index,并對null做出處理

儲存位置即研究這個這個新添加的元素是通過何種規則添加到什么位置的,我們注意到這句源碼:p = tab[i = (n - 1) & hash]可以看到,index = (n - 1) & hash。n是新創建的table數組的長度:(tab = resize()).length;,那么hash是什么呢?注意到這兩段代碼:

    public V put(K key, V value) {
        return putVal(hash(key), key, value, false, true);
    }

    final V putVal(int hash, K key, V value, boolean onlyIfAbsent,boolean evict) {
    ......

可以看待,hash是由hash(key)這個方法計算所得:

    static final int hash(Object key) {
        int h;
        return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
    }

這里可以看到,首先將得到key對應的哈希值:h = key.hashCode(),然后通過hashCode()的高16位異或低16位實現的(h = k.hashCode()) ^ (h >>> 16)我們分布來講解這個index產生的步驟:

(1).取key的hashcode值:

①Object類的hashCode
??返回對象的經過處理后的內存地址,由于每個對象的內存地址都不一樣,所以哈希碼也不一樣。這個是native方法,取決于JVM的內部設計,一般是某種C地址的偏移。
②String類的hashCode
??根據String類包含的字符串的內容,根據一種特殊算法返回哈希碼,只要字符串的內容相同,返回的哈希碼也相同
③Integer等包裝類
??返回的哈希碼就是Integer對象里所包含的那個整數的數值,例如Integer i1=new Integer(100),i1.hashCode的值就是100 。由此可見,2個一樣大小的Integer對象,返回的哈希碼也一樣
④int,char這樣的基礎類
??它們不需要hashCode,如果需要存儲時,將進行自動裝箱操作,計算方法包裝類。

(2).hashCode()的高16位異或低16位

在JDK1.8的實現中,優化了高位運算的算法,通過hashCode()的高16位異或低16位實現的:(h = k.hashCode()) ^ (h >>> 16),主要是從速度、功效、質量來考慮的,這么做可以在數組table的length比較小的時候,也能保證考慮到高低Bit都參與到Hash的計算中,同時不會有太大的開銷。

(3). (n-1) & hash; 取模運算

這個n我們說過是table的長度,那么n-1就是table數組元素應有的下表。這個方法非常巧妙,它通過hash & (table.length -1)來得到該對象的保存位,而HashMap底層數組的長度總是2的n次方,這是HashMap在速度上的優化。當length總是2的n次方時,hash&(length-1) 運算等價于對length取模,也就是hash % length,但是&比%具有更高的效率。

關于為什么要先高16位異或低16位再取模運算,我們這里先看第三步:
??我們知道,n代表的是table的長度length,之前一再強調,表table的長度需要取2的整數次冪,就是為了這里等價這里進行取模運算時的方便——取模運算轉化成位運算公式:a%(2^n) 等價于 a&(2^n-1),而&操作比%操作具有更高的效率。
??當length=2n時,(length - 1)正好相當于一個"低位掩碼","與"操作的結果就是散列值的高位全部歸零,只保留低位,用來做數組下標訪問:

低位&運算.png

可以看到,當我們的length為16的時候,哈希碼(字符串“abcabcabcabcabc”的key對應的哈希碼)對(16-1)與操作,對于多個key生成的hashCode,只要哈希碼的后4位為0,不論不論高位怎么變化,最終的結果均為0。也就是說,如果支取后四位(低位)的話,這個時候產生"碰撞"的幾率就非常大(當然&運算中產生碰撞的原因很多,這里只是舉個例子)。為了解決低位與操作碰撞的問題,于是便有了第二步中高16位異或低16位“擾動函數”。

右移16位,自己的高半區和低半區異或,就是為了混合原始哈希碼的高位和低位,以此來加大低位隨機性。

“擾動”后&操作.png

可以看到:
擾動函數優化前:1954974080 % 16 = 1954974080 & (16 - 1) = 0
擾動函數優化后:1955003654 % 16 = 1955003654 & (16 - 1) = 6
很顯然,減少了碰撞的幾率。

第三步,判斷該鏈是否為紅黑樹并添加元素
    else if (p instanceof TreeNode)
        e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value); //是紅黑樹
    else {
        for (int binCount = 0; ; ++binCount) {      //不是紅黑樹而是鏈表
            if ((e = p.next) == null) {
                p.next = newNode(hash, key, value, null);   //
                if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
                    treeifyBin(tab, hash);
                break;
            }
            if (e.hash == hash &&
                ((k = e.key) == key || (key != null && key.equals(k))))
                break;
            p = e;
        }
    }

關于是紅黑樹的部分,不在我們本節的討論范圍之內,我們主要看else里邊的內容:
for (int binCount = 0; ; ++binCount) {表示循環遍歷鏈表,這個for循環當中實際上經歷了以下幾個步驟:
e = p.next以及for語句之外后面的p = e;實際上是在向后循環遍歷鏈表。
開始的時候P為每個桶的頭元素,然后將P的引用域(本來指向的是下一個元素)指向空節點e,這個時候實際上就相當于將p的下一個元素賦值給了e,即e已經變成了p的下一個元素。
②此時我們把這個復制的e單獨提出來,進行了兩個判斷:
第一個if:if ((e = p.next) == null)
??如果e也就是p.next == null,那么說明當前的這個P已經是鏈表最后一個元素了。這個時候采取尾插法添加一個新的元素:p.next = newNode(hash, key, value, null);,即直接將p的引用域指向這個新添加的元素。如果添加新元素之后發現鏈表的長度超過了TREEIFY_THRESHOLD - 1也就是超過了8,那么調用treeifyBin(tab, hash);把這個鏈表轉換成紅黑樹接著玩。
第二個if:if (e.hash == hash &&((k = e.key) == key || (key != null && key.equals(k))))
??如果發現key值重復了,也就是要插入的key已經存在,那么直接break,結束遍歷(不用再費勁去插入了)。
③然后又將e賦給p,這個時候的p已經向后移動了一位。重復上面的過程,直到循環完整個鏈表,或者break出來。
整個不是紅黑樹的for循環(或者else)中就做了這三件事。

第四步:超過最大容量限制,擴容
    if (++size > threshold)
        resize();
    afterNodeInsertion(evict);

具體的擴容操作,我們接下來具體再講

4.HashMap擴容機制的實現

首先上源碼,我們在下面的源碼中會加上詳細的注釋,希望讀者們一起跟著走一遍:

    final Node<K,V>[] resize() {
        Node<K,V>[] oldTab = table;         //創建一個oldTab數組用于保存之前的數組
        int oldCap = (oldTab == null) ? 0 : oldTab.length;  //獲取原來數組的長度
        int oldThr = threshold;             //原來數組擴容的臨界值
        int newCap, newThr = 0;
        if (oldCap > 0) {
            if (oldCap >= MAXIMUM_CAPACITY) {   //如果原來的數組長度大于最大值(2^30)
                threshold = Integer.MAX_VALUE;  //擴容臨界值提高到正無窮
                return oldTab;                  //返回原來的數組,也就是系統已經管不了了,隨便你怎么玩吧
            }
            //else if((新數組newCap)長度乘2) < 最大值(2^30) && (原來的數組長度)>= 初始長度(2^4))
            //這個else if 中實際上就是咋判斷新數組(此時剛創建還為空)和老數組的長度合法性,同時交代了,
            //我們擴容是以2^1為單位擴容的。下面的newThr(新數組的擴容臨界值)一樣,在原有臨界值的基礎上擴2^1
            else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
                     oldCap >= DEFAULT_INITIAL_CAPACITY)
                newThr = oldThr << 1; // double threshold
        }
        else if (oldThr > 0)
            newCap = oldThr;    //新數組的初始容量設置為老數組擴容的臨界值
        else {               // 否則 oldThr == 0,零初始閾值表示使用默認值
            newCap = DEFAULT_INITIAL_CAPACITY;  //新數組初始容量設置為默認值
            newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);     //計算默認容量下的閾值
        }
        if (newThr == 0) {  //如果newThr == 0,說明為上面 else if (oldThr > 0)
        //的情況(其他兩種情況都對newThr的值做了改變),此時newCap = oldThr;
            float ft = (float)newCap * loadFactor;  //ft為臨時變量,用于判斷閾值的合法性
            newThr = (newCap < MAXIMUM_CAPACITY && ft < (float)MAXIMUM_CAPACITY ?
                      (int)ft : Integer.MAX_VALUE);     //計算新的閾值
        }
        threshold = newThr; //改變threshold值為新的閾值
        @SuppressWarnings({"rawtypes","unchecked"})
            Node<K,V>[] newTab = (Node<K,V>[])new Node[newCap];
        table = newTab; //改變table全局變量為,擴容后的newTable
        if (oldTab != null) {
            for (int j = 0; j < oldCap; ++j) {  //遍歷數組,將老數組(或者原來的桶)遷移到新的數組(新的桶)中
                Node<K,V> e;
                if ((e = oldTab[j]) != null) {  //新建一個Node<K,V>類對象,用它來遍歷整個數組
                    oldTab[j] = null;
                    if (e.next == null)
                                //將e也就是oldTab[j]放入newTab中e.hash & (newCap - 1)的位置,
                        newTab[e.hash & (newCap - 1)] = e;  //這個我們之前講過,是一個取模操作
                    else if (e instanceof TreeNode)     //如果e已經是一個紅黑樹的元素,這個我們不展開講
                        ((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
                    else { // 鏈表重排,這一段是最難理解的,也是ldk1.8做的一系列優化,我們在下面詳細講解
                        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;
    }

上面這段代碼中,前面一部分我們做了詳細的注釋,從下面的for()循環開始,我們需要單獨拉出來講一下,因為這一段是重點的數組遷移,也是比較難以理解的:

    Node<K,V> loHead = null, loTail = null;
    Node<K,V> hiHead = null, hiTail = null;

首先命名了兩組Node<K,V>對象,loHead = null, loTail = null;hiHead = null, hiTail = null;,這兩組對象是為了針對(e.hash & oldCap) == 0是否成立這兩種情況,而作出不同的處理;結合后面的:

    if (loTail != null) {
        loTail.next = null;
        newTab[j] = loHead;
    }
    if (hiTail != null) {
        hiTail.next = null;
        newTab[j + oldCap] = hiHead;
    }

可以知道,如果(e.hash & oldCap) == 0,則 newTab[j] = loHead = e = oldTab[j],即索引位置沒變。反之 (e.hash & oldCap) != 0, newTab[j + oldCap] = hiHead = e = oldTab[j],也就是說,此時把原數組[j]位置上的桶移到了新數組[j+原數組長度]的位置上了。
??這是個啥意思呢?我們借用美團點評技術團隊Java 8系列之重新認識HashMap一文中的部分解釋(這篇文章講的確實很好,網上很多講解1.8中HashMap的博客都是抄的這篇):

數組重排運算示意.png

我們之前一直說的一個移位運算就是—— a % (2^n) 等價于 a & (2^n - 1),也即是位運算與取模運算的轉化,且位運算比取模運算具有更高的效率,這也是為什么HashMap中數組長度要求為2^n的原因。我們復習一下,HanshMap中元素存入數組的下表運算為**index = hash & (n - 1) **,其中n為數組長度為2的整數次冪。
??在上面的圖中,n表示一個長度為16的數組,n-1就是15,換算成二進制位1111。這個時候有兩種不同的哈希碼來跟他進行與操作(對應位置都為1結果為1,否則為0),這兩種哈希碼的低四位都是相同的,最大的不同是第五位,key1為0,key2為1;
??這個時候我們進行擴容操作,n由16變為32,n-1=32,換算成二進制位11111,這個時候再和key1,key2進行與操作,我們發現,由于第5位的差異,得到了兩種不同的結果:

結果.png

可以看到,得出的結果恰好符合上面我們將的兩種情況。這也就是1.8中擴容算法做出的改進,至于為什么這么搞?借用剛那篇文章中的一句話——由于(hashCode中)新增的1bit是0還是1可以認為是隨機的,因此resize的過程,均勻的把之前的沖突的節點分散到新的bucket了。

這個時候有些同學就有問題了,剛剛說了半天hash & (n - 1),源碼中明明是if ((e.hash & oldCap) == 0) {,并沒有減1啊~~我們可以看看如果不減1的話,16就是10000,和key1(第5位為0)相與結果為0,而和key2(第5位上面為1)就成了16了(!=0),也符合上面兩種情況。擴容之后同理。

站在巨人的肩膀上摘蘋果:
Java 8系列之重新認識HashMap
Java集合干貨系列-(三)HashMap源碼解析

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 227,818評論 6 531
  • 序言:濱河連續發生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發現死者居然都...
    沈念sama閱讀 98,185評論 3 414
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事?!?“怎么了?”我有些...
    開封第一講書人閱讀 175,656評論 0 373
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 62,647評論 1 309
  • 正文 為了忘掉前任,我火速辦了婚禮,結果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 71,446評論 6 405
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上,一...
    開封第一講書人閱讀 54,951評論 1 321
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,041評論 3 440
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 42,189評論 0 287
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當地人在樹林里發現了一具尸體,經...
    沈念sama閱讀 48,718評論 1 333
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 40,602評論 3 354
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發現自己被綠了。 大學時的朋友給我發了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 42,800評論 1 369
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 38,316評論 5 358
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質發生泄漏。R本人自食惡果不足惜,卻給世界環境...
    茶點故事閱讀 44,045評論 3 347
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 34,419評論 0 26
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 35,671評論 1 281
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 51,420評論 3 390
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 47,755評論 2 371

推薦閱讀更多精彩內容

  • HashMap 是 Java 面試必考的知識點,面試官從這個小知識點就可以了解我們對 Java 基礎的掌握程度。網...
    野狗子嗷嗷嗷閱讀 6,679評論 9 107
  • 實際上,HashSet 和 HashMap 之間有很多相似之處,對于 HashSet 而言,系統采用 Hash 算...
    曹振華閱讀 2,515評論 1 37
  • 文/ 離莊 風,凜冽.鉆進衣領里貪婪地尋找溫存.搞不懂,半夜三更的我,為什么還在街上游蕩.前前后后一個人也沒有了....
    離莊閱讀 1,209評論 2 1
  • 要分析python源碼,C語言的基礎不能少,特別是指針和結構體等知識。這篇文章先回顧C語言基礎,方便后續代碼的閱讀...
    __七把刀__閱讀 2,008評論 2 9