你以为传切片就是传引用了吗?

xdm ,我们在写 golang 的时候,引用和传值傻傻分不清,就例如我们传 切片 的时候,你能分清楚你传的切片是传值还是传引用呢?

引用是什么?

引用就是给对象起另一个名字,引用类型引用另一种类型

引用并不是对象,相反的,它只是为一个已存在的对象所起的另外一个名字

我们在写 C++ 的时候,知道引用其实就是实际值的另外一个别名,有的会举例子说是一个门牌号的概念

你以为的 引用传递

写个例子,咱们创建一个 切片 s1,

  • s1 切片赋值 , 1, 2, 3, 4, 5 , 输出效果
  • 将 s1 传递给 myModify ,在函数中修改 第 3 个元素第 4 个元素的值
func main() {

    s1 := make([]int, 5)
    s1 = []int{ 1, 2, 3, 4, 5}
    fmt.Println("s1 = ", s1)
    myModify(s1)
    fmt.Println("myAdd result = ", s1)

}

func myModify(ss []int ) {
    ss[2] = 8
    ss[3] = 9
}

查看效果

# go run main.go
s1 =  [1 2 3 4 5]
myAdd result =  [1 2 8 9 5]

看到这里,你以为的引用传递是不是就是这个样子的,因为传入到函数中的切片,在函数中把传进来的切片的值修改,外面实际的切片对应的值也改变了

xdm , 看到这里你就下定论是不是不太好,咱们再来探究一下

确认还是引用吗?

咱们在上面的实现上面具体的打印出 切片的地址来看看效果,我们就稍微有点感觉了

func main() {

    s1 := make([]int, 5)
    s1 = []int{ 1, 2, 3, 4, 5}
    fmt.Printf("s1地址  =  %p , s1: %v \r\n",&s1, s1)
    myModify(s1)
    fmt.Printf("s1地址  =  %p , s1: %v \r\n",&s1, s1)

}

func myModify(ss []int ) {

    ss[2] = 8
    ss[3] = 9
    fmt.Printf("ss地址  =  %p , s1: %v \r\n",&ss, ss)
}

运行程序,看实际效果

# go run main.go
s1地址  =  0xc42000a060 , s1: [1 2 3 4 5]
ss地址  =  0xc42000a0a0 , s1: [1 2 8 9 5]
s1地址  =  0xc42000a060 , s1: [1 2 8 9 5]

这个时候,你还觉得咱们传递的是引用吗?这个做法还是引用传递吗?咱们要好好思考一下

s1切片的地址 是 0xc42000a060 ,ss 切片的地址是 0xc42000a0a0,这里很明显看出来 s1 和 ss 并不是同一个东西,因此,我们可以得出结论,切片作为函数参数,是值传递

可以为什么 s1 和 ss 打印出来的数据是一样的呢,而且修改了 ss 切片里面的元素为什么会影响到原来 s1 的切片呢?

开始探究

GO 里面的切面的底层是是一个结构体

type SliceHeader struct {
    Data uintptr
    Len  int
    Cap  int
}

对于上面的问题, s1 和 ss 变量,有各自变量的内存地址,但是这个变量下面对应的底层数组是对应的同一片空间,因此 s1 的变动会影响到 ss 切片的变动

对于这个我们也是很好验证的,来写一个例子,将上述的两个切片里面的每隔元素的地址都打印出来对比一下:

func main() {

    s1 := make([]int, 5)
    s1 = []int{1, 2, 3, 4, 5}
    fmt.Printf("s1地址  =  %p , s1: %v \r\n", &s1, s1)

    for k, v := range s1 {
        fmt.Printf("s1[%d]地址  =  %p , s1: %v \r\n", k, &s1[k], v)
    }

    myModify(s1)
    fmt.Printf("s1地址  =  %p , s1: %v \r\n", &s1, s1)

}

func myModify(ss []int) {

    ss[2] = 8
    ss[3] = 9
    fmt.Printf("ss地址  =  %p , s1: %v \r\n", &ss, ss)
    for k, v := range ss {
        fmt.Printf("ss[%d]地址  =  %p , s1: %v \r\n", k, &ss[k], v)
    }
}

查看效果

根据上述效果,我们可以看到,s1 和 ss ,只是自己变量的地址不同,但是自己指向的底层数组的内存完全相同

平时工作中,这里就需要注意了,你以为的你以为真不可能不是这样的!!

欢迎点赞,关注,收藏

朋友们,你的支持和鼓励,是我坚持分享,提高质量的动力

好了,本次就到这里

技术是开放的,我们的心态,更应是开放的。拥抱变化,向阳而生,努力向前行。

我是阿兵云原生,欢迎点赞关注收藏,下次见~

本作品采用《CC 协议》,转载必须注明作者和本文链接
关注微信公众号:阿兵云原生
讨论数量: 4
tangq

意思是传递的切片,其实传递是切片地址值的值拷贝?

1个月前 评论

如果是传切片的话,那就是切片的拷贝。如果传的是切片的地址的话,那就是切片地址的拷贝。但他们的底层数组是同一个,如果你要修改的话可以通过索引修改。

1个月前 评论
yWNN

其实就是传指针切片的话可以改变切片的结构,值传递的话只能改变切片内部的值。

1个月前 评论

go函数的参数全部是值传递,不存在引用传递的

2周前 评论

讨论应以学习和精进为目的。请勿发布不友善或者负能量的内容,与人为善,比聪明更重要!