关于 Go 中 Map 类型和 Slice 类型的传递
Map 类型
先看例子 m1:
|
1
2
3
4
5
6
7
8
9
10
|
func main() { m := make(map[int]int) mdMap(m) fmt.Println(m)}func mdMap(m map[int]int) { m[1] = 100 m[2] = 200} |
结果是
|
1
|
map[2:200 1:100] |
我们再修改如下 m2：
|
1
2
3
4
5
6
7
8
9
10
11
|
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} |
发现结果变成了
|
1
|
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:
|
1
2
3
4
5
6
7
8
9
10
|
func main() { s := make([]int, 2) mdSlice(s) fmt.Println(s)}func mdSlice(s []int) { s[0] = 1 s[1] = 2} |
s2:
|
1
2
3
4
5
6
7
8
9
10
11
|
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：
|
1
2
3
4
5
6
7
8
9
10
|
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() 中：
那如何才能反映到 main() 中呢？没错，使用指向 Slice 的指针。
|
1
2
3
4
|
func mdSlice(s *[]int) { *s = append(*s, 1) *s = append(*s, 2)} |
内存如图所示：
注意本文中内存区域分配是否连续完全随机，不影响程序，只是为了图解清晰。
Chan 类型
Go 中 make 函数能创建的数据类型就 3 类：Slice, Map, Chan。不比多说，相比读者已经能想象 Chan 类型的内存模型了。的确如此，读者可以自己尝试，这边就不过多赘述了。（可以通通过 == nil 的比较来进行测试）。
以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持服务器之家。
原文链接：http://www.cnblogs.com/snowInPluto/p/7477365.html
