1. 程式人生 > >HashMap原始碼實現原理及底層結構

HashMap原始碼實現原理及底層結構

Java為資料結構中的對映定義了一個介面java.util.Map,此介面主要有四個常用的實現類,分別是HashMapHashtable、LinkedHashMapTreeMap。

HashMap:HashMap是陣列+連結串列實現的,它根據鍵的hashCode值儲存資料,大多數情況下可以直接定位到它的值,因而具有很快的訪問速度,但遍歷順序卻是不確定的。 HashMap最多隻允許一條記錄的鍵為null,允許多條記錄的值為null。HashMap非執行緒安全,即任一時刻可以有多個執行緒同時寫HashMap,可能會導致資料的不一致。如果需要滿足執行緒安全,可以用 Collections的synchronizedMap方法使HashMap具有執行緒安全的能力,或者使用ConcurrentHashMap,HashMap使用雜湊表來儲存的。雜湊表為解決衝突,可以採用開放地址法和鏈地址法等來解決問題,Java中HashMap採用了鏈地址法。鏈地址法,就是陣列加連結串列的結合。

HashMap實現原理:HashMap由陣列+連結串列組成的,陣列是HashMap的主體,在每個陣列元素上都一個連結串列結構,當資料被Hash後,得到陣列下標,把資料放在對應下標元素的連結串列上。連結串列則是主要為了解決雜湊衝突而存在的,如果定位到的陣列位置不含連結串列(當前entry的next指向null),那麼對於查詢,新增等操作很快,僅需一次定址即可;如果定位到的陣列包含連結串列,對於新增操作,其時間複雜度依然為O(1),因為最新的Entry會插入連結串列頭部,急需要簡單改變引用鏈即可,而對於查詢操作來講,此時就需要遍歷連結串列,然後通過key物件的equals方法逐一比對查詢。所以,效能考慮,HashMap中的連結串列出現越少,效能才會越好。

Hashtable:Hashtable是遺留類,很多對映的常用功能與HashMap類似,不同的是它承自Dictionary類,並且是執行緒安全的,任一時間只有一個執行緒能寫Hashtable,併發性不如ConcurrentHashMap,因為ConcurrentHashMap引入了分段鎖。Hashtable不建議在新程式碼中使用,不需要執行緒安全的場合可以用HashMap替換,需要執行緒安全的場合可以用ConcurrentHashMap替換。

LinkedHashMap:LinkedHashMap是HashMap的一個子類,它記錄了插入順序,如果需要輸出的順序和輸入時的相同,那麼就選用LinkedHashMap,是Map介面的雜湊表和連結列表實現,具有可預知的迭代順序。此實現提供所有可選的對映操作,並允許使用null值和null鍵。此類不保證對映的順序,特別是它不保證該順序恆久不變,實現與HashMap的不同之處在於,後者維護著一個運行於所有條目的雙重連結列表。此連結列表定義了迭代順序,該迭代順序可以是插入順序或者是訪問順序。
   注意,此實現不是同步的。如果多個執行緒同時訪問連結的雜湊對映,而其中至少一個執行緒從結構上修改了該對映,則它必須保持外部同步。

根據連結串列中元素的順序可以分為:按插入順序的連結串列,和按訪問順序(呼叫get方法)的連結串列。  

預設是按插入順序排序,如果指定按訪問順序排序,那麼呼叫get方法後,會將這次訪問的元素移至連結串列尾部,不斷訪問可以形成按訪問順序排序的連結串列。可以重寫removeEldestEntry方法返回true值指定插入元素時移除最老的元素。先得到的記錄肯定是先插入的,也可以在構造時帶引數,按照訪問次序排序。

LinkedHashMap的實現:

   對於LinkedHashMap而言,它繼承與HashMap、底層使用雜湊表與雙向連結串列來儲存所有元素。其基本操作與父類HashMap相似,它通過重寫父類相關的方法,來實現自己的連結列表特性。

TreeMap:TreeMap實現SortedMap介面,能夠把它儲存的記錄根據鍵排序,預設是按鍵值的升序排序,也可以指定排序的比較器,當用Iterator遍歷TreeMap時,得到的記錄是排過序的。如果使用排序的對映,建議使用TreeMap。在使用TreeMap時,key必須實現Comparable介面或者在構造TreeMap傳入自定義的Comparator,否則會在執行時丟擲java.lang.ClassCastException型別的異常。

hashMap是執行緒不安全的,HashMap是陣列+連結串列,採用雜湊表來儲存的。

HashMap和Hashtable兩者最主要的區別在於Hashtable是執行緒安全,而HashMap則非執行緒安全,HashMap可以使用null作為key,而Hashtable則不允許null作為key,HashMap是對Map介面的實現,HashTable實現了Map介面和Dictionary抽象類。

HashMap和Hashtable的區別

1)兩者最主要的區別在於Hashtable是執行緒安全,而HashMap則非執行緒安全

