Go append() 方法为什么会出现共享底层数组的情况？

go append() 方法的问题

在使用 go 语言的 append() 方法时，可能会遇到一些令人困惑的情况。例如：

package main

import "fmt"

func main()  {
    x := make([]int,0,10)
    x = append(x, 1,2,3)
    y := append(x,4)
    z := append(x,5)
    fmt.println(x)
    fmt.println(y)
    fmt.println(z)
}

在执行以上代码后，输出结果为：

[1 2 3]
[1 2 3 5]
[1 2 3 5]

这是为什么呢？

append() 方法的行为

官方文档中指出 append 函数会将元素添加到 slice 的尾部。如果 slice 有足够的容量，它会对目标切片进行重新切分以容纳新元素。如果容量不足，将分配一个新的底层数组。而 append() 函数会返回更新后的切片，因此必须将 append() 函数的结果存储到某个变量中，通常是持有该切片本身的变量。

理解 slice 类型

理解 slice 类型是关键。官方文档中提到，虽然切片包含一个指针，但它本身是一个值。也就是说，切片是一个包含指针和长度的结构值，而不是指向结构的指针。

如何修改切片

在理解了 append() 函数的行为和 slice 类型后，可以更深入地理解为什么会发生这种现象。

在代码中，当执行 x = append(x, 1,2,3) 时，append 函数会创建一个新的 slice arg，并将 x 的底层数组作为指针传递给 arg。此时 x 和 arg 共享底层数组。append 函数会在底层数组上直接对 arg 进行修改，并将其更新后的状态赋值回 x。

随后执行 y = append(x,4)，此时，append 函数仍然会创建一个新的 slice arg，并将其和 x 的底层数组连接起来。然后，它会修改 arg 的长度，将其增加 1，并更新底层数组中的第 4 个元素为 4。最后，新 slice arg 被赋给 y。

但是，注意 x 和 y 共享同一个底层数组。因此，当执行 z = append(x,5) 时，append 函数同样会创建一个新的 slice arg，但它和 x 的底层数组仍然是同一个。append 函数会修改 arg 的长度，将其增加 1，并更新底层数组中的第 4 个元素为 5。最后，新 slice arg 被赋给 z。

所以，y 的第 4 个元素会发生变化，因为它和 x 共享底层数组，而 z 的第 4 个元素也会发生变化，因为 z 和 x 也共享底层数组。正是因为共用了底层数组，才会导致这种情况。

以上就是Go append() 方法为什么会出现共享底层数组的情况？的详细内容，更多请关注其它相关文章！