关于 Go 中 Map 类型和 Slice 类型的传递

Map 类型

先看例子 m1:

func main() {
    m := make(map[int]int)
    mdMap(m)
    fmt.Println(m)
}

func mdMap(m map[int]int) {
    m[1] = 100
    m[2] = 200
}复制代码

结果是

map[2:200 1:100]复制代码

咱们再修改以下 m2：

func main() {
    var m map[int]int
    mdMap(m)
    fmt.Println(m)
}

func mdMap(m map[int]int) {
    m = make(map[int]int)
    m[1] = 100
    m[2] = 200
}复制代码

发现结果变成了

map[]复制代码

要理解这个问题，须要明确在 Go 中不存在引用传递，全部的参数传递都是值传递。

如今再来分析下，如图:

m1 & m2 图解

可能有些人会有疑问，为何途中的 m 像是一个指针呢。查看官方的 Blog 中有写：

Map types are reference types, like pointers or slices, ...

这边说 Map 类型是引用类型，像是指针或是 Slice（切片）。因此咱们基本上能够把它看成是指针来看待（注意，只是近似，或者说其中含有指针，其内部仍然含有其余信息，这里只是为了便于理解），只不过这个指针有些特殊罢了。

m1 中，当调用 mdMap 方法时从新开辟了内存，将 m 的内容，也就是 map 的地址拷贝入了 m'，因此此时当操做 map 时，m 和 m' 所指向的内存为同一块，就致使 m 的 map 发生了改变。

而在 m2 中，在调用 mdMap 以前，m 并未分配内存，也就是说并未指向任何的 map 内存区域。从未致使 m' 的 map 修改不能反馈到 m 上。

Slice 类型

如今看一下 Slice。

s1:

func main() {
    s := make([]int, 2)
    mdSlice(s)
    fmt.Println(s)
}

func mdSlice(s []int) {
    s[0] = 1
    s[1] = 2
}复制代码

s2:

func main() {
    var s []int
    mdSlice(s)
    fmt.Println(s)
}

func mdSlice(s []int) {
    s = make([]int, 2)
    s[0] = 1
    s[1] = 2
}复制代码

不出所料：

s1 结果为

[1 2]复制代码

s2 为

[]复制代码

由于正如官方所说，Slice 类型与 Map 类型同样，相似于指针，Slice 中仍然含有长度等信息。

修改一下 s1，变成 s3：

func main() {
    s := make([]int, 2)
    mdSlice(s)
    fmt.Println(s)
}

func mdSlice(s []int) {
    s = append(s, 1)
    s = append(s, 2)
}复制代码

再也不修改 slice 原先的两个元素，而加上另外两个，结果为:

[0 0]复制代码

发现修改并无反馈到原先的 slice 上。

这里咱们须要把 slice 想象为特殊的指针，其已经保存了所指向内存区域长度，因此 append 以后的内存并不会反映到 main() 中：

s1 & s3 图解

那如何才能反映到 main() 中呢？没错，使用指向 Slice 的指针。

func mdSlice(s *[]int) {
    *s = append(*s, 1)
    *s = append(*s, 2)
}复制代码

内存如图所示：

s3 修改图解

注意本文中内存区域分配是否连续彻底随机，不影响程序，只是为了图解清晰。

Chan 类型

Go 中 make 函数能建立的数据类型就 3 类：Slice, Map, Chan。不比多说，相比读者已经能想象 Chan 类型的内存模型了。的确如此，读者能够本身尝试，这边就不过多赘述了。（能够统统过 == nil 的比较来进行测试）。