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)
}
运行结果显示y和z的输出与预期不符：y输出[1 2 3 4]，z输出[1 2 3 5]。这与许多开发者对append()的理解存在偏差。其根本原因在于对Go语言切片（slice）的底层实现和append()函数的运作机制缺乏深入了解。
立即学习“go语言免费学习笔记（深入）”；
Go语言切片并非直接指向底层数组，而是一个包含指针、长度和容量的结构体。append()函数在容量允许的情况下，直接在底层数组上追加元素，无需数据复制。只有当切片容量不足时，才会重新分配内存，并将原有数据复制到新数组。
代码分析：
-
x = append(x, 1, 2, 3)：将元素1、2、3追加到切片x。由于x的容量为10，足够容纳这三个元素，append()直接在x的底层数组中追加，x的长度变为3。 -
y = append(x, 4)：将元素4追加到x，生成新的切片y。由于容量充足，append()仍在同一底层数组操作，将4追加到数组末尾，y长度变为4，y与x共享同一底层数组。 -
z = append(x, 5)：将元素5追加到x，生成新的切片z。同样，由于容量足够，append()在同一底层数组中追加元素5，z长度变为4，z与x和y共享同一底层数组。但x的长度仍为3，因此打印x只显示前三个元素。y和z长度为4，显示追加的元素4和5，导致z覆盖了y的最后一个元素。
关键在于x、y、z三个切片共享同一底层数组。append操作直接修改底层数组，后续append操作会影响所有共享该数组的切片。理解切片的共享特性才能准确解释代码结果。
