c++ map 修改value_go 语言映射(map)要点总结

本文转载于 SegmentFault 社区

作者：lioney

---

No.1

定义

•  Go语言中映射是一种字典类型的数据结构，类似于 c++ 和 java 中的 hashmap,用于存储一系列无序的键值对。•  映射是基于键来存储值。映射的优势是能够基于键快速索引数据。键就像索引一样，指向与该键关联的值，在内存中键值对的关系如下图所示。 •  和切片类似，映射维护的是底层数组的指针，属于引用类型。

No.2

内部实现

•  映射是一个集合，可以使用类似处理数组和切片的方式迭代映射中的元素。但映射是无序的，不能对键值对进行排序。即使按顺序保存，每次迭代的时候顺序也不一样。无序的原因是映射的实现使用了散列表。•  这个散列表是由 hmap 实现的，hmap 中维护着存储键值对的 bucket 数组，hmap 和 bucket 数组的关系如下图所示。•  bucket 是一个链表结构，每一个 bucket 后面连接的 bucket 表示 bucket 容量不够用时进行扩容添加新的 bucket，bucket 的数据结构如下图所示。 •  说到散列表，一定要有散列函数，散列函数是散列表中存取元素的关键。Go 语言的映射中也有这样的散列函数(或叫哈希函数)，但是 Go 语言把散列函数计算出的散列值可以说是用到了极致。它把散列值分成了高 8 位和低 8 位两部分，如下图所示。•  散列值的作用低 8 位散列值：用于寻找当前 key 位于哪个 bucket;高 8 位散列值：用于寻找当前 key 位于 bucket 中的哪个位置。•  映射的存取过程：在存储，删除或者查找键值对的时候，都要先将指定的键传给散列函数得到一个散列值，然后根据散列值的低 8 位选中对应的桶，最终再根据桶中的索引(散列值的高 8 位)将键值对分布到这个桶里。随着映射中存储的增加，索引分布越均匀，访问键值对的速度就越快。因此，映射通过设置合理数量的桶平衡键值对的分布。整个过程如下图所示。•  键值对的存储方式：键值对的存储不是以 key1,value1,key2,value2 这样的形式存储，主要是为了在 key 和 value 所占字节长度不同的时候，可以消除 padding 带来的空间浪费。•  映射的扩容：当散列表的容量需要增长的时候，Go 语言会将 bucket 数组的容量扩充一倍，产生新的 bucket 数组，并将旧数据迁移到新数组。•  判断是否扩充的条件，就是散列表的加载因子，加载因子是一个阈值，表示散列表的空间利用率，Go 语言 map 中的加载因子计算公式为：map 长度 /2^B,阈值是 6.5，B 表示已扩容的次数。•  映射中数据的删除如果 key 是指针类型的，直接将其置空，等待 GC 清除；如果是值类型的，则清除相关内存；对 value 做同样的操作；把 key 对应的索引置为空。

No.3

映射的创建

(1) 使用字面量创建

    // 创建一个键为字符串类型，值为整形的map
    m1 := map[string]int{"last":2019, "now":2020}
// 获取map中的元素
    fmt.Println(m1["last"])  // 2019
    fmt.Println(m1["now"])   // 2020

// 使用字面量创建一个空map
    m2 := map[string]string{}
    fmt.Println(m2)  // map[]

映射的键的类型可以是内置类型，也可以是结构类型，但这个类型必须可以使用==运算符做比较。切片，函数以及包含切片的结构类型由于具有引用语义，不能作为映射的键，否则会造成编译错误。

(2) 使用内置的 make 函数来创建

 

    m1 := make(map[int] string) // map的容量使用默认值
    m1[1] = "lioney"
    m2 := make(map[int] string, 10) // map的容量使用给定值
    m2[1] = "carlos"
    fmt.Println(m1[1])  // lioney
    fmt.Println(m2[1])  // carlos

No.4

映射支持的操作

•  map 中单个键值的访问格式为 mapName[key],可以用于获取或更新 map 中的元素•  可以使用 for range 遍历 map 中的元素，不保证每次迭代顺序一致•  删除 map 中的某个键值对，使用语法 delete(mapName, key)•  使用内置函数 len() 获取 map 中保存的键值对数量，map 中不支持 cap() 函数

    package main

