初窥：golang 中 map实现与使用

1. map基础

1.1. key类型限制

在golang中，map的key必须是可以支持==比较的数据类型:

• 可以比较：bool、integer、float¹ 、string、指针、channel² 、interface³ 、array、structure⁴
• 不可比较：slice、map、func

2. map深入

2.1. map的原理

golang的map是一个hash表，利用拉链法解决哈希冲突，map底层数据结构由一个结构体hmap实现：

// A header for a Go map.
type hmap struct {
	// Note: the format of the hmap is also encoded in cmd/compile/internal/reflectdata/reflect.go.
	// Make sure this stays in sync with the compiler's definition.
	count     int // # live cells == size of map.  Must be first (used by len() builtin)
	flags     uint8
	B         uint8  // log_2 of # of buckets (can hold up to loadFactor * 2^B items)
	noverflow uint16 // approximate number of overflow buckets; see incrnoverflow for details
	hash0     uint32 // hash seed

	buckets    unsafe.Pointer // array of 2^B Buckets. may be nil if count==0.
	oldbuckets unsafe.Pointer // previous bucket array of half the size, non-nil only when growing
	nevacuate  uintptr        // progress counter for evacuation (buckets less than this have been evacuated)

	extra *mapextra // optional fields
}

• count: map元素数量
• flags: map当前状态标志

const(
	// ...
	// flags
	iterator     = 1 // there may be an iterator using buckets
	oldIterator  = 2 // there may be an iterator using oldbuckets
	hashWriting  = 4 // a goroutine is writing to the map
	sameSizeGrow = 8 // the current map growth is to a new map of the same size
	// ...
)

• B: bucket 数量的对数，$N(bucket)=2^B$
• noverflow: 出现溢出的 bucket 的数量的估计值
• hash0: 哈希种子
• buckets: bucket 数组指针
• oldbuckets: 旧 bucket 数组指针
• nevacuate: 迁移进度
• extra: …

---

1. float的比较是不安全的 ↩︎

2. channel的比较在于其存储的指针，指向同一处的channel才相等 ↩︎

3. interface比较结果为true的条件是其断言类型相等并且对应类型实体的成员变量值相等 ↩︎

4. 要想structure是可以比较的，其成员变量也必须是可以比较的，结构体比较为true的条件是类型和成员变量值均相等 ↩︎