Go语言切片append函数深度解析：容量、底层数组与共享机制

本文深入探讨Go语言切片append函数的运行机制，重点关注切片容量和底层数组共享对append操作的影响。

我们通过一个例子来说明问题：创建一个容量为3、长度为0的整数切片a。 多次使用append函数向a添加元素。第一次append(a, 1)后，b指向新的切片[1]，这很容易理解。然而，第二次append(a, 2)后，a看似未改变，但b的值却变成了[1, 2]。 这究竟是怎么回事？append函数是如何操作底层数组的？为什么第二次append会影响b？

关键在于理解Go语言切片append函数的底层实现。当切片容量足以容纳新元素时，append函数直接在原底层数组上进行追加。第一次append(a, 1)，由于a的容量为3，可以容纳新元素，因此append直接在a的底层数组中添加了元素1。此时b指向a append后的结果。重要的是，b并没有复制这个结果，而是共享了a的底层数组。

Go语言（Golang）1.26.0

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

下载

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

第二次append(a, 2)，同样在原底层数组上进行追加。由于append修改的是a的底层数组，而b也共享着这个底层数组，所以b的值也随之改变。因此，b[0]输出1，b[1]输出2，因为append(a, 2)直接修改了底层数组，而b仍然指向这个被修改后的数组。

总结：在不超过切片容量的情况下，多次append操作会修改同一个底层数组，所有指向该数组的切片都会受到影响。这与普遍认为append操作会“复制”切片数据的认知有所不同，在容量允许的范围内，append是就地修改的。