hashmap衝突的解決方法以及原理分析：

時間 2019-12-01

標籤 hashmap 衝突解決方法以及原理分析简体版

原文原文鏈接

在Java編程語言中，最基本的結構就是兩種，一種是數組，一種是模擬指針(引用),全部的數據結構均可以用這兩個基本結構構造，HashMap也同樣。當程序試圖將多個 key-value 放入 HashMap 中時，以以下代碼片斷爲例：html

HashMap<String,Object> m=new HashMap<String,Object>();
m.put("a", "rrr1");
m.put("b", "tt9");
m.put("c", "tt8");
m.put("d", "g7");
m.put("e", "d6");
m.put("f", "d4");
m.put("g", "d4");
m.put("h", "d3");
m.put("i", "d2");
m.put("j", "d1");
m.put("k", "1");
m.put("o", "2");
m.put("p", "3");
m.put("q", "4");
m.put("r", "5");
m.put("s", "6");
m.put("t", "7");
m.put("u", "8");
m.put("v", "9");

HashMap 採用一種所謂的「Hash 算法」來決定每一個元素的存儲位置。當程序執行 map.put(String,Obect)方法時，系統將調用String的 hashCode() 方法獲得其 hashCode 值——每一個 Java 對象都有 hashCode() 方法，均可經過該方法得到它的 hashCode 值。獲得這個對象的 hashCode 值以後，系統會根據該 hashCode 值來決定該元素的存儲位置。源碼以下:java

Java代碼

public V put(K key, V value) {
if (key == null)
return putForNullKey(value);
int hash = hash(key.hashCode());
int i = indexFor(hash, table.length);
for (Entry<K,V> e = table[i]; e != null; e = e.next) {
Object k;
//判斷當前肯定的索引位置是否存在相同hashcode和相同key的元素，若是存在相同的hashcode和相同的key的元素，那麼新值覆蓋原來的舊值，並返回舊值。
//若是存在相同的hashcode，那麼他們肯定的索引位置就相同，這時判斷他們的key是否相同，若是不相同，這時就是產生了hash衝突。
//Hash衝突後，那麼HashMap的單個bucket裏存儲的不是一個 Entry，而是一個 Entry 鏈。
//系統只能必須按順序遍歷每一個 Entry，直到找到想搜索的 Entry 爲止——若是剛好要搜索的 Entry 位於該 Entry 鏈的最末端（該 Entry 是最先放入該 bucket 中），
//那系統必須循環到最後才能找到該元素。
if (e.hash == hash && ((k = e.key) == key || key.equals(k))) {
V oldValue = e.value;
e.value = value;
return oldValue;
}
}
modCount++;
addEntry(hash, key, value, i);
return null;
}

上面程序中用到了一個重要的內部接口：Map.Entry，每一個 Map.Entry 其實就是一個 key-value 對。從上面程序中能夠看出：當系統決定存儲 HashMap 中的 key-value 對時，徹底沒有考慮 Entry 中的 value，僅僅只是根據 key 來計算並決定每一個 Entry 的存儲位置。這也說明了前面的結論：咱們徹底能夠把 Map 集合中的 value 當成 key 的附屬，當系統決定了 key 的存儲位置以後，value 隨之保存在那裏便可.HashMap程序通過我改造，我故意的構造出了hash衝突現象，由於HashMap的初始大小16,可是我在hashmap裏面放了超過16個元素，而且我屏蔽了它的resize()方法。不讓它去擴容。這時HashMap的底層數組Entry[] table結構以下: 算法

Hashmap裏面的bucket出現了單鏈表的形式，散列表要解決的一個問題就是散列值的衝突問題，一般是兩種方法：鏈表法和開放地址法。鏈表法就是將相同hash值的對象組織成一個鏈表放在hash值對應的槽位；開放地址法是經過一個探測算法，當某個槽位已經被佔據的狀況下繼續查找下一個可使用的槽位。java.util.HashMap採用的鏈表法的方式，鏈表是單向鏈表。造成單鏈表的核心代碼以下：編程

Java代碼

