In a function call, the function value and arguments are evaluated in the usual order. After they are evaluated, the parameters of the call are passed by value to the function and the called function begins execution.
官方文档已经明确说明:Go 里边函数传参只有值传递一种方式: 值传递
那么为什么会引发 Go 的值拷贝的讨论?
现象
用下面的代码做一下展示
package main
import ("fmt")
func main() {arr := [5]int{0, 1, 2, 3, 4}
s := arr[1:]
changeSlice(s)
fmt.Println(s)
fmt.Println(arr)
}
func changeSlice(arr []int) {
for i := range arr {arr[i] = 10
}
}
输出结果
[10 10 10 10]
[0 10 10 10 10]
如果 Go 是值拷贝的,那么我修改了函数 changeSlice
里面的 slice s
的值,为什么 main 函数里面的slice
和 array
也被修改了
原因
以上图为例,a 是初始变量,b 是引用变量 (Go 中并不存在),p 是指针变量
变量 a 被拷贝后,地址发生了变化,地址上存储的是原先地址存储的值 10
变量 p 被拷贝后,地址发生了变化,地址上存储的还是原先地址存储的值)0X001, 然后按照这个地址去查找,找到的是 0X001 上面存储的值
所以,当你去修改拷贝后的 * p 的值,其实修改的还是 0X001 地址上的值,而不是 拷贝后 a 的值
那么我们接下来看 slice,slice 在实现的时候,其实是对 array 的映射,也就是说 slice 存对应的是原 array 的地址,就类似于 p 与 a 的关系,那么整个 slice 拷贝后,拷贝后的 slice 中存储的还是 array 的地址,去修改拷贝后的 slice,其实跟修改 slice,和原 array 是一样的
试验
我们用下面一个例子,实现以下我们上面的想法
package main
import ("fmt")
func main() {
var a *int
b := 10
a = &b
change(a)
fmt.Println(a, b)
}
func change(a *int) {*a = 30}
打印结果
0xc000096000 30
符合猜想
More
这里的东西,其实用 dlv 调试会看的很方便,有兴趣可以动一下手
结论
Go 的拷贝都是值拷贝,只是 slice 中存储的是原 array 的地址,所以在拷贝的时候,其实是把地址拷贝的新的 slice,那么此时修改 slice 的时候,还是根据 slice 中存储的地址,找到要修改的内容