go语言切片操作的疑惑：append函数的底层机制

在使用go语言进行切片操作时，我们常常会遇到一些令人困惑的问题。本文将针对一个关于append函数的具体案例进行深入分析，解释其底层机制，从而解答读者提出的疑惑。

问题描述如下：

a := make([]int, 0, 3)
b := append(a, 1) 
//a:[] b: [1] 这里是理解的
_ = append(a, 2) 
////a:[] b: [2] 这里为什么？
fmt.Println(b[0])  
//2

代码中，我们首先创建了一个容量为3，长度为0的整数切片a。然后，将a的append操作后的结果赋值给b，此时b包含元素1。 接下来，我们再次对a进行append操作，添加元素2。令人疑惑的是，b[0]的值变成了2，而不是1。这说明了append函数在切片容量未满时的行为特性。

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

下载

问题的关键在于理解append函数的底层实现。当对一个切片进行append操作且其容量未满时，append函数会直接在原切片的底层数组中添加元素。这意味着b并非创建一个新的底层数组，而是与a共享同一个底层数组。因此，当我们对a进行第二次append操作时，实际上修改的是同一个底层数组，从而导致b中元素的值也发生了改变。

立即学习“go语言免费学习笔记（深入）”；

所以，当第一次 append(a, 1) 执行时，b 和 a 指向同一个底层数组，只是 b 的长度变为 1。第二次 append(a, 2) 仍然在同一个底层数组上操作，改变了底层数组的内容，因此 b[0] 的值也随之改变为 2。