void addEntry(int hash, K key, V value, int bucketIndex) {
Entry<K,V> e = table[bucketIndex];
table[bucketIndex] = new Entry<K,V>(hash, key, value, e);
if (size++ >= threshold)
resize(2 * table.length);
bsp;

上面方法的代碼很簡單，但其中包含了一個設計：系統老是將新添加的 Entry 對象放入 table 數組的 bucketIndex 索引處——若是 bucketIndex 索引處已經有了一個 Entry 對象，那新添加的 Entry 對象指向原有的 Entry 對象（產生一個 Entry 鏈），若是 bucketIndex 索引處沒有 Entry 對象，也就是上面程序代碼的 e 變量是 null，也就是新放入的 Entry 對象指向 null，也就是沒有產生 Entry 鏈。數組

HashMap裏面沒有出現hash衝突時，沒有造成單鏈表時，hashmap查找元素很快,get()方法可以直接定位到元素，可是出現單鏈表後，單個bucket 裏存儲的不是一個 Entry，而是一個 Entry 鏈，系統只能必須按順序遍歷每一個 Entry，直到找到想搜索的 Entry 爲止——若是剛好要搜索的 Entry 位於該 Entry 鏈的最末端（該 Entry 是最先放入該 bucket 中），那系統必須循環到最後才能找到該元素。安全

當建立 HashMap 時，有一個默認的負載因子（load factor），其默認值爲 0.75，這是時間和空間成本上一種折衷：增大負載因子能夠減小 Hash 表（就是那個 Entry 數組）所佔用的內存空間，但會增長查詢數據的時間開銷，而查詢是最頻繁的的操做（HashMap 的 get() 與 put() 方法都要用到查詢）；減少負載因子會提升數據查詢的性能，但會增長 Hash 表所佔用的內存空間。數據結構

1、HashMap概述app

　　HashMap基於哈希表的 Map 接口的實現。此實現提供全部可選的映射操做，並容許使用 null 值和 null 鍵。（除了不一樣步和容許使用 null 以外，HashMap 類與 Hashtable 大體相同。）此類不保證映射的順序，特別是它不保證該順序恆久不變。編程語言

　　值得注意的是HashMap不是線程安全的，若是想要線程安全的HashMap，能夠經過Collections類的靜態方法synchronizedMap得到線程安全的HashMap。函數

 Map map = Collections.synchronizedMap(new HashMap());

2、HashMap的數據結構

　　HashMap的底層主要是基於數組和鏈表來實現的，它之因此有至關快的查詢速度主要是由於它是經過計算散列碼來決定存儲的位置。HashMap中主要是經過key的hashCode來計算hash值的，只要hashCode相同，計算出來的hash值就同樣。若是存儲的對象對多了，就有可能不一樣的對象所算出來的hash值是相同的，這就出現了所謂的hash衝突。學過數據結構的同窗都知道，解決hash衝突的方法有不少，HashMap底層是經過鏈表來解決hash衝突的。

圖中，紫色部分即表明哈希表，也稱爲哈希數組，數組的每一個元素都是一個單鏈表的頭節點，鏈表是用來解決衝突的，若是不一樣的key映射到了數組的同一位置處，就將其放入單鏈表中。

咱們看看HashMap中Entry類的代碼：

    /** Entry是單向鏈表。    
     * 它是 「HashMap鏈式存儲法」對應的鏈表。    
     *它實現了Map.Entry 接口，即實現getKey(), getValue(), setValue(V value), equals(Object o), hashCode()這些函數  
    **/  
    static class Entry<K,V> implements Map.Entry<K,V> {    
        final K key;    
        V value;    
        // 指向下一個節點    
        Entry<K,V> next;    
        final int hash;    
   
        // 構造函數。    
        // 輸入參數包括"哈希值(h)", "鍵(k)", "值(v)", "下一節點(n)"    
        Entry(int h, K k, V v, Entry<K,V> n) {    
            value = v;    
            next = n;    
            key = k;    
            hash = h;    
        }    
   
        public final K getKey() {    
            return key;    
        }    
   
        public final V getValue() {    
            return value;    
        }    
   
        public final V setValue(V newValue) {    
            V oldValue = value;    
            value = newValue;    
            return oldValue;    
        }    
   
        // 判斷兩個Entry是否相等    
        // 若兩個Entry的「key」和「value」都相等，則返回true。    
        // 不然，返回false    
        public final boolean equals(Object o) {    
            if (!(o instanceof Map.Entry))    
                return false;    
            Map.Entry e = (Map.Entry)o;    
            Object k1 = getKey();    
            Object k2 = e.getKey();    
            if (k1 == k2 || (k1 != null && k1.equals(k2))) {    
                Object v1 = getValue();    
                Object v2 = e.getValue();    
                if (v1 == v2 || (v1 != null && v1.equals(v2)))    
                    return true;    
            }    
            return false;    
        }    
   
        // 實現hashCode()    
        public final int hashCode() {    
            return (key==null   ? 0 : key.hashCode()) ^    
                   (value==null ? 0 : value.hashCode());    
        }    
   
        public final String toString() {    
            return getKey() + "=" + getValue();    
        }    
   
        // 當向HashMap中添加元素時，繪調用recordAccess()。    
        // 這裏不作任何處理    
        void recordAccess(HashMap<K,V> m) {    
        }    
   
        // 當從HashMap中刪除元素時，繪調用recordRemoval()。    
        // 這裏不作任何處理    
        void recordRemoval(HashMap<K,V> m) {    
        }    
    }

HashMap其實就是一個Entry數組，Entry對象中包含了鍵和值，其中next也是一個Entry對象，它就是用來處理hash衝突的，造成一個鏈表。

3、HashMap源碼分析

一、關鍵屬性

　　先看看HashMap類中的一些關鍵屬性：

1 transient Entry[] table;//存儲元素的實體數組
2  
3 transient int size;//存放元素的個數
4  
5 int threshold; //臨界值   當實際大小超過臨界值時，會進行擴容threshold = 加載因子*容量
6 
7  final float loadFactor; //加載因子
8  
9 transient int modCount;//被修改的次數

其中loadFactor加載因子是表示Hsah表中元素的填滿的程度.

若:加載因子越大,填滿的元素越多,好處是,空間利用率高了,但:衝突的機會加大了.鏈表長度會愈來愈長,查找效率下降。

反之,加載因子越小,填滿的元素越少,好處是:衝突的機會減少了,但:空間浪費多了.表中的數據將過於稀疏（不少空間還沒用，就開始擴容了）

衝突的機會越大,則查找的成本越高.

所以,必須在 "衝突的機會"與"空間利用率"之間尋找一種平衡與折衷. 這種平衡與折衷本質上是數據結構中有名的"時-空"矛盾的平衡與折衷.

　　若是機器內存足夠，而且想要提升查詢速度的話能夠將加載因子設置小一點；相反若是機器內存緊張，而且對查詢速度沒有什麼要求的話能夠將加載因子設置大一點。不過通常咱們都不用去設置它，讓它取默認值0.75就行了。

二、構造方法

下面看看HashMap的幾個構造方法：

public HashMap(int initialCapacity, float loadFactor) {
 2         //確保數字合法
 3         if (initialCapacity < 0)
 4             throw new IllegalArgumentException("Illegal initial capacity: " +
 5                                               initialCapacity);
 6         if (initialCapacity > MAXIMUM_CAPACITY)
 7             initialCapacity = MAXIMUM_CAPACITY;
 8         if (loadFactor <= 0 || Float.isNaN(loadFactor))
 9             throw new IllegalArgumentException("Illegal load factor: " +
10                                               loadFactor);
11 
12         // Find a power of 2 >= initialCapacity
13         int capacity = 1;   //初始容量
14         while (capacity < initialCapacity)   //確保容量爲2的n次冪，使capacity爲大於initialCapacity的最小的2的n次冪
15             capacity <<= 1;
16 
17         this.loadFactor = loadFactor;
18         threshold = (int)(capacity * loadFactor);
19         table = new Entry[capacity];
20        init();
21    }
22 
23     public HashMap(int initialCapacity) {
24         this(initialCapacity, DEFAULT_LOAD_FACTOR);
25    }
26 
27     public HashMap() {
28         this.loadFactor = DEFAULT_LOAD_FACTOR;
29         threshold = (int)(DEFAULT_INITIAL_CAPACITY * DEFAULT_LOAD_FACTOR);
30         table = new Entry[DEFAULT_INITIAL_CAPACITY];
31        init();
32     }

咱們能夠看到在構造HashMap的時候若是咱們指定了加載因子和初始容量的話就調用第一個構造方法，不然的話就是用默認的。默認初始容量爲16，默認加載因子爲0.75。咱們能夠看到上面代碼中13-15行，這段代碼的做用是確保容量爲2的n次冪，使capacity爲大於initialCapacity的最小的2的n次冪，至於爲何要把容量設置爲2的n次冪，咱們等下再看。

重點分析下HashMap中用的最多的兩個方法put和get

三、存儲數據

　　下面看看HashMap存儲數據的過程是怎樣的，首先看看HashMap的put方法：

public V put(K key, V value) {
     // 若「key爲null」，則將該鍵值對添加到table[0]中。
         if (key == null) 
            return putForNullKey(value);
     // 若「key不爲null」，則計算該key的哈希值，而後將其添加到該哈希值對應的鏈表中。
         int hash = hash(key.hashCode());
     //搜索指定hash值在對應table中的索引
         int i = indexFor(hash, table.length);
     // 循環遍歷Entry數組,若「該key」對應的鍵值對已經存在，則用新的value取代舊的value。而後退出！
         for (Entry<K,V> e = table[i]; e != null; e = e.next) { 
             Object k;
              if (e.hash == hash && ((k = e.key) == key || key.equals(k))) { //若是key相同則覆蓋並返回舊值
                  V oldValue = e.value;
                 e.value = value;
                 e.recordAccess(this);
                 return oldValue;
              }
         }
     //修改次數+1
         modCount++;
     //將key-value添加到table[i]處
     addEntry(hash, key, value, i);
     return null;
}

咱們慢慢的來分析這個函數，第2和3行的做用就是處理key值爲null的狀況，咱們看看putForNullKey(value)方法：

1 private V putForNullKey(V value) {
 2         for (Entry<K,V> e = table[0]; e != null; e = e.next) {
 3             if (e.key == null) {   //若是有key爲null的對象存在，則覆蓋掉
 4                 V oldValue = e.value;
 5                 e.value = value;
 6                 e.recordAccess(this);
 7                 return oldValue;
 8            }
 9        }
10         modCount++;
11         addEntry(0, null, value, 0); //若是鍵爲null的話，則hash值爲0
12         return null;
13     }

注意：若是key爲null的話，hash值爲0，對象存儲在數組中索引爲0的位置。即table[0]

咱們再回去看看put方法中第4行，它是經過key的hashCode值計算hash碼，下面是計算hash碼的函數：

1  //計算hash值的方法 經過鍵的hashCode來計算
2     static int hash(int h) {
3         // This function ensures that hashCodes that differ only by
4         // constant multiples at each bit position have a bounded
5         // number of collisions (approximately 8 at default load factor).
6         h ^= (h >>> 20) ^ (h >>> 12);
7         return h ^ (h >>> 7) ^ (h >>> 4);
8     }

獲得hash碼以後就會經過hash碼去計算出應該存儲在數組中的索引，計算索引的函數以下：

1     static int indexFor(int h, int length) { //根據hash值和數組長度算出索引值
2         return h & (length-1);  //這裏不能隨便算取，用hash&(length-1)是有緣由的，這樣能夠確保算出來的索引是在數組大小範圍內，不會超出
3     }

這個咱們要重點說下，咱們通常對哈希表的散列很天然地會想到用hash值對length取模（即除法散列法），Hashtable中也是這樣實現的，這種方法基本能保證元素在哈希表中散列的比較均勻，但取模會用到除法運算，效率很低，HashMap中則經過h&(length-1)的方法來代替取模，一樣實現了均勻的散列，但效率要高不少，這也是HashMap對Hashtable的一個改進。

接下來，咱們分析下爲何哈希表的容量必定要是2的整數次冪。首先，length爲2的整數次冪的話，h&(length-1)就至關於對length取模，這樣便保證了散列的均勻，同時也提高了效率；其次，length爲2的整數次冪的話，爲偶數，這樣length-1爲奇數，奇數的最後一位是1，這樣便保證了h&(length-1)的最後一位可能爲0，也可能爲1（這取決於h的值），即與後的結果可能爲偶數，也可能爲奇數，這樣即可以保證散列的均勻性，而若是length爲奇數的話，很明顯length-1爲偶數，它的最後一位是0，這樣h&(length-1)的最後一位確定爲0，即只能爲偶數，這樣任何hash值都只會被散列到數組的偶數下標位置上，這便浪費了近一半的空間，所以，length取2的整數次冪，是爲了使不一樣hash值發生碰撞的機率較小，這樣就能使元素在哈希表中均勻地散列。

　　這看上去很簡單，其實比較有玄機的，咱們舉個例子來講明：

　　假設數組長度分別爲15和16，優化後的hash碼分別爲8和9，那麼&運算後的結果以下：

       h & (table.length-1)                     hash                             table.length-1
       8 & (15-1)：                                 0100                   &              1110                   =                0100
       9 & (15-1)：                                 0101                   &              1110                   =                0100
       -----------------------------------------------------------------------------------------------------------------------
       8 & (16-1)：                                 0100                   &              1111                   =                0100
       9 & (16-1)：                                 0101                   &              1111                   =                0101

從上面的例子中能夠看出：當它們和15-1（1110）「與」的時候，產生了相同的結果，也就是說它們會定位到數組中的同一個位置上去，這就產生了碰撞，8和9會被放到數組中的同一個位置上造成鏈表，那麼查詢的時候就須要遍歷這個鏈表，獲得8或者9，這樣就下降了查詢的效率。同時，咱們也能夠發現，當數組長度爲15的時候，hash值會與15-1（1110）進行「與」，那麼最後一位永遠是0，而0001，0011，0101，1001，1011，0111，1101這幾個位置永遠都不能存放元素了，空間浪費至關大，更糟的是這種狀況中，數組可使用的位置比數組長度小了不少，這意味着進一步增長了碰撞的概率，減慢了查詢的效率！而當數組長度爲16時，即爲2的n次方時，2n-1獲得的二進制數的每一個位上的值都爲1，這使得在低位上&時，獲得的和原hash的低位相同，加之hash(int h)方法對key的hashCode的進一步優化，加入了高位計算，就使得只有相同的hash值的兩個值纔會被放到數組中的同一個位置上造成鏈表。

　　因此說，當數組長度爲2的n次冪的時候，不一樣的key算得得index相同的概率較小，那麼數據在數組上分佈就比較均勻，也就是說碰撞的概率小，相對的，查詢的時候就不用遍歷某個位置上的鏈表，這樣查詢效率也就較高了。

根據上面 put 方法的源代碼能夠看出，當程序試圖將一個key-value對放入HashMap中時，程序首先根據該 key 的 hashCode() 返回值決定該 Entry 的存儲位置：若是兩個 Entry 的 key 的 hashCode() 返回值相同，那它們的存儲位置相同。若是這兩個 Entry 的 key 經過 equals 比較返回 true，新添加 Entry 的 value 將覆蓋集合中原有 Entry 的 value，但key不會覆蓋。若是這兩個 Entry 的 key 經過 equals 比較返回 false，新添加的 Entry 將與集合中原有 Entry 造成 Entry 鏈，並且新添加的 Entry 位於 Entry 鏈的頭部——具體說明繼續看 addEntry() 方法的說明。

1 void addEntry(int hash, K key, V value, int bucketIndex) {
2         Entry<K,V> e = table[bucketIndex]; //若是要加入的位置有值，將該位置原先的值設置爲新entry的next,也就是新entry鏈表的下一個節點
3         table[bucketIndex] = new Entry<>(hash, key, value, e);
4         if (size++ >= threshold) //若是大於臨界值就擴容
5             resize(2 * table.length); //以2的倍數擴容
6     }

參數bucketIndex就是indexFor函數計算出來的索引值，第2行代碼是取得數組中索引爲bucketIndex的Entry對象，第3行就是用hash、key、value構建一個新的Entry對象放到索引爲bucketIndex的位置，而且將該位置原先的對象設置爲新對象的next構成鏈表。

　　第4行和第5行就是判斷put後size是否達到了臨界值threshold，若是達到了臨界值就要進行擴容，HashMap擴容是擴爲原來的兩倍。

四、調整大小

resize()方法以下：

從新調整HashMap的大小，newCapacity是調整後的單位

 1     void resize(int newCapacity) {
 2         Entry[] oldTable = table;
 3         int oldCapacity = oldTable.length;
 4         if (oldCapacity == MAXIMUM_CAPACITY) {
 5             threshold = Integer.MAX_VALUE;
 6             return;
 7        }
 8 
 9         Entry[] newTable = new Entry[newCapacity];
10         transfer(newTable);//用來將原先table的元素所有移到newTable裏面
11         table = newTable;  //再將newTable賦值給table
12         threshold = (int)(newCapacity * loadFactor);//從新計算臨界值
13     }

新建了一個HashMap的底層數組，上面代碼中第10行爲調用transfer方法，將HashMap的所有元素添加到新的HashMap中,並從新計算元素在新的數組中的索引位置

當HashMap中的元素愈來愈多的時候，hash衝突的概率也就愈來愈高，由於數組的長度是固定的。因此爲了提升查詢的效率，就要對HashMap的數組進行擴容，數組擴容這個操做也會出如今ArrayList中，這是一個經常使用的操做，而在HashMap數組擴容以後，最消耗性能的點就出現了：原數組中的數據必須從新計算其在新數組中的位置，並放進去，這就是resize。

那麼HashMap何時進行擴容呢？當HashMap中的元素個數超過數組大小*loadFactor時，就會進行數組擴容，loadFactor的默認值爲0.75，這是一個折中的取值。也就是說，默認狀況下，數組大小爲16，那麼當HashMap中元素個數超過16*0.75=12的時候，就把數組的大小擴展爲 2*16=32，即擴大一倍，而後從新計算每一個元素在數組中的位置，擴容是須要進行數組複製的，複製數組是很是消耗性能的操做，因此若是咱們已經預知HashMap中元素的個數，那麼預設元素的個數可以有效的提升HashMap的性能。

五、數據讀取

1.public V get(Object key) {   
2.    if (key == null)   
3.        return getForNullKey();   
4.    int hash = hash(key.hashCode());   
5.    for (Entry<K,V> e = table[indexFor(hash, table.length)];   
6.        e != null;   
7.        e = e.next) {   
8.        Object k;   
9.        if (e.hash == hash && ((k = e.key) == key || key.equals(k)))   
10.            return e.value;   
11.    }   
12.    return null;   
13.}

有了上面存儲時的hash算法做爲基礎，理解起來這段代碼就很容易了。從上面的源代碼中能夠看出：從HashMap中get元素時，首先計算key的hashCode，找到數組中對應位置的某一元素，而後經過key的equals方法在對應位置的鏈表中找到須要的元素。

六、HashMap的性能參數：

HashMap 包含以下幾個構造器：

HashMap()：構建一個初始容量爲 16，負載因子爲 0.75 的 HashMap。

HashMap(int initialCapacity)：構建一個初始容量爲 initialCapacity，負載因子爲 0.75 的 HashMap。

HashMap(int initialCapacity, float loadFactor)：以指定初始容量、指定的負載因子建立一個 HashMap。

HashMap的基礎構造器HashMap(int initialCapacity, float loadFactor)帶有兩個參數，它們是初始容量initialCapacity和加載因子loadFactor。

initialCapacity：HashMap的最大容量，即爲底層數組的長度。

loadFactor：負載因子loadFactor定義爲：散列表的實際元素數目(n)/ 散列表的容量(m)。

負載因子衡量的是一個散列表的空間的使用程度，負載因子越大表示散列表的裝填程度越高，反之愈小。對於使用鏈表法的散列表來講，查找一個元素的平均時間是O(1+a)，所以若是負載因子越大，對空間的利用更充分，然然後果是查找效率的下降；若是負載因子過小，那麼散列表的數據將過於稀疏，對空間形成嚴重浪費。

HashMap的實現中，經過threshold字段來判斷HashMap的最大容量：

threshold = (int)(capacity * loadFactor);

結合負載因子的定義公式可知，threshold就是在此loadFactor和capacity對應下容許的最大元素數目，超過這個數目就從新resize，以下降實際的負載因子。默認的的負載因子0.75是對空間和時間效率的一個平衡選擇。當容量超出此最大容量時， resize後的HashMap容量是容量的兩倍：

參考連接:

深刻Java集合學習系列：HashMap的實現原理

本文來源