數據結構
HashMap的數據結構數據結構中有數組和鏈表來實現對數據的存儲,但這兩者基本上是兩個極端。
- 數組:數組存儲區間是連續的,占用內存嚴重,故空間復雜的很大。但數組的二分查找時間復雜度小,為O(1);數組的特點是:尋址容易,插入和刪除困難;
- 鏈表:鏈表存儲區間離散,占用內存比較寬松,故空間復雜度很小,但時間復雜度很大,達O(N)。鏈表的特點是:尋址困難,插入和刪除容易。
哈希表那么我們能不能綜合兩者的特性,做出一種尋址容易,插入刪除也容易的數據結構?答案是肯定的,這就是我們要提起的哈希表。哈希表((Hash table)既滿足了數據的查找方便,同時不占用太多的內容空間,使用也十分方便。哈希表有多種不同的實現方法,我接下來解釋的是最常用的一種方法—— 拉鏈法,我們可以理解為“鏈表的數組” ,如圖:
從上圖我們可以發現哈希表是由【 數組+鏈表】組成的,一個長度為16的數組中,每個元素存儲的是一個鏈表的頭結點。那么這些元素是按照什么樣的規則存儲到數組中呢?一般情況是通過【 hash(key)%len】獲得,也就是元素的key的哈希值對數組長度取模得到。比如上述哈希表中,12%16=12,28%16=12,108%16=12,140%16=12。所以12、28、108以及140都存儲在數組下標為12的位置。
HashMap也可以理解為其存儲數據的容器就是一個【 線性數組】。這可能讓我們很不解,一個線性的數組怎么實現按鍵值對來存取數據呢?這里HashMap有做一些處理。首先HashMap里面實現一個靜態內部類Entry,其重要的屬性有 key , value, next。從屬性key,value我們就能很明顯的看出來Entry就是HashMap鍵值對實現的一個基礎bean,我們上面說到 HashMap的基礎就是一個線性數組,這個數組就是Entry[],Map里面的內容都保存在Entry[]里面。/** The table, resized as necessary. Length MUST Always be a power of two. */transient Entry[] table;
存數據的邏輯
既然是線性數組,為什么能隨機存取?這里HashMap用了一個小算法,大致是這樣實現:
//存儲時:int hash = key.hashCode(); // 每個key的hash是一個固定的int值int index = hash % Entry[].length; // 去模運算,運算后的值肯定在0-length之間Entry[index] = value; // 以去模后的值為索引,把value存進去
疑問:如果兩個key通過hash%Entry[].length得到的index相同,會不會有覆蓋的危險?這里HashMap里面用到鏈式數據結構的一個概念。上面我們提到過 Entry類里面有一個next屬性,作用是指向下一個Entry。打個比方, 第一個鍵值對A進來,通過計算其key的hash得到的index=0,記做:Entry[0] = A。一會后又進來一個鍵值對B,通過計算其index也等於0,現在怎么辦?HashMap會這樣做:B.next = A,Entry[0] = B。如果又進來C,index也等於0,那么C.next = B,Entry[0] = C;這樣我們發現 index=0的地方其實存取了A,B,C三個鍵值對,他們通過next這個屬性鏈接在一起。
public V put(K key, V value) {if (key == null) return putForNullKey(value); //null總是放在數組的第一個鏈表中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;//如果key在鏈表中已存在,則替換為新value(不要誤解為是用新的值把舊的值覆蓋了!)if (e.hash == hash && ((k = e.key) == key || key.equals(k))) {V oldValue = e.value;e.value = value;e.recordAccess(this);return oldValue;}}modCount++;addEntry(hash, key, value, i);return null;}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); //參數e, 是Entry.next//如果size超過threshold,則擴充table大小。再散列if (size++ >= threshold) resize(2 * table.length);}
當然HashMap里面也包含一些優化方面的實現,比如:Entry[]的長度一定后,隨着map里面數據的越來越長,這樣同一個index的鏈就會很長,會不會影響性能?HashMap里面設置一個因子,隨着map的size越來越大,Entry[]會以一定的規則加長長度。
取數據的邏輯
//取值時:int hash = key.hashCode();int index = hash % Entry[].length;return Entry[index];
public V get(Object key) {if (key == null) return getForNullKey();int hash = hash(key.hashCode());//先定位到數組元素,再遍歷該元素處的鏈表for (Entry<K, V> e = table[indexFor(hash, table.length)]; e != null; e = e.next) {Object k;if (e.hash == hash && ((k = e.key) == key || key.equals(k))) return e.value;}return null;}
其他邏輯
null key的存取null key總是存放在Entry[]數組的第一個元素。private V putForNullKey(V value) {for (Entry<K, V> e = table[0]; e != null; e = e.next) {if (e.key == null) {V oldValue = e.value;e.value = value;e.recordAccess(this);return oldValue;}}modCount++;addEntry(0, null, value, 0);return null;}private V getForNullKey() {for (Entry<K, V> e = table[0]; e != null; e = e.next) {if (e.key == null) return e.value;}return null;}
確定數組index:hashcode % table.length取模HashMap存取時,都需要計算當前key應該對應Entry[]數組哪個元素,即計算數組下標;算法如下:/** Returns index for hash code h. */static int indexFor(int h, int length) {return h & (length - 1);}按位取並,作用上相當於取模mod或者取余%。注意:不過的 hashCode進行運算后的值可能相等, 這意味着數組下標相同;但是,不要錯誤的理解為數組下標相同表示hashCode相同。
初始大小
public HashMap(int initialCapacity, float loadFactor) {.....// Find a power of 2 >= initialCapacityint capacity = 1;while (capacity < initialCapacity)capacity <<= 1;this.loadFactor = loadFactor;threshold = (int)(capacity * loadFactor);table = new Entry[capacity];init();}注意初始大小並不是構造函數中的initialCapacity!而是 >= initialCapacity的2的n次冪!!!!!
解決hash沖突的方法
開放定址法(線性探測再散列,二次探測再散列,偽隨機探測再散列)再哈希法鏈地址法建立一個公共溢出區Java中 HashMap 的解決辦法是采用的鏈地址法。
再散列過程
當哈希表的容量超過默認容量時,必須調整table的大小。當容量已經達到最大可能值時,那么該方法就將容量調整到Integer.MAX_VALUE返回,這時,需要創建一張新表,將原表映射到新表中。
/*** Rehashes the contents of this map into a new array with a* larger capacity. This method is called automatically when the* number of keys in this map reaches its threshold.** If current capacity is MAXIMUM_CAPACITY, this method does not* resize the map, but sets threshold to Integer.MAX_VALUE.* This has the effect of preventing future calls.** @param newCapacity the new capacity, MUST be a power of two;* must be greater than current capacity unless current* capacity is MAXIMUM_CAPACITY (in which case value* is irrelevant).*/void resize(int newCapacity) {Entry[] oldTable = table;int oldCapacity = oldTable.length;if (oldCapacity == MAXIMUM_CAPACITY) {threshold = Integer.MAX_VALUE;return;}Entry[] newTable = new Entry[newCapacity];transfer(newTable);table = newTable;threshold = (int) (newCapacity * loadFactor);}/*** Transfers all entries from current table to newTable.*/void transfer(Entry[] newTable) {Entry[] src = table;int newCapacity = newTable.length;for (int j = 0; j < src.length; j++) {Entry<K, V> e = src[j];if (e != null) {src[j] = null;do {Entry<K, V> next = e.next;//重新計算indexint i = indexFor(e.hash, newCapacity);e.next = newTable[i];newTable[i] = e;e = next;} while (e != null);}}}