Go语言append函数：为什么修改原切片会影响其副本？

在Go语言中，切片（slice）是一个引用类型的数据结构，它包含三个部分：指向底层数组的指针、切片的长度和切片的容量。当你使用append函数向切片添加元素时，可能会遇到修改原切片影响其副本的情况。这是因为切片副本和原切片可能共享同一个底层数组。

1. 切片的结构

切片的结构可以简化为以下三个字段： - ptr：指向底层数组的指针。 - len：切片的长度。 - cap：切片的容量。

2. 切片的副本

当你将一个切片赋值给另一个变量时，实际上只是复制了切片的这三个字段，而不是复制底层数组。因此，两个切片会共享同一个底层数组。

s1 := []int{1, 2, 3}
s2 := s1  // s2 是 s1 的副本，共享同一个底层数组

3. append函数的行为

append函数在向切片添加元素时，会检查切片的容量是否足够： - 如果容量足够，append会直接在底层数组的末尾添加元素，并返回更新后的切片。 - 如果容量不足，append会创建一个新的底层数组，将原数组的元素复制到新数组中，然后在新数组的末尾添加元素，并返回指向新数组的切片。

4. 修改原切片影响副本的情况

当append操作没有触发底层数组的重新分配时，原切片和副本仍然共享同一个底层数组。因此，修改原切片的内容会影响到副本。

s1 := []int{1, 2, 3}
s2 := s1  // s2 和 s1 共享同一个底层数组

s1 = append(s1, 4)  // 容量足够，直接在原数组上添加元素
fmt.Println(s1)     // 输出: [1 2 3 4]
fmt.Println(s2)     // 输出: [1 2 3 4]

在这个例子中，s1和s2共享同一个底层数组，因此append操作修改了底层数组的内容，导致s2的内容也发生了变化。

5. 避免影响副本的方法

如果你不希望修改原切片影响副本，可以在append操作之前创建一个新的切片，并复制原切片的内容。

s1 := []int{1, 2, 3}
s2 := make([]int, len(s1))
copy(s2, s1)  // 复制 s1 的内容到 s2

s1 = append(s1, 4)  // 修改 s1 不会影响 s2
fmt.Println(s1)     // 输出: [1 2 3 4]
fmt.Println(s2)     // 输出: [1 2 3]

在这个例子中，s2是一个新的切片，拥有独立的底层数组，因此append操作不会影响s2。

总结

• 切片是引用类型，副本和原切片可能共享同一个底层数组。
• append操作可能会修改底层数组，从而影响副本。
• 为了避免这种情况，可以在append操作之前复制切片内容到新的切片中。