java程式設計師面試必備知識,HashMap深度分析

這次主要是分析下HashMap的工作原理,為什麼我會拿這個東西出來分析,原因很簡單,以前我面試的時候,偶爾問起HashMap,99%的程序員都知道HashMap,基本都會用Hashmap,這其中不僅僅包括剛畢業的大學生,也包括已經工作5年,甚至是10年的程序員。HashMap涉及的知識遠遠不止put和get那麼簡單。本次的分析希望對於面試的人起碼對於面試官的問題有所應付

一、先來回憶下我的面試過程

問:“你用過HashMap,你能跟我說說它嗎?”

答:“當然用過,HashMap是一種的存儲結構,能夠快速將key的數據put方式存儲起來,然後很快的通過get取出來”,然後說“HashMap不是線程安全的,HashTable是線程安全的,通過synchronized實現的。HashMap取值非常快”等等。這個時候說明他已經很熟練使用HashMap的工具了。

問:“你知道HashMap 在put和get的時候是怎麼工作的嗎?”

答:“HashMap是通過key計算出Hash值,然後將這個Hash值映射到對象的引用上,get的時候先計算key的hash值,然後找到對象”。這個時候已經顯得不自信了。

問:“HashMap的key為什麼一般用字符串比較多,能用其他對象,或者自定義的對象嗎?為什麼?”

答:“這個沒研究過,一般習慣用String。”

問:“你剛才提到HashMap不是線程安全的,你怎麼理解線程安全。原理是什麼?幾種方式避免線程安全的問題。”

答:“線程安全就是多個線程去訪問的時候,會對對象造成不是預期的結果,一般要加鎖才能線程安全。”

其實,問了以上那些問題,我基本能判定這個程序員的基本功了,一般技術中等,接下來的問題沒必要問了。

從我的個人角度來看,HashMap的面試問題能夠考察面試者的線程問題、Java內存模型問題、線程可見與不可變問題、Hash計算問題、鏈表結構問題、二進制的&、|、<>等問題。所以一個HashMap就能考驗一個人的技術功底了。

二、概念分析

1、HashMap的類圖結構

 此處的類圖是根據JDK1.6版本畫出來的。如下圖:

java程序員面試必備知識,HashMap深度分析

2、HashMap存儲結構

HashMap的使用那麼簡單,那麼問題來了,它是怎麼存儲的,他的存儲結構是怎樣的,很多程序員都不知道,其實當你put和get的時候,稍稍往前一步,你看到就是它的真面目。其實簡單的說HashMap的存儲結構是由數組和鏈表共同完成的。如圖:

java程序員面試必備知識,HashMap深度分析

從上圖可以看出HashMap是Y軸方向是數組,X軸方向就是鏈表的存儲方式。大家都知道數組的存儲方式在內存的地址是連續的,大小固定,一旦分配不能被其他引用佔用。它的特點是查詢快,時間複雜度是O(1),插入和刪除的操作比較慢,時間複雜度是O(n),鏈表的存儲方式是非連續的,大小不固定,特點與數組相反,插入和刪除快,查詢速度慢。HashMap可以說是一種折中的方案吧。

3、HashMap基本原理

1、首先判斷Key是否為Null,如果為null,直接查找Enrty[0],如果不是Null,先計算Key的HashCode,然後經過二次Hash。得到Hash值,這裡的Hash特徵值是一個int值。

2、根據Hash值,要找到對應的數組啊,所以對Entry[]的長度length求餘,得到的就是Entry數組的index。

3、找到對應的數組,就是找到了所在的鏈表,然後按照鏈表的操作對Value進行插入、刪除和查詢操作。

4、HashMap概念介紹

變量
術語說明
size大小HashMap的存儲大小
threshold臨界值HashMap大小達到臨界值,需要重新分配大小。
loadFactor負載因子HashMap大小負載因子,默認為75%。
modCount統一修改HashMap被修改或者刪除的次數總數。
Entry實體
HashMap存儲對象的實際實體,由Key,value,hash,next組成。

5、HashMap初始化

默認情況下,大多數人都調用new HashMap()來初始化的,我在這裡分析new HashMap(int initialCapacity, float loadFactor)的構造函數,代碼如下:

java程序員面試必備知識,HashMap深度分析

由上面的代碼可以看出,初始化的時候需要知道初始化的容量大小,因為在後面要通過按位與的Hash算法計算Entry數組的索引,那麼要求Entry的數組長度是2的N次方。

6、HashMap中的Hash計算和碰撞問題

HashMap的hash計算時先計算hashCode(),然後進行二次hash。代碼如下:

// 計算二次Hashint hash = hash(key.hashCode());// 通過Hash找數組索引int i = indexFor(hash, table.length);

先不忙著學習HashMap的Hash算法,先來看看JDK的String的Hash算法。代碼如下:

java程序員面試必備知識,HashMap深度分析

從JDK的API可以看出,它的算法等式就是s[0]31^(n-1) + s[1]31^(n-2) + ... + s[n-1],其中s[i]就是索引為i的字符,n為字符串的長度。這裡為什麼有一個固定常量31呢,關於這個31的討論很多,基本就是優化的數字,主要參考Joshua Bloch's

Effective Java的引用如下:

