Golang append() 函数为何会影响多个 slice ?

golang append() 函数为何会影响多个 slice  ?

golang append() 方法的内部机制

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 意外修改至关重要。

以上就是Golang append() 函数为何会影响多个 slice ?的详细内容,更多请关注其它相关文章!