Hashtable的實現方法裡面都添加了synchronized關鍵字來確保執行緒同步,因此相對而言HashMap效能會高一些,我們平時使用時若無特殊需求建議使用HashMap,在多執行緒環境下若使用HashMap需要使用Collections.synchronizedMap()方法來獲取一個執行緒安全的集合(Collections.synchronizedMap()實現原理是Collections定義了一個SynchronizedMap的內部類,這個類實現了Map介面,在呼叫方法時使用synchronized來保證執行緒同步,當然了實際上操作的還是我們傳入的HashMap例項,簡單的說就是Collections.synchronizedMap()方法幫我們在操作HashMap時自動添加了synchronized來實現執行緒同步,類似的其它Collections.synchronizedXX方法也是類似原理)

2)HashMap可以使用null作為key,而Hashtable則不允許null作為key

雖說HashMap支援null值作為key,不過建議還是儘量避免這樣使用,因為一旦不小心使用了,若因此引發一些問題,排查起來很是費事

HashMap以null作為key時,總是儲存在table陣列的第一個節點上

3)HashMap是對Map介面的實現,Hashtable實現了Map介面和Dictionary抽象類

4)HashMap的初始容量為16,Hashtable初始容量為11,兩者的填充因子預設都是0.75

HashMap擴容時是當前容量翻倍即:capacity*2,Hashtable擴容時是容量翻倍+1即:capacity*2+1

5)兩者計算hash的方法不同

Hashtable計算hash是直接使用key的hashcode對table陣列的長度直接進行取模

int hash = key.hashCode();

int index = (hash & 0x7FFFFFFF) % tab.length;

HashMap計算hash對key的hashcode進行了二次hash,以獲得更好的雜湊值,然後對table陣列長度取摸

static int hash(int h) {

// This function ensures that hashCodes that differ only by

// constant multiples at each bit position have a bounded

// number of collisions (approximately 8 at default load factor).

h ^= (h >>> 20) ^ (h >>> 12);

return h ^ (h >>> 7) ^ (h >>> 4);

}

static int indexFor(int h, int length) {

return h & (length-1);
}

HashMapHashtable的底層實現都是陣列+連結串列結構實現

HashSet和HashMap、Hashtable的區別

除開HashMap和Hashtable外,還有一個hash集合HashSet,有所區別的是HashSet不是key value結構,僅僅是儲存不重複的元素,相當於簡化版的HashMap,只是包含HashMap中的key而已。

通過檢視原始碼也證實了這一點,HashSet內部就是使用HashMap實現,只不過HashSet裡面的HashMap所有的value都是同一個Object而已,因此HashSet也是非執行緒安全的,至於HashSet和Hashtable的區別,HashSet就是個簡化的HashMap的,所以你懂的。

下面是HashSet幾個主要方法的實現

private transient HashMap<E,Object> map;
private static final Object PRESENT = new Object();

public HashSet() {

    map = new HashMap<E,Object>();

}

public boolean contains(Object o) {

    return map.containsKey(o);
}

public boolean add(E e) {

    return map.put(e, PRESENT)==null;
}

public boolean add(E e) {

    return map.put(e, PRESENT)==null;
}

public boolean remove(Object o) {

    return map.remove(o)==PRESENT;
}



public void clear() {

    map.clear();
}

HashMap和Hashtable的實現原理

HashMap和Hashtable的底層實現都是陣列+連結串列結構實現的,這點上完全一致。

新增、刪除、獲取元素時都是先計算hash,根據hash和table.length計算index也就是table陣列的下標,然後進行相應操作,下面以HashMap為例說明下它的簡單實現

/**

 * HashMap的預設初始容量 必須為2的n次冪

 */

static final int DEFAULT_INITIAL_CAPACITY = 16;

/**

 * HashMap的最大容量,可以認為是int的最大值    

 */

static final int MAXIMUM_CAPACITY = 1 << 30;

/**

 * 預設的載入因子

 */

static final float DEFAULT_LOAD_FACTOR = 0.75f;

/**

 * HashMap用來儲存資料的陣列

 */
transient Entry[] table;



HashMap的建立

HashMap預設初始化時會建立一個預設容量為16的Entry陣列,預設載入因子為0.75,同時設定臨界值為16*0.75。

/**

 * Constructs an empty <tt>HashMap</tt> with the default initial capacity

 * (16) and the default load factor (0.75).

 */

public HashMap() {

this.loadFactor = DEFAULT_LOAD_FACTOR;

threshold = (int)(DEFAULT_INITIAL_CAPACITY * DEFAULT_LOAD_FACTOR);

table = new Entry[DEFAULT_INITIAL_CAPACITY];

init();

}

put方法

HashMap會對null值key進行特殊處理,總是放到table[0]位置

put過程是先計算hash然後通過hash與table.length取摸計算index值,然後將key放到table[index]位置,當table[index]已存在其它元素時,會在table[index]位置形成一個連結串列,將新新增的元素放在table[index],原來的元素通過Entry的next進行連結,這樣以連結串列形式解決hash衝突問題,當元素數量達到臨界值(capactiy*factor)時,則進行擴容,是table陣列長度變為table.length*2

