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 seeduint8   B;            // log_2 of # of buckets (can hold up to LOAD * 2^B items)uint8   keysize;      // key size in bytesuint8   valuesize;    // value size in bytesuint16  bucketsize;   // bucket size in bytesbyte    *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 growinguintptr 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 anybyte   data[1];             // BUCKETSIZE keys followed by BUCKETSIZE values};