Go语言append()方法的运行机制：为什么append(x, 4)和append(x, 5)的结果并非预期？

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()函数在容量允许的情况下，直接在底层数组上追加元素，无需数据复制。只有当切片容量不足时，才会重新分配内存，并将原有数据复制到新数组。

代码分析：

1. x = append(x, 1, 2, 3)：将元素1、2、3追加到切片x。由于x的容量为10，足够容纳这三个元素，append()直接在x的底层数组中追加，x的长度变为3。
2. y = append(x, 4)：将元素4追加到x，生成新的切片y。由于容量充足，append()仍在同一底层数组操作，将4追加到数组末尾，y长度变为4，y与x共享同一底层数组。
3. 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操作会影响所有共享该数组的切片。理解切片的共享特性才能准确解释代码结果。

以上就是Go语言append()方法的运行机制：