理解 Go 中的切片：append 操作的深入分析（篇2）

理解 Go 语言中 slice 的性质对于编程非常有益。下面，我将通过代码示例来解释切片在不同函数之间传递并执行 append 操作时的具体表现。

本篇为第 2 篇，当切片的容量 cap 不够时

func main() {
	// slice1 当前长度为 3，容量大小也为 3
	slice1 := make([]int, 3, 3)
	fmt.Println("slice 1：", slice1, len(slice1), cap(slice1))

	test1(slice1)

	fmt.Println("slice 1：", slice1, len(slice1), cap(slice1))
}

func test1(slice2 []int) {
	slice2[0] = 1
	slice2 = append(slice2, 1)	// append 操作
	slice2[0] = 2
	fmt.Println("slice 2：", slice2, len(slice2), cap(slice2))
}

输出：

slice 1： [0 0 0] 3 3
slice 2： [2 0 0 1] 4 6
slice 1： [1 0 0] 3 3

解释：在 test1 函数中，我们首先将 slice2 的第一个元素设为 1（这个更改也反映在 slice1 上），然后对其执行 append 操作。

因为 slice2 的容量已满（3/3），所以 append 操作会触发底层数组的扩容。
当新的底层数组准备好之后，我们再次更改 slice2 的第一个元素，将其设为 2。这次的更改并不影响 slice1，因为扩容操作已使 slice2 指向新的底层数组。

示意图如下：