1. 程式人生 > 其它 >【Go 語言社群】Golang原始碼解讀之map

【Go 語言社群】Golang原始碼解讀之map

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