• 8.1 声明、初始化和 make
    • 8.1.1 概念
    • 8.1.2 map 容量
    • 8.1.3 用切片作为 map 的值
    • 链接

    8.1 声明、初始化和 make

    8.1.1 概念

    map 是引用类型，可以使用如下声明：

    1. var map1 map[keytype]valuetype
    2. var map1 map[string]int

    （[keytype] 和 valuetype 之间允许有空格，但是 gofmt 移除了空格）

    在声明的时候不需要知道 map 的长度，map 是可以动态增长的。

    未初始化的 map 的值是 nil。

    key 可以是任意可以用 == 或者 != 操作符比较的类型，比如 string、int、float。所以数组、切片和结构体不能作为 key (译者注：含有数组切片的结构体不能作为 key，只包含内建类型的 struct 是可以作为 key 的），但是指针和接口类型可以。如果要用结构体作为 key 可以提供 Key() 和 Hash() 方法，这样可以通过结构体的域计算出唯一的数字或者字符串的 key。

    value 可以是任意类型的；通过使用空接口类型（详见第 11.9 节），我们可以存储任意值，但是使用这种类型作为值时需要先做一次类型断言（详见第 11.3 节）。

    map 传递给函数的代价很小：在 32 位机器上占 4 个字节，64 位机器上占 8 个字节，无论实际上存储了多少数据。通过 key 在 map 中寻找值是很快的，比线性查找快得多，但是仍然比从数组和切片的索引中直接读取要慢 100 倍；所以如果你很在乎性能的话还是建议用切片来解决问题。

    map 也可以用函数作为自己的值，这样就可以用来做分支结构（详见第 5 章）：key 用来选择要执行的函数。

    如果 key1 是 map1 的key，那么 map1[key1] 就是对应 key1 的值，就如同数组索引符号一样（数组可以视为一种简单形式的 map，key 是从 0 开始的整数）。

    key1 对应的值可以通过赋值符号来设置为 val1：map1[key1] = val1。

    令 v := map1[key1] 可以将 key1 对应的值赋值为 v；如果 map 中没有 key1 存在，那么 v 将被赋值为 map1 的值类型的空值。

    常用的 len(map1) 方法可以获得 map 中的 pair 数目，这个数目是可以伸缩的，因为 map-pairs 在运行时可以动态添加和删除。

    示例 8.1 make_maps.go

    1. package main
    2. import "fmt"
    4. func main() {
    5.     var mapLit map[string]int
    6.     //var mapCreated map[string]float32
    7.     var mapAssigned map[string]int
    9.     mapLit = map[string]int{"one": 1, "two": 2}
    10.     mapCreated := make(map[string]float32)
    11.     mapAssigned = mapLit
    13.     mapCreated["key1"] = 4.5
    14.     mapCreated["key2"] = 3.14159
    15.     mapAssigned["two"] = 3
    17.     fmt.Printf("Map literal at \"one\" is: %d\n", mapLit["one"])
    18.     fmt.Printf("Map created at \"key2\" is: %f\n", mapCreated["key2"])
    19.     fmt.Printf("Map assigned at \"two\" is: %d\n", mapLit["two"])
    20.     fmt.Printf("Map literal at \"ten\" is: %d\n", mapLit["ten"])
    21. }

    输出结果：

    1. Map literal at "one" is: 1
    2. Map created at "key2" is: 3.14159
    3. Map assigned at "two" is: 3
    4. Mpa literal at "ten" is: 0

    mapLit 说明了 map literals 的使用方法： map 可以用 {key1: val1, key2: val2} 的描述方法来初始化，就像数组和结构体一样。

    map 是 引用类型 的： 内存用 make 方法来分配。

    map 的初始化：var map1 = make(map[keytype]valuetype)。

    或者简写为：map1 := make(map[keytype]valuetype)。

    上面例子中的 mapCreated 就是用这种方式创建的：mapCreated := make(map[string]float32)。

    相当于：mapCreated := map[string]float32{}。

    mapAssigned 也是 mapList 的引用，对 mapAssigned 的修改也会影响到 mapLit 的值。

    不要使用 new，永远用 make 来构造 map

    注意 如果你错误的使用 new() 分配了一个引用对象，你会获得一个空引用的指针，相当于声明了一个未初始化的变量并且取了它的地址：

    1. mapCreated := new(map[string]float32)

    接下来当我们调用：mapCreated["key1"] = 4.5 的时候，编译器会报错：

    1. invalid operation: mapCreated["key1"] (index of type *map[string]float32).

    为了说明值可以是任意类型的，这里给出了一个使用 func() int 作为值的 map：

    示例 8.2 map_func.go

    1. package main
    2. import "fmt"
    4. func main() {
    5.     mf := map[int]func() int{
    6.         1: func() int { return 10 },
    7.         2: func() int { return 20 },
    8.         5: func() int { return 50 },
    9.     }
    10.     fmt.Println(mf)
    11. }

    输出结果为：map[1:0x10903be0 5:0x10903ba0 2:0x10903bc0]: 整形都被映射到函数地址。

    8.1.2 map 容量

    和数组不同，map 可以根据新增的 key-value 对动态的伸缩，因此它不存在固定长度或者最大限制。但是你也可以选择标明 map 的初始容量 capacity，就像这样：make(map[keytype]valuetype, cap)。例如：

    1. map2 := make(map[string]float32, 100)

    当 map 增长到容量上限的时候，如果再增加新的 key-value 对，map 的大小会自动加 1。所以出于性能的考虑，对于大的 map 或者会快速扩张的 map，即使只是大概知道容量，也最好先标明。

    这里有一个 map 的具体例子，即将音阶和对应的音频映射起来：

    1. noteFrequency := map[string]float32 {
    2.     "C0": 16.35, "D0": 18.35, "E0": 20.60, "F0": 21.83,
    3.     "G0": 24.50, "A0": 27.50, "B0": 30.87, "A4": 440}

    8.1.3 用切片作为 map 的值

    既然一个 key 只能对应一个 value，而 value 又是一个原始类型，那么如果一个 key 要对应多个值怎么办？例如，当我们要处理unix机器上的所有进程，以父进程（pid 为整形）作为 key，所有的子进程（以所有子进程的 pid 组成的切片）作为 value。通过将 value 定义为 []int 类型或者其他类型的切片，就可以优雅的解决这个问题。

    这里有一些定义这种 map 的例子：

    1. mp1 := make(map[int][]int)
    2. mp2 := make(map[int]*[]int)

    链接

    • 目录
    • 上一节：Map
    • 下一节：测试键值对是否存在及删除元素