Go基础编程 - 07 - 字典（map）及其约束-CSDN博客

本文链接：https://blog.csdn.net/iuhart/article/details/139657808

字典（map）

下一篇：结构体

map 是一种无序的基于 key-value 的数据结构，Go 语言中的 map 是引用类型，必须初始化才能使用。

map 定义：map[keyType]valueType  （键值对 ）， 默认值为nil。

1. 声明

    m := make(map[string]int, 8)
    m["a"] = 1
    m["b"] = 2
    fmt.Println(m)

2. nil 值字典

    var m map[int]int
    // 在一个值为nil的map上做任何操作都不会引起错误；
    delete(m, 2)

    // 但当我们试图在一个值为nil的map上添加键值对时，运行会产生panic
    //m1[3] = 100   // panic: assignment to entry in nil map
    fmt.Println(m)

3. 判断某个键是否存在

v, ok := map[key] 若存在key，则ok为true，v为对应值；不存在ok为false，v为类型零值。

    m1 := map[string]int{"a": 10, "b": 20}

    if v, ok := m1["a"]; ok {
        fmt.Println("m中a键的值为：", v)
    }

4. 遍历

使用 for range遍历map
map是无序的，遍历时的元素顺序与添加键值对的顺序无关。

package demo

import (
    "fmt"
    "sort"
)

func main() {

    m := map[string]int{"b": 02, "f": 06, "a": 01, "d": 04, "m": 12}

    // 遍历（无序）
    for key, v := range m {
        fmt.Printf("%s = %d \n", key, v)
    }
    // 或只获取key
    for key := range m {
        fmt.Printf("%s = %d \n", key, m[key])
    }

    // 有序遍历，把map的键存入切片，对切片排序以实现对map的顺序遍历。
    var s = make([]string, 0, len(m)*2)
    for k := range  m{
        fmt.Println(k)
        s = append(s, k)
    }
    sort.Strings(s)
    for _, sk := range s {
        fmt.Printf("%s = %02d \n", sk, m[sk])
    }
}

5. delete() 删除键值对

    // delete(map, key)
    m := map[string]int{"b": 02, "f": 06, "a": 01, "d": 04, "m": 12}
    delete(m, "d")
    fmt.Println(m)

6. 约束

Go语言字典（map）类型，其实是一个哈希表（hash table）的特定实现，键的类型是受限的，而元素可以是任意类型。

Go 语言中 map 的键类型不可以是函数类型、map类型和slice类型。

解析：

Go语言规范中，键类型的值必须要支持判等操作（==和!=）, 函数类型、map类型和slice类型的值不支持判等操作，所以字典的键类型不能是这些类型。
如果键的类型是接口类型的，那么键的实际类型也不能是以上三种类型，否则运行时会引发panic。
如果键的类型是数组类型，也要确保数组元素的类型不是以上三种类型。

7. 扩展

1. 为什么健值的类型必须支持判等操作？

解析：

我们要在哈希表中查找与某个键值对应的那个元素值，那么我们需要先把键值作为参数传给这个哈希表。哈希表会先用哈希函数（hash function）把键值转换为哈希值。哈希值通常是一个无符号的整数。一个哈希表会持有一定数量的桶（bucket），我们也可以叫它哈希桶，这些哈希桶会均匀地储存其所属哈希表收纳的键 - 元素对。

因此，哈希表会先用这个键哈希值的低几位去定位到一个哈希桶，然后再去这个哈希桶中，查找这个键。由于键 - 元素对总是被捆绑在一起存储的，所以一旦找到了键，就一定能找到对应的元素值。随后，哈希表就会把相应的元素值作为结果返回。

只要这个键 - 元素对存在哈希表中就一定会被查找到，因为哈希表增、改、删键 - 元素对时的映射过程，与前文所述如出一辙。

Go语言的字典中，每个键的值都是由它的哈希值代表的。也就是说，字典不会独立存储任何键的值，但会独立存储它的哈希值。

Go 语言会用被查找键的哈希值与这些哈希值逐个对比，看看是否有相等的。如果一个相等的都没有，那么就说明这个桶中没有要查找的键值，这时 Go 语言就会立刻返回结果了。如果有相等的，那就再用键值本身去对比一次。为什么还要对比？原因是，不同值的哈希值是可能相同的。这有个术语，叫做“哈希碰撞”。所以，即使哈希值一样，键值也不一定一样。如果键类型的值之间无法判断相等，那么此时这个映射的过程就没办法继续下去了。最后，只有键的哈希值和键值都相等，才能说明查找到了匹配的键 - 元素对。

2. 应该优先考虑哪些类型作为字典的键类型？

解析：求哈希和判等操作的速度越快，对应的类型就越适合作为键类型。