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

时间:2021-05-23

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

现在再来分析下,如图:

可能有些人会有疑问,为什么途中的 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() 中:

Chan 类型

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

总结

以上所述是小编给大家介绍的详解 Go 语言中 Map 类型和 Slice 类型的传递,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对网站的支持!

声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。

相关文章