欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

详解 Go 语言中 Map 类型和 Slice 类型的传递

程序员文章站 2022-06-24 09:05:34
map 类型 先看例子 m1: func main() { m := make(map[int]int) mdmap(m) fmt.println(...

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 中不存在引用传递,所有的参数传递都是值传递。

现在再来分析下,如图:

详解 Go 语言中 Map 类型和 Slice 类型的传递

可能有些人会有疑问,为什么途中的 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 类型一样,类似于指针,这也是为什么这两种类型从来不需要用 * 进行修饰的原因。

修改一下 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() 中:

详解 Go 语言中 Map 类型和 Slice 类型的传递

chan 类型

go 中 make 函数能创建的数据类型就 3 类:slice, map, chan。不比多说,相比读者已经能想象 chan 类型的内存模型了。的确如此,读者可以自己尝试,这边就不过多赘述了。(可以通通过 == nil 的比较来进行测试)。

总结

以上所述是小编给大家介绍的详解 go 语言中 map 类型和 slice 类型的传递,希望对大家有所帮助