Go语言切片：子切片修改与append操作的微妙关系

Go语言的切片（slice）是强大的动态数组，但其基于底层数组的特性，在子切片操作时容易产生误解。本文将深入探讨子切片修改和append操作对原切片的影响，并通过代码示例进行分析。

让我们观察以下代码：

Go语言（Golang）1.26.0

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

下载

s1 := []int{1, 2, 3, 4}
s2 := s1[2:]
fmt.Printf("s1: %v, len %d, cap: %d address: %p \n", s1, len(s1), cap(s1), &s1)
fmt.Printf("s2: %v, len %d, cap: %d address: %p \n", s2, len(s2), cap(s2), &s2)
//s1: [1 2 3 4], len 4, cap: 4 address: 0xc00000c108  (地址会因运行环境而异)
//s2: [3 4], len 2, cap: 2 address: 0xc00000c120  (地址会因运行环境而异)

s2[0] = 99
fmt.Printf("s1: %v, len %d, cap: %d address: %p \n", s1, len(s1), cap(s1), &s1)
fmt.Printf("s2: %v, len %d, cap: %d address: %p \n", s2, len(s2), cap(s2), &s2)
//s1: [1 2 99 4], len 4, cap: 4 address: 0xc00000c108 (地址会因运行环境而异)
//s2: [99 4], len 2, cap: 2 address: 0xc00000c120 (地址会因运行环境而异)

s2 = append(s2, 199)
fmt.Printf("s1: %v, len %d, cap: %d address: %p \n", s1, len(s1), cap(s1), &s1)
fmt.Printf("s2: %v, len %d, cap: %d address: %p \n", s2, len(s2), cap(s2), &s2)
//s1: [1 2 99 4], len 4, cap: 4 address: 0xc00000c108 (地址会因运行环境而异)
//s2: [99 4 199], len 3, cap: 4 address: 0xc00000c120 (地址会因运行环境而异)

s2[1] = 1999
fmt.Printf("s1: %v, len %d, cap: %d address: %p \n", s1, len(s1), cap(s1), &s1)
fmt.Printf("s2: %v, len %d, cap: %d address: %p \n", s2, len(s2), cap(s2), &s2)
//s1: [1 2 99 4], len 4, cap: 4 address: 0xc00000c108 (地址会因运行环境而异)
//s2: [99 1999 199], len 3, cap: 4 address: 0xc00000c128 (地址可能会改变)

初始状态下，s2 是 s1 的子切片，共享相同的底层数组。修改s2 的元素会直接影响 s1。然而，append 操作的介入改变了这一情况。当append导致切片容量不足时，Go会重新分配一个更大的底层数组，并将原有数据复制过去。这使得s2不再与s1共享底层数组，因此后续修改s2将不再影响s1。 最后一次对s2的修改只影响了新的底层数组。 注意：地址0xc00000c120和0xc00000c128只是示例，实际地址会因运行环境而异，但关键在于append后地址可能发生变化。

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

因此，理解append操作对切片容量的影响至关重要。它可能导致底层数组的重新分配，进而改变子切片与原切片的关系。