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) // 输出：[1 2 3]
fmt.Println(y) // 输出：[1 2 3 4]
fmt.Println(z) // 输出：[1 2 3 5]
}
运行结果显示y和z的输出与预期不符。y的输出符合预期[1 2 3 4]，但z的输出为[1 2 3 5]，令人费解。append()不是应该创建切片的副本吗？为什么z的操作会影响y？
立即学习“go语言免费学习笔记（深入）”；
问题的关键在于理解Go语言切片的底层实现。切片并非独立的数据结构，它实际上是对底层数组的一个视图，包含指向底层数组的指针、长度和容量。
append()函数的工作原理如下：如果切片的容量足够容纳新元素，append()会直接在底层数组中添加新元素，并更新切片的长度；如果容量不足，append()会重新分配一个更大的底层数组，并将原切片中的元素复制到新数组中，然后添加新元素。
让我们逐步分析代码：
-
x = append(x, 1, 2, 3)：将元素1, 2, 3添加到切片x。由于x的容量足够大，底层数组被直接修改。 -
y = append(x, 4)：由于容量足够，append()直接在x的底层数组中添加元素4，并返回一个新的切片y。y和x共享同一个底层数组，但y的长度比x大1。 -
z = append(x, 5)：append()操作仍然基于x的底层数组进行。由于x的长度为3，新元素5被添加到底层数组索引为3的位置。这导致y和z共享同一个底层数组，y的第四个元素被覆盖为5。
因此，y和z看似独立，实则共享相同的底层数组。append()操作修改了底层数组，从而影响所有指向该数组的切片。x的长度始终保持为3，因此打印x时只显示前三个元素。而y和z的长度分别为4，所以它们显示添加的元素。
因为切片是值类型，而非引用类型，append()操作修改切片时会直接影响底层数组，从而影响所有共享该底层数组的切片。理解这一点对于避免Go语言切片操作的潜在陷阱至关重要。
