map
// src/runtime/map.go
// A header for a Go map.
type hmap struct {
// 元素个数，调用 len(map) 时直接返回此值
count int
// 状态标志位
// 例如：flagWriting (写操作), flagIterator (遍历中), flagHashOnWrite (写时复制哈希)
flags uint8
// B 是 bucket 数组大小的对数 (log2)
// bucket 的总数 = 2^B
// 例如 B=3，则有 2^3=8 个 bucket
B uint8
// 溢出 bucket 的数量近似值 (noverflow)
// 用于判断是否需要扩容或缩容
noverflow uint16
// 哈希种子 (hash0)
// 每次创建 map 时随机生成，防止哈希碰撞攻击 (Hash DoS)
hash0 uint32
// 指向 bucket 数组的指针
// 这是一个 unsafe.Pointer，实际指向 []bmap
buckets unsafe.Pointer
// 如果发生了扩容 (growth)，oldbuckets 指向旧的 bucket 数组
// 在扩容迁移完成前，新旧数组共存
oldbuckets unsafe.Pointer
// 迁移进度标记 (nevacuate)
// 表示已经迁移了多少个 old bucket
nevacuate uintptr
// 额外信息指针 (仅在需要时分配)
// 用于存储 overflow buckets 的指针列表等，节省小 map 的空间
extra *mapextra
}
当初始化一个map的时候，Go 会延迟分配，直到你写入第一个元素（key-value）时，才会真正创建这 1 个 bucket（B=0），最多储存8个元素。1*6.5=6.5，当第7个元素(key-value)写入时，就会发生第一次扩容2^B * 2^1 = 2个bucket
1. 存储结构与定位¶
- 桶（bucket）数组
- 哈希计算：
h1 = hash(key1) - 索引计算：
index = h1 & (2^B - 1) // 使用位运算加速取模等价于 h1 % 2^B，但性能更高
2. 哈希冲突/索引重合¶
- 拉链法
- 单个桶最多存8个键值对。
- 如果一个 bucket 满了，会链表连接一个溢出桶。
3. 扩容机制¶
增量扩容¶
- 触发条件：写入数据时判断负载因子是否过高（超过 6.5）。
- 过程：创建一个新的
buckets并逐步迁移数据。 - 目的：渐进式扩容，避免一次性迁移导致 STW (Stop The World) 时间过长。
等量扩容¶
- 触发条件：负载因子不高，但溢出桶过多（当 B ≤ 15 时,如果 溢出桶的总数 ≥ 正常桶的总数，触发。 当 B ≥ 15 时，如果 溢出桶的总数 ≥ 2^15，触发）。
- 目的：解决内存碎片化问题。
4. 核心公式¶
负载因子 (LoadFactor)：
loadfactor = count（键值对数量） / 2^B（桶数量）