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函数里面的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中存储的地址，找到要修改的内容