The value 31 was chosen because it is an odd prime. If it were even and the multiplication overflowed, information would be lost, as multiplication by 2 is equivalent to shifting. The advantage of using a prime is less clear, but it is traditional. A nice property of 31 is that the multiplication can be replaced by a shift and a subtraction for better performance: 31 * i == (i << 5) - i. Modern VMs do this sort of optimization automatically.

大體意思是說選擇31是因為它是一個奇素數,如果它做乘法溢出的時候,信息會丟失,而且當和2做乘法的時候相當於移位,在使用它的時候優點還是不清楚,但是它已經成為了傳統的選擇,31的一個很好的特性就是做乘法的時候可以被移位和減法代替的時候有更好的性能體現。例如31i相當於是i左移5位減去i,即31i == (i<<5)-i。現代的虛擬內存系統都使用這種自動優化。

現在進入正題,HashMap為什麼還要做二次hash呢? 代碼如下:

java程序員面試必備知識,HashMap深度分析

回答這個問題之前,我們先來看看HashMap是怎麼通過Hash查找數組的索引的。

java程序員面試必備知識,HashMap深度分析

其中h是hash值,length是數組的長度,這個按位與的算法其實就是h%length求餘,一般什麼情況下利用該算法,典型的分組。例如怎麼將100個數分組16組中,就是這個意思。應用非常廣泛。

既然知道了分組的原理了,那我們看看幾個例子,代碼如下:

java程序員面試必備知識,HashMap深度分析

運行結果都是15,為什麼呢?我們換算成二進制來看看。

java程序員面試必備知識,HashMap深度分析

這裡你就發現了,在做按位與操作的時候,後面的始終是低位在做計算,高位不參與計算,因為高位都是0。這樣導致的結果就是隻要是低位是一樣的,高位無論是什麼,最後結果是一樣的,如果這樣依賴,hash碰撞始終在一個數組上,導致這個數組開始的鏈表無限長,那麼在查詢的時候就速度很慢,又怎麼算得上高性能的啊。所以hashmap必須解決這樣的問題,儘量讓key儘可能均勻的分配到數組上去。避免造成Hash堆積。

回到正題,HashMap怎麼處理這個問題,怎麼做的二次Hash。

java程序員面試必備知識,HashMap深度分析

這裡就是解決Hash的的衝突的函數,解決Hash的衝突有以下幾種方法:

1. 開放定址法

線性探測再散列,二次探測再散列,偽隨機探測再散列)

2. 再哈希法

3. 鏈地址法

4. 建立一 公共溢出區

而HashMap採用的是鏈地址法,這幾種方法在以後的博客會有單獨介紹,這裡就不做介紹了。

7、HashMap的put()解析

以上說了一些基本概念,下面該進入主題了,HashMap怎麼存儲一個對象的,代碼如下:

java程序員面試必備知識,HashMap深度分析

從代碼可以看出,步驟如下:

(1) 首先判斷key是否為null,如果是null,就單獨調用putForNullKey(value)處理。代碼如下:

java程序員面試必備知識,HashMap深度分析

從代碼可以看出,如果key為null的值,默認就存儲到table[0]開頭的鏈表了。然後遍歷table[0]的鏈表的每個節點Entry,如果發現其中存在節點Entry的key為null,就替換新的value,然後返回舊的value,如果沒發現key等於null的節點Entry,就增加新的節點。

(2) 計算key的hashcode,再用計算的結果二次hash,通過indexFor(hash, table.length);找到Entry數組的索引i。

(3) 然後遍歷以table[i]為頭節點的鏈表,如果發現有節點的hash,key都相同的節點時,就替換為新的value,然後返回舊的value。

(4) modCount是幹嘛的啊? 讓我來為你解答。眾所周知,HashMap不是線程安全的,但在某些容錯能力較好的應用中,如果你不想僅僅因為1%的可能性而去承受hashTable的同步開銷,HashMap使用了Fail-Fast機制來處理這個問題,你會發現modCount在源碼中是這樣聲明的。

volatile關鍵字聲明瞭modCount,代表了多線程環境下訪問modCount,根據JVM規範,只要modCount改變了,其他線程將讀到最新的值。其實在Hashmap中modCount只是在迭代的時候起到關鍵作用。

使用Iterator開始迭代時,會將modCount的賦值給expectedModCount,在迭代過程中,通過每次比較兩者是否相等來判斷HashMap是否在內部或被其它線程修改,如果modCount和expectedModCount值不一樣,證明有其他線程在修改HashMap的結構,會拋出異常。

所以HashMap的put、remove等操作都有modCount++的計算。

8、HashMap的get()解析

理解上面的put,get就很好理解了。代碼如下:

java程序員面試必備知識,HashMap深度分析

別看這段代碼,它帶來的問題是巨大的,千萬記住,HashMap是非線程安全的,所以這裡的循環會導致死循環的。為什麼呢?當你查找一個key的hash存在的時候,進入了循環,恰恰這個時候,另外一個線程將這個Entry刪除了,那麼你就一直因為找不到Entry而出現死循環,最後導致的結果就是代碼效率很低,CPU特別高。一定記住。

9、HashMap的size()解析

HashMap的大小很簡單,不是實時計算的,而是每次新增加Entry的時候,size就遞增。刪除的時候就遞減。空間換時間的做法。因為它不是線程安全的。完全可以這麼做。效力高。

至此,HashMap還有一些迭代器的代碼,這裡不一一做介紹了,在JDK1.7版本中HashMap也做了一些升級,具體有Hash因子的參與。


分享到:


相關文章: