Go语言切片append操作详解：底层数组指针的微妙变化
Go语言切片是基于数组构建的动态数据结构，高效且灵活。然而，append操作对底层数组指针的影响，常常让开发者感到困惑。本文深入探讨append操作是否以及何时会改变切片底层数组指针。
一个常见的误区是：append操作只有在发生容量扩容时才会改变底层数组指针。 但实际情况更为细致。让我们分析以下代码：
func main() {
testSlice := make([]int, 0, 8)
testSlice = append(testSlice, 1, 2, 3)
copySlice := testSlice // copySlice 和 testSlice 指向同一个底层数组
testSlice[0] = 3
fmt.Println(copySlice) // 输出 [3 2 3]，copySlice 受到了影响
testSlice = append(testSlice, 4) // 关键语句
fmt.Println(copySlice) // 输出 [3 2 3] 或 [3 2 3 4]，取决于是否扩容
}
这段代码首先创建一个容量为8的空切片testSlice，并添加元素1, 2, 3。 然后，copySlice被赋值为testSlice。 关键点在于： 此时copySlice和testSlice共享同一个底层数组。
立即学习“go语言免费学习笔记（深入）”；
修改testSlice[0]为3，copySlice也会受到影响，因为它们指向同一底层数组。 然而，testSlice = append(testSlice, 4) 这句至关重要。如果testSlice的容量不足，Go运行时会分配一个更大的底层数组，并将原有数据复制过去。这时，testSlice的底层数组指针会改变。 但重要的是： copySlice的底层数组指针不会改变，它仍然指向原来的数组。 因此，copySlice的值可能保持不变（如果未扩容），也可能发生变化（如果扩容并重新赋值）。
所以，append操作是否修改底层数组指针取决于是否发生扩容以及赋值操作。即使没有扩容，如果append操作的结果被赋值回原切片，那么原切片仍然会指向同一个底层数组，只是数组内容发生了改变。 但如果像例子中那样，append操作的结果被赋值给一个新的变量（例如 newSlice := append(testSlice, 4)），那么原切片（testSlice）的底层数组指针将保持不变，而新变量（newSlice）可能指向一个新的底层数组。
总而言之，append操作对底层数组指针的影响取决于多种因素，需要仔细分析代码上下文才能得出准确结论。 切片赋值的语义是关键，理解这一点才能避免潜在的错误。
