Golang append() 函数为何会影响多个 slice ?
在 golang 中,append() 函数负责向 slice 追加元素。令人疑惑的是,append() 操作对 slice 的影响似乎超出了预期。让我们通过一个示例来理解问题:
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) }
问题:
为什么 y 的输出也为 [1 2 3 5]?append() 不是拷贝 x 的值吗,那为什么 z 把 y 也覆盖了?
解答:
要理解 append() 的行为,关键在于理解 slice 的本质。在 go 中,slice 是一个值,包含一个指向底层数组的指针和一个长度。因此,slice 本身并不是一个引用,而是存储指针和长度的结构值。
当我们调用 append() 时,以下操作会发生:
- x 传入 append() 时,会经历一次值复制,这意味着 arg 和 x 共享相同的底层数组。
- 如果 arg 的容量足够,append() 不会重新分配底层数组,而是直接在现有数组上增加长度并赋值。
- 输出新的 slice y,它引用相同的底层数组,但长度增加了 1。
因此,当我们执行 append(x, 4) 时,底层数组被修改,y 的长度增加了。由于 x 和 y 共享底层数组,对 x 的进一步 append() 修改也会影响 y 的内容。
同理,z 的 append() 操作会修改底层数组的第 4 个元素,由于 x 和 z 也共享底层数组,尽管 x 的长度仍然为 3,但它的内容也发生了变化。
总结:
append() 不会创建底层数组的新副本,而是直接操作 arg 指向的现有数组。因此,对同一底层数组的多个 append() 调用会产生联动效应,影响到所有引用该数组的 slice。理解这一机制对于避免 slice 意外修改至关重要。