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函数在切片容量未满时的行为特性。
问题的关键在于理解append函数的底层实现。当对一个切片进行append操作且其容量未满时，append函数会直接在原切片的底层数组中添加元素。这意味着b并非创建一个新的底层数组，而是与a共享同一个底层数组。因此，当我们对a进行第二次append操作时，实际上修改的是同一个底层数组，从而导致b中元素的值也发生了改变。
所以，当第一次 append(a, 1) 执行时，b 和 a 指向同一个底层数组，只是 b 的长度变为 1。第二次 append(a, 2) 仍然在同一个底层数组上操作，改变了底层数组的内容，因此 b[0] 的值也随之改变为 2。