public V put(K key, V value) {
if (key == null)
return putForNullKey(value); //處理null值
int hash = hash(key.hashCode());//計算hash
int i = indexFor(hash, table.length);//計算在陣列中的儲存位置
//遍歷table[i]位置的連結串列,查詢相同的key,若找到則使用新的value替換掉原來的oldValue並返回oldValue
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))) {
V oldValue = e.value;
e.value = value;
e.recordAccess(this);
return oldValue;
}
}
//若沒有在table[i]位置找到相同的key,則新增key到table[i]位置,新的元素總是在table[i]位置的第一個元素,原來的元素後移
modCount++;
addEntry(hash, key, value, i);
return null;
}

void addEntry(int hash, K key, V value, int bucketIndex) {
//新增key到table[bucketIndex]位置,新的元素總是在table[bucketIndex]的第一個元素,原來的元素後移
Entry<K,V> e = table[bucketIndex];
table[bucketIndex] = new Entry<K,V>(hash, key, value, e);
//判斷元素個數是否達到了臨界值,若已達到臨界值則擴容,table長度翻倍
if (size++ >= threshold)
resize(2 * table.length);
}

get方法

同樣當key為null時會進行特殊處理,在table[0]的連結串列上查詢key為null的元素

get的過程是先計算hash然後通過hash與table.length取摸計算index值,然後遍歷table[index]上的連結串列,直到找到key,然後返回

public V get(Object key) {
if (key == null)
return getForNullKey();//處理null值
int hash = hash(key.hashCode());//計算hash
//在table[index]遍歷查詢key,若找到則返回value,找不到返回null
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;

}

remove方法

remove方法和put get類似,計算hash,計算index,然後遍歷查詢,將找到的元素從table[index]連結串列移除

public V remove(Object key) {
Entry<K,V> e = removeEntryForKey(key);
return (e == null ? null : e.value);
}

final Entry<K,V> removeEntryForKey(Object key) {
int hash = (key == null) ? 0 : hash(key.hashCode());
int i = indexFor(hash, table.length);
Entry<K,V> prev = table[i];
Entry<K,V> e = prev;
while (e != null) {
Entry<K,V> next = e.next;
Object k;

if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k)))) {
modCount++;
size--;
if (prev == e)
table[i] = next;
else
prev.next = next;
e.recordRemoval(this);
return e;
}
prev = e;
e = next;
}
return e;
}

resize方法

resize方法在hashmap中並沒有公開,這個方法實現了非常重要的hashmap擴容,具體過程為:先建立一個容量為table.length*2的新table,修改臨界值,然後把table裡面元素計算hash值並使用hash與table.length*2重新計算index放入到新的table裡面。

這裡需要注意下是用每個元素的hash全部重新計算index,而不是簡單的把原table對應index位置元素簡單的移動到新table對應位置

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);
}

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;
//重新對每個元素計算index
int i = indexFor(e.hash, newCapacity);
e.next = newTable[i];
newTable[i] = e;
e = next;
} while (e != null);
}
}
}

clear()方法

clear方法非常簡單,就是遍歷table然後把每個位置置為null,同時修改元素個數為0,需要注意的是clear方法只會清楚裡面的元素,並不會重置capactiy。

public void clear() {
modCount++;
Entry[] tab = table;
for (int i = 0; i < tab.length; i++)
tab[i] = null;
size = 0;
}

containsKey和containsValue

containsKey方法是先計算hash然後使用hash和table.length取摸得到index值,遍歷table[index]元素查詢是否包含key相同的值

public boolean containsKey(Object key) {
        return getEntry(key) != null;
    }

final Entry<K,V> getEntry(Object key) {
int hash = (key == null) ? 0 : 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 != null && key.equals(k))))
return e;
}
return null;
}

containsValue方法就比較粗暴了,就是直接遍歷所有元素直到找到value,由此可見HashMapcontainsValue方法本質上和普通陣列和list的contains方法沒什麼區別,你別指望它會像containsKey那麼高效

public boolean containsValue(Object value) {
if (value == null)
return containsNullValue();
Entry[] tab = table;
for (int i = 0; i < tab.length ; i++)
for (Entry e = tab[i] ; e != null ; e = e.next)
if (value.equals(e.value))
return true;
return false;
}

hash和indexFor

indexFor中的h & (length-1)就相當於h%length,用於計算index也就是在table陣列中的下標

hash方法是對hashcode進行二次雜湊,以獲得更好的雜湊值

為了更好理解這裡我們可以把這兩個方法簡化為 int index= key.hashCode()/table.length,以put中的方法為例可以這樣替換

int hash = hash(key.hashCode());//計算hash
int i = indexFor(hash, table.length);//計算在陣列中的儲存位置
//上面這兩行可以這樣簡化
int i = key.key.hashCode()%table.length;
static int hash(int h) {
h ^= (h >>> 20) ^ (h >>> 12);
return h ^ (h >>> 7) ^ (h >>> 4);
}

static int indexFor(int h, int length) {
return h & (length-1);
}