Golang：字典操作和约束

字典中key的约束

• 字典（map）存储的不是单一值的集合，而是键值对（key-value）集合。
• Go语言字典类型是一个哈希表的特定实现，在这个实现中，key和value的不同在于，key的类型是受限制的（key不能是函数类型、字典类型和切片类型），value可以是任意类型。
• key的类型必须支持判等操作（== 和 !=），另外，如果key是接口类型，那么实际类型也不能是func，map和slice，否则会panic。
• 如果key的类型是数组类型，还要确保该类型的元素类型不是func、map和slice；如果key的类型是结构体，那么结构体的字段也需要是合法类型。

为什么要对key约束

• 映射第一步是把key转化为哈希值，每个key是由它对应的哈希值代表的，map不会独立存储key，但会独立存储key哈希之后的结果，即使用key的哈希值进行索引，hash -> key-value。
• 比如在map中查找某个key对应的value，首先把key作为参数传给哈希表，哈希表用哈希函数把key转换为哈希值。哈希值通常是一个无符号整数，一个哈希表持有一定数量的桶（bucket），这些哈希桶均匀存储哈希表收纳的键值对。
• 因此哈希表会先用key的哈希值低几位去定位到哈希桶，再去这个哈希桶找这个键。
• 在哈希桶中，通过逐个对比哈希值，查询是否有相等的，如果没有相等的，说明该key不存在于map中，直接返回；
• 如果有哈希值相等的，再用key本身对比，原因是不同key，哈希值可能相同（哈希碰撞），所以key本身必须可以判等。

值为nil的字典操作

• 除了添加键值对，其余操作都不会引起错误；添加键值对会panic。