import "fmt"

func main() {
// 创建一个空的map
        m1 := make(map[int] string)
// 向map中添加元素
        m1[1] = "lioney"
        m1[2] = "carlos"
        m1[3] = "tom"
// 从map中删除键为3的元素
delete(m1, 3)
// len()表示map中键值对的数量
        fmt.Println("len=", len(m1))
// 遍历map
for k, v := range m1 {
            fmt.Println("key=", k, "value=", v)
        }
    }

上述代码编译后运行结果如下：

 len= 2
    key= 2 value= carlos
    key= 1 value= lioney

    Process finished with exit code 0

No.5

映射的使用要点

(1) 对 nil 映射赋值会产生运行时错误

和切片类似，映射在使用时必须对其底层数组进行初始化，要么使用 make 进行初始化,要么使用字面量初始化，如果只是简单地声明了一个 map，而没有进行初始化，就是 nil 映射，是不能对其赋值的，请看下面代码：

    // 声明一个map
var colors map[string]string

// 将red加入colors
    colors["red"] = "#da137"  // panic: assignment to entry in nil map

可以做如下修改

 // 声明一个map
var colors map[string]string
// 对map进行初始化
    colors = make(map[string]string)

// 将red加入colors
    colors["red"] = "#da137" // no panic or error

也可以做如下修改：

 // 使用字面量创建要给空map
    colors := map[string]string{}

// 将red加入colors
    colors["red"] = "#da137"  // no panic or error

强烈推荐使用第二种，因为用字面量创建 map 比较简洁而且比较快

(2) 从映射获取值并判断键是否存在

在 Go 语言里，通过键来索引值时，即便这个键不存在也会返回一个值，有时候我们需要判断获取到的值是否时默认的零值，代码如下所示。

 // 使用字面量创建一个空map
    colors := map[string]string{}

// 将red加入colors
    colors["red"] = "#da137" 

// 获取blue对应的值并判断是否为零值
value1, exists := colors["blue"]
if exists {
        fmt.Println(value1)
    }

// 也可以通过值直接判断是否为零值
value2 := colors["blue"]
if value2 != "" {
        fmt.Println(value2)
    }

(3) 在函数间传递映射

    package main

import (
"fmt"
"unsafe"
    )

func foo(m map[string]string) {
// 打印参数的大小
        fmt.Println("参数大小", unsafe.Sizeof(m))
// 删除键为green的元素
delete(m, "green")
    }

func main() {
// 使用字面量创建一个空map
        colors := map[string]string{}

// 将red加入colors
        colors["red"] = "#da137"
        colors["coral"] = "#ff7f50"
        colors["green"] = "#228b22"
// 调用foo函数
        foo(colors)
// 遍历打印map
for k, v := range colors {
            fmt.Println("key=", k, "value=", v)
        }
    }

编译并运行以上代码，结果如下：

 参数大小 8
    key= red value= #da137
    key= coral value= #ff7f50

    Process finished with exit code 0

映射是引用类型的数据结构，在函数间传递映射的时候，不会拷贝映射底层的数据，从上面代码的运行结果可以看出，只传递了一个 8 字节大小的指针，实际上，map 类型就是一个指针类型，函数对映射的操作都是通过这个指针间接进行的，因此对映射中数据的修改，其它引用到该映射的地方也能感知到。

(4) 修改映射中的结构体类型，必须整体赋值(!!!)

    package main

import "fmt"

type User struct {
        name string
        age  int
    }

func main() {
        m := make(map[int]User)
        user := User{
            name: "lioney",
            age:  18,
        }
// 将user加入到map中
        m[1] = user

// 修改user
// 不能通过map引用直接修改！！！
//m[1].age = 2 // error: cannot assign to struct field m[1].age in map

// 必须整体替换
        user.age = 2
        m[1] = user
        fmt.Println(m)
    }

(5) 并发问题

Go 语言内置的 map 不是并发安全的，若是在并发场景下以共享的形式访问 map 中的元素，必须加锁，要想使用并发安全的 map，可以使用 Go 语言标准库中 sync 包下提供的 map。

---

参考文献:

Ryu_Gou：解剖Go语言map底层实现William Kennedy 等《Go 语言实战》第四章相关内容李文塔《Go 语言核心编程》第一章相关内容

---

- END -