``map``是Go語言中基礎的資料結構,在日常的使用中經常被用到。但是它底層是如何?的呢?Golang中``map``的底層實現是一個散列表,因此實現``map``的過程實際上就是實現散表的過程。在這個散列表中,主要出現的結構體有兩個,一個叫``hmap``(``a header for a go map``),一個叫``bmap``(``a bucket for a Go map``,通常叫其``bucket``)。這兩種結構的樣子分別如下所示: hmap:<img src="https://static.studygolang.com/180826/09d0c94fc2946bba795ecc2ae0c97ac2.png" width="36%"/>圖中有很多欄位,但是便於理解``map``的架構,你只需要關心的只有一個,就是標紅的欄位:buckets數組。Golang的map中用於儲存的結構是bucket數組。而bucket(即``bmap``)的結構是怎樣的呢?bucket:<img src="https://static.studygolang.com/180826/0b9839a2b09116a7f257dc46ae8fb23e.png" width="36%"/>相比於``hmap``,bucket的結構顯得簡單一些,標紅的欄位依然是“核心”,我們使用的``map``中的key和value就儲存在這裡。“高位雜湊值”數組記錄的是當前bucket中key相關的“索引”,稍後會詳細敘述。還有一個欄位是一個指向擴容後的bucket的指標,使得bucket會形成一個鏈表結構。例如:<img src="https://static.studygolang.com/180826/28eb2a049e7e261951795af367f01500.png" width="36%"/>由此看出``hmap``和``bucket``的關係是這樣的:![這裡寫圖片描述](https://static.studygolang.com/180826/0743574cda5e2853f82a2c6abce4c2cb.png)而bucket又是一個鏈表,所以,整體的結構應該是這樣的:![這裡寫圖片描述](https://static.studygolang.com/180826/73c611ff75e39b50cabc3649bad9cdb7.png)雜湊表的特點是會有一個雜湊函數,對你傳來的key進行雜湊運算,得到唯一的值,一般情況下都是一個數值。Golang的``map``中也有這麼一個雜湊函數,也會算出唯一的值,對於這個值的使用,Golang也是很有意思。Golang把求得的值按照用途一分為二:高位和低位。![這裡寫圖片描述](https://static.studygolang.com/180826/f78e6681a0c9baf8aa677290443b4b7d.png),藍色為高位,紅色為低位。然後低位用於尋找當前key屬於``hmap``中的哪個bucket,而高位用於尋找bucket中的哪個key。上文中提到:bucket中有個屬性欄位是“高位雜湊值”數組,這裡存的就是藍色的高位值,用來聲明當前bucket中有哪些“key”,便於搜尋尋找。需要特別指出的一點是:我們``map``中的key/value值都是存到同一個數組中的。數組中的順序是這樣的:![這裡寫圖片描述](https://static.studygolang.com/180826/a662bfc57e0b63211f1f2783129969c6.png)並不是key0/value0/key1/value1的形式,這樣做的好處是:在key和value的長度不同的時候,可以消除padding帶來的空間浪費。現在,我們可以得到Go語言``map``的整個的結構圖了:![這裡寫圖片描述](https://static.studygolang.com/180826/7d806b2a30f30d85e3ee65fb25929263.png)346 次點擊