许多散列表实现存在不同的属性,但通常它们提供快速查找,添加和删除。Go提供了一个内置的map 类型,去实现一个哈希表。
声明与初始化
声明 一个 map 类型像这样:
map[keyType]valueType
键(key)的类型可以是任意可比较的类型,值(value)的类型可以是任意类型,甚至是另一个 map 类型。
下面的变量 m 是一个字符串键到int值的映射:
m = make(map[string]int)
make函数将分配并初始化一个散列 map 数据结构,并返回指向它的指针。该数据结构的细节是运行时的实现细节,并不是由语言本身指定的。 在本文中,我们将重点介绍地图的使用,而不是它们的实现。
使用 map
Go 提供了一种大家熟悉的语法去使用 map. 下面语句将设置 字符串 为"route"的key 映射 到值为66 的value:
使用 map
Go 提供了一种大家熟悉的语法去使用 map. 下面语句将设置 字符串 为"route"的key 映射 到值为66 的value:
Go 提供了一种大家熟悉的语法去使用 map. 下面语句将设置 字符串 为"route"的key 映射 到值为66 的value:
m[“route”] = 66
该语句检索key 为 “route” 的值, 并将它赋值给新的变量 i :
i := m[“route”]
如果请求的 key 不存在,我们将返回value Type 的空值。例子中情况下,值类型为 int, 因此值为 0:
j := m[“root”]
// j == 0
使用内置的 len 函数返回map 的长度(多少个已赋值的 key )
n := len(m)
使用内置的delete 函数来删除 map 的一条映射:
delete(m, “route”)
fmt.Println(len(m))
// 0
当你删除一个不存在的 key 时,它不会做执行任何操作( 不会报错)
一个有两个的返回值用来测试 是否 存在该key:
i, ok := m[“route”]
在这个语句中,第一个值 i 被分配到 key 为“route”映射的值。如果该 key 不存在,返回值类型的空值. 第二个值 ok 是一个 bool 类型,如果该 key 存在于map中,则为 true, 如果没有,则为false。
如果你要在不检索值的情况下,测试一个 key , 可以用 下划线 代替第一个变量:
_, ok := m[“route”]
遍历一个map:
for key, value := range m {
fmt.Println("key:", key, "value:", value)
}
利用空值
例如,布尔值的映射可以用作一组集合类的数据结构(请记住,布尔类型的空值是false)。此示例遍历节点的链接列表并打印其值。它使用一个 map 节点指针来检测列表中的循环。
type Node struct {
Next *Node
Value interface{}
}
var first *Node
visited := make(map[*Node]bool)
for n := first; n != nil; n = n.Next {
if vistied[n] {
fmt.Println("cycle detected")
break
}
visited[n] = true
fmt.Println(n.Value)
}
如果 n 已被访问, 则表达式 visited[n] 为真, 如果 n 不存在则为 false. 没有必要使用双值形式来测试 map 中是否存在n; 空值默认已为我们做了。
数据结构
哈希表的数据结构中一些关键的域如下所示:
struct Hmap
{
uint8 B; // 可以容纳2^B个项
uint16 bucketsize; // 每个桶的大小
byte *buckets; // 2^B个Buckets的数组
byte *oldbuckets; // 前一个buckets,只有当正在扩容时才不为空
};
上面给出的结构体只是Hmap的部分的域。需要注意到的是,这里直接使用的是Bucket的数组,而不是Bucket*指针的数组。这意味着,第一个Bucket和后面溢出链的Bucket分配有些不同。第一个Bucket是用的一段连续的内存空间,而后面溢出链的Bucket的空间是使用mallocgc分配的。
这个hash结构使用的是一个可扩展哈希的算法,由hash值mod当前hash表大小决定某一个值属于哪个桶,而hash表大小是2的指数,即上面结构体中的2^B。每次扩容,会增大到上次大小的两倍。结构体中有一个buckets和一个oldbuckets是用来实现增量扩容的。正常情况下直接使用buckets,而oldbuckets为空。如果当前哈希表正在扩容中,则oldbuckets不为空,并且buckets大小是oldbuckets大小的两倍。