乐趣区

Go值拷贝的一些思考

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 函数里面的slicearray也被修改了

原因

以上图为例,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 中存储的地址,找到要修改的内容

退出移动版