【Go 語言社群】Golang原始碼解讀之map
阿新 • • 發佈:2022-05-04
golang的map實現並不是像c++一樣使用紅黑樹,而是使用了hashmap,用陣列來實現。
詳細的實現後續補充,這裡先做個備忘。
在iterate整個map的時候,使用delete是安全的。這跟c++是不一樣的,c++在delete的時候,會導致整棵樹發生變化,所以不能在迭代的時候刪除元素。
那為什麼golang的map是安全的呢,從原始碼來看,golang的map使用了桶的概念,元素是被hash到桶儲存,每個桶預設是儲存八個kv,而且在頭部有一個uint8 tophash[8]的結構,儲存每個key的高八位(即hash(key) » (64 - 8)),如果該位置未被放置元素,則有一個特殊的標誌Empty。在插入刪除的時候,首先會比較該uint8跟hash(key)是否相等。當然,桶還利用了overflow指標,可以無限的增長,類似連結串列。
所以,for迴圈其實是對每個桶進行迭代,判斷每個uint8位置,刪除操作也並不是實際的memset,而是把對應的tophash的位置置為Empty.因此,在迭代golang的map過程中,使用delete是安全的。
struct Hmap { uintgo count; // # live cells == size of map. Must be first (used by len() builtin) uint32 flags; uint32 hash0; // hash seed uint8 B; // log_2 of # of buckets (can hold up to LOAD * 2^B items) uint8 keysize; // key size in bytes uint8 valuesize; // value size in bytes uint16 bucketsize; // bucket size in bytes byte *buckets; // array of 2^B Buckets. may be nil if count==0. byte *oldbuckets; // previous bucket array of half the size, non-nil only when growing uintptr nevacuate; // progress counter for evacuation (buckets less than this have been evacuated) }; typedef struct Bucket Bucket; struct Bucket { uint8 tophash[BUCKETSIZE]; // top 8 bits of hash of each entry (0 = empty) Bucket *overflow; // overflow bucket, if any byte data[1]; // BUCKETSIZE keys followed by BUCKETSIZE values };