GO 语言中 slice 的理解

GO 语言中 slice 理解

为什么说 Go 语言的 slice 是引用类型,其底层实现明明是一个结构体?

slice 的底层实现是一个包含三个字段的结构体:指向底层数组的指针、slice 的长度和 slice 的容量。当我们对 slice 进行操作时,例如添加或删除元素,实际上是在底层数组中进行操作。由于 slice 是一个指向底层数组的指针,因此多个 slice 可以共享同一个底层数组,这也是 slice 被称为引用类型的原因,也因此可以将其赋值为 nil(实际上是将底层结构体中的指向底层数组的指针设置为 nil)。

需要注意的是,虽然 slice 是引用类型,但是它并不是一个指针类型。因此,我们可以对 slice 进行赋值和传递,而不需要使用指针。这也是 Go 语言中 slice 的一个优点,它可以方便地进行传递和复制,而不需要担心底层数组的复制和传递带来的性能问题。

除了 slice,Go 语言中还有其他的引用类型,例如 map 和 channel

函数调用中修改 slice 的元素会影响原 slice 吗?

这里要分具体情况,如果在函数中对 slice 进行了 append 操作导致了 slice 扩容,那么扩容之后的 slice 的底层数据与原 slice 分离,就不会相互影响,否则会影响原 slice

//  初始化一个长度和容量不相同的 slice,函数中 append 操作没有导致底层数据扩容
// 所以对 slice[0] 的修改会影响原 slice
func Test_isSliceChangeIfAppend(t *testing.T) {
    slice := make([]int, 5, 10)
    fmt.Printf("origin slice:%v\n", slice)
    isSliceChangeIfAppend(slice)
    fmt.Printf("after append out func:%v\n", slice)
}

func isSliceChangeIfAppend(origin []int) {
    origin = append(origin, 1, 2, 3)
    origin[0] = 1
    fmt.Printf("after append in func:%v\n", origin)
}

-----output-----
origin slice:[0 0 0 0 0]
after append in func:[1 0 0 0 0 1 2 3]
after append out func:[1 0 0 0 0]
//  同上面的代码,初始化一个长度和容量相同的 slice
// 函数中的 append 操作就一定会扩容,后续修改也就不会影响原 slice
func Test_isSliceChangeIfAppend(t *testing.T) {
    // 初始化一个长度和容量相同的 slice
    slice := make([]int, 5)
    fmt.Printf("origin slice:%v\n", slice)
    isSliceChangeIfAppend(slice)
    fmt.Printf("after append out func:%v\n", slice)
}

func isSliceChangeIfAppend(origin []int) {
    origin = append(origin, 1, 2, 3)
    origin[0] = 1
    fmt.Printf("after append in func:%v\n", origin)
}

-----output-----
origin slice:[0 0 0 0 0]
after append in func:[1 0 0 0 0 1 2 3]
after append out func:[0 0 0 0 0]

![图片](https://mmbiz.qpic.cn/mmbiz_png/2fBauyxIV9YmLFQeheVRlib675c1S34fYGl7Y1RGmdwISIncPcibic1phDVRPaqUZKJUCx0lINWdqtWcJOpArFsKA/640?wx_fmt=png)
posted @ 2023-06-25 10:07  JL_Zhou  阅读(47)  评论(0编辑  收藏  举报