Go语言切片:子切片修改与append
操作的微妙关系
Go语言的切片(slice)是强大的动态数组,但其基于底层数组的特性,在子切片操作时容易产生误解。本文将深入探讨子切片修改和append
操作对原切片的影响,并通过代码示例进行分析。
让我们观察以下代码:
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
后地址可能发生变化。
因此,理解append
操作对切片容量的影响至关重要。它可能导致底层数组的重新分配,进而改变子切片与原切片的关系。