当 Go 切片共享相同的底层数组时，为什么追加到 Go 切片不会影响原始切片？

了解切片上的追加行为

在 Go 中，切片是管理数据集合的便捷方法。然而，它们的行为有时可能会令人困惑，特别是在执行附加元素等操作时。

考虑以下代码片段：

func main() {
    slice := make([]int, 10, 10)
    slice[0] = 0
    slice[1] = 1

    slice1 := slice
    slice1[0] = 10000
    fmt.Println(slice)

    slice1 = append(slice1, 100)
    slice1[0] = 20000

    fmt.Println(slice)
}

预期的输出将是一个项目列表，其中第一个切片在第一次追加后更改为 10000，然后在第二次追加后更改为 20000。此外，我们希望 slice 中的项目也能反映这些更改，因为 slice 和 slice1 都指向相同的底层数组。

但是，实际输出令人惊讶：

[10000 1 0 0 0 0 0 0 0 0]
[10000 1 0 0 0 0 0 0 0 0]

第一个输出如预期所示，显示 slice1 成功将第一个元素的值更改为 10000。但是，第二个输出显示后续追加操作和对 ​​slice1 的更改不会影响 slice。为什么会这样？

理解 Go 的值语义

理解这种行为的关键在于 Go 的值语义。在 Go 中，变量按值传递，这意味着当您将一个变量分配给另一个变量时，会生成该值的副本。这也适用于切片。

当您执行 slice1 := slice 时，您正在创建切片标头的副本。切片头包含有关长度、容量和指向底层数组的指针的信息。但是，底层数组本身不会被复制。

追加行为

执行追加操作时，会创建一个新的切片头并分配一个新的底层数组。原始切片中的元素被复制到新数组中，并返回新的切片头。

在我们的示例中，当您执行 slice1 =append(slice1, 100) 时，将创建一个新的切片头并为新数组分配现有元素以及要附加的附加元素的空间。 slice1 中的元素被复制到新数组中，并且新的切片头被分配给 slice1。

重要的是，slice 仍然指向原始的底层数组，这就是为什么对 slice1 所做的更改不会反映在

结论

要理解切片上的追加行为，记住这一点至关重要切片按值传递。追加元素时，会创建新的切片头和底层数组，而原始切片不受影响。

以上是当 Go 切片共享相同的底层数组时，为什么追加到 Go 切片不会影响原始切片？的详细内容。更多信息请关注PHP中文网其他相关文章！