深入探究Go语言切片append()方法的特性

本文将详细分析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)
    fmt.Println(y)
    fmt.Println(z)
}

运行结果并非预期的[1 2 3]、[1 2 3 4]、[1 2 3 5]，而是[1 2 3]、[1 2 3 4]、[1 2 3 5]。 这引发了一个疑问：append()不是应该创建切片副本吗？为什么y和z的输出结果会互相影响？

关键在于理解Go语言切片的底层机制。Go切片并非直接存储数据，而是一个描述符，包含指向底层数组的指针、长度和容量。append()方法会检查容量是否足够。容量足够时，直接在底层数组添加元素并更新长度；容量不足时，会重新分配一个更大的底层数组，并将原数组元素复制到新数组。

代码分析：

1. x = append(x, 1, 2, 3)： 将1, 2, 3添加到x。由于x容量为10，足够容纳，不会重新分配内存。

2. y = append(x, 4)： 将4添加到x，结果赋值给y。由于容量足够，直接在x的底层数组添加4，更新x的长度。y和x指向同一个底层数组，但y的长度为4。

3. z = append(x, 5)： 将5添加到x，结果赋值给z。同样，直接在底层数组添加5，更新x的长度。z和x也指向同一个底层数组，但z的长度为5。

因此，x、y和z共享同一个底层数组。append()并未创建新的底层数组，只是修改了长度和底层数组中的元素。y和z的长度不同，所以显示的元素个数不同，而x的长度始终为3，只显示前三个元素。

理解Go切片的这种特性对于编写高效、正确的Go代码至关重要。使用切片时，务必注意底层数组的共享问题，避免出现意外结果。 为了避免这种共享，需要在append()之前显式创建切片的副本，例如使用copy()函数。