HashMap工作原理

前言

幾乎每個Java程序員都知道HashMap,都知道哪裏要用HashMap,知道Hashtable和HashMap之間的區別
,那麼爲何這個問題如此特殊呢?是因爲這個問題的深度很深。ConcurrentHashMap和其它同步集合的引入讓這道題變得更加複雜。讓我們開始探索的旅程吧!


循序漸進

“你用過HashMap嗎?” “什麼是HashMap?你爲什麼用到它?”

幾乎每個人都會回答“是的”,然後回答

  • HashMap的一些特性,譬如HashMap可以接受null鍵值和值,而Hashtable則不能;
  • HashMap是非synchronized;而HashTable是synchronized的
  • HashMap對於HashTable來說很快;
  • 以及HashMap儲存的是鍵值對等等。

這顯示出你已經用過HashMap,而且對它相當的熟悉。關於HashMap的更多基礎的細節。可能會引申出下面的問題:

“你知道HashMap的工作原理嗎?” “你知道HashMap的get()方法的工作原理嗎?”

你也許會回答“我沒有詳查標準的Java API,你可以看看Java源代碼或者Open JDK。”“我可以用Google找到答案。”

但一些人可能可以給出答案:
“HashMap是基於hashing的原理,我們使用put(key, value)存儲對象到HashMap中,使用get(key)從HashMap中獲取對象。當我們給put()方法傳遞鍵和值時,我們先對鍵調用hashCode()方法,返回的hashCode用於找到bucket位置來儲存Entry對象。”
這裏關鍵點在於指出,HashMap是在bucket中儲存鍵對象和值對象,作爲Map.Entry。這一點有助於理解獲取對象的邏輯。如果你沒有意識到這一點,或者錯誤的認爲僅僅只在bucket中存儲值的話,你將不會回答如何從HashMap中獲取對象的邏輯。這個答案相當的正確,也顯示出面試者確實知道hashing以及HashMap的工作原理。但是這僅僅是故事的開始,當繼續加入一些Java程序員每天要碰到的實際場景的時候,錯誤的答案頻現。下個問題可能是關於HashMap中的碰撞探測(collision detection)以及碰撞的解決方法:

“當兩個對象的hashcode相同會發生什麼?”

從這裏開始,真正的困惑開始了,一些人會回答因爲hashcode相同,所以兩個對象是相等的,HashMap將會拋出異常,或者不會存儲它們。然後別人可能會提醒他們有equals()和hashCode()兩個方法,並告訴他們兩個對象就算hashcode相同,但是它們可能並不相等。一些人可能就此放棄,而另外一些還能繼續挺進,他們回答“因爲hashcode相同,所以它們的bucket位置相同,‘碰撞’會發生。因爲HashMap使用鏈表存儲對象,這個Entry(包含有鍵值對的Map.Entry對象)會存儲在鏈表中。”這個答案非常的合理,雖然有很多種處理碰撞的方法,這種方法是最簡單的,也正是HashMap的處理方法。但故事還沒有完結,我們還可以繼續問:

“如果兩個鍵的hashcode相同,你如何獲取值對象?”

一些人會回答:當我們調用get()方法,HashMap會使用鍵對象的hashcode找到bucket位置,然後獲取值對象。但別人提醒他如果有兩個值對象儲存在同一個bucket,他給出答案:將會遍歷鏈表直到找到值對象。那我會問因爲你並沒有值對象去比較,你是如何確定確定找到值對象的?除非找到HashMap在鏈表中存儲的是鍵值對,否則不可能回答出這一題。

其中一些記得這個重要知識點的人會說,找到bucket位置之後,會調用keys.equals()方法去找到鏈表中正確的節點,最終找到要找的值對象。完美的答案!

許多情況下,會在這個環節中出錯,因爲他們混淆了hashCode()和equals()方法。因爲在此之前hashCode()屢屢出現,而equals()方法僅僅在獲取值對象的時候纔出現。一些優秀的開發者會指出使用不可變的、聲明作final的對象,並且採用合適的equals()和hashCode()方法的話,將會減少碰撞的發生,提高效率。不可變性使得能夠緩存不同鍵的hashcode,這將提高整個獲取對象的速度,使用String,Interger這樣的wrapper類作爲鍵是非常好的選擇。那麼我繼續問:

“爲什麼String, Interger這樣的wrapper類適合作爲鍵?”

String, Interger這樣的wrapper類作爲HashMap的鍵是再適合不過了,而且String最爲常用。因爲String是不可變的,也是final的,而且已經重寫了equals()和hashCode()方法了。其他的wrapper類也有這個特點。不可變性是必要的,因爲爲了要計算hashCode(),就要防止鍵值改變,如果鍵值在放入時和獲取時返回不同的hashcode的話,那麼就不能從HashMap中找到你想要的對象。不可變性還有其他的優點如線程安全。如果你可以僅僅通過將某個field聲明成final就能保證hashCode是不變的,那麼請這麼做吧。因爲獲取對象的時候要用到equals()和hashCode()方法,那麼鍵對象正確的重寫這兩個方法是非常重要的。如果兩個不相等的對象返回不同的hashcode的話,那麼碰撞的機率就會小些,這樣就能提高HashMap的性能。

如果你認爲到這裏已經完結了,那麼聽到下面這個問題的時候,你會大吃一驚。

“如果HashMap的大小超過了負載因子(load factor)定義的容量,怎麼辦?”

除非你真正知道HashMap的工作原理,否則你將回答不出這道題。默認的負載因子大小爲0.75,也就是說,當一個map填滿了75%的bucket時候,和其它集合類(如ArrayList等)一樣,將會創建原來HashMap大小的兩倍的bucket數組,來重新調整map的大小,並將原來的對象放入新的bucket數組中。這個過程叫作rehashing,因爲它調用hash方法找到新的bucket位置。

如果你能夠回答這道問題,下面的問題來了:

“你瞭解重新調整HashMap大小存在什麼問題嗎?”

你可能回答不上來,這時我會提醒你當多線程的情況下,可能產生條件競爭(race condition)。

當重新調整HashMap大小的時候,確實存在條件競爭,因爲如果兩個線程都發現HashMap需要重新調整大小了,它們會同時試着調整大小。在調整大小的過程中,存儲在鏈表中的元素的次序會反過來,因爲移動到新的bucket位置的時候,HashMap並不會將元素放在鏈表的尾部,而是放在頭部,這是爲了避免尾部遍歷(tail traversing)。如果條件競爭發生了,那麼就死循環了。這個時候,你可以質問一些提問者,爲什麼這麼奇怪,要在多線程的環境下使用HashMap呢?:)

然後再來一波,其實

我們可以使用CocurrentHashMap來代替Hashtable嗎?

這是另外一個很熱門的面試題,因爲ConcurrentHashMap越來越多人用了。我們知道Hashtable是synchronized的,但是ConcurrentHashMap同步性能更好,因爲它僅僅根據同步級別對map的一部分進行上鎖。ConcurrentHashMap當然可以代替HashTable,HashMap現在已經是過時方法了,所以現在更建議使用ConcurrentHashMap。


總結
其實這樣一系列問下來可以涉及到的知識點是非常的多:

  • hashing的概念
  • HashMap中解決碰撞的方法
  • equals()和hashCode()的應用,以及它們在HashMap中的重要性
  • 不可變對象的好處
  • HashMap多線程的條件競爭
  • 重新調整HashMap的大小
發佈了82 篇原創文章 · 獲贊 215 · 訪問量 13萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章