标签导航：

go语言append()方法详解：append(x, 5)为何改变y的值？

本文深入探讨Go语言中append()方法的特性，并解释一个常见的误解。以下代码片段展示了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) // [1 2 3 5]
    fmt.Println(y) // [1 2 3 4]
    fmt.Println(z) // [1 2 3 5]
}

运行结果显示y和z的值并非预期中的完全不同。y为[1 2 3 4]，而z为[1 2 3 5]。为什么append(x, 5)会影响y的值？append()方法难道没有复制x的值吗？

关键在于理解Go语言中slice的底层机制。Go语言的slice并非简单的数组指针，它是一个结构体，包含指向底层数组的指针、长度和容量三个字段。append()方法操作的是slice的底层数组。

当调用append()方法时，它会先检查slice的容量是否足以容纳新的元素。如果容量足够，则直接在底层数组末尾添加新元素，并更新slice的长度；如果容量不足，则会重新分配一块更大的内存空间，复制原数组元素到新数组，再添加新元素。append()方法返回一个新的slice，这个新的slice可能指向与原slice相同的底层数组（容量足够时），也可能指向一个新的底层数组（容量不足时）。

让我们逐步分析代码：

  1. x = append(x, 1, 2, 3)：将1, 2, 3添加到x中。由于x的容量足够，底层数组被直接修改，x的长度变为3。

  2. y = append(x, 4)：将4添加到x中。由于容量足够，底层数组被修改，x的长度变为4，y指向这个更新后的底层数组，长度为4。

  3. z = append(x, 5)：将5添加到x中。关键点在于，x和y都指向同一个底层数组。append(x, 5)修改的是这个共享的底层数组，因此y的值也随之改变，其第四个元素被修改为5。z也指向这个共享的底层数组，长度为5，因此也反映了这个修改。

因此，y和z的输出结果并非因为append()方法没有复制x的值，而是因为在容量足够的情况下，append()没有创建新的底层数组，x、y、z共享同一个底层数组，对底层数组的修改会反映在所有指向该数组的slice上。只有当append()导致容量不足时，才会重新分配底层数组，从而避免这种共享带来的副作用。

Go语言append()方法：为什么append(x,5)会改变y的值？