在Go语言中，切片是管理动态数据集合最常用的结构。它基于底层数组构建，包含长度、容量和指向数组的指针。理解切片如何动态扩容以及怎样截取，是写出高效Go程序的基础。
切片的基本结构
切片本身不存储数据，只描述底层数组的一段连续区域。可以用如下方式创建切片：
package main
import "fmt"
func main() {
// 基于数组创建切片
arr := [5]int{1, 2, 3, 4, 5}
s := arr[1:4] // 长度3，容量4
fmt.Println(s, len(s), cap(s))
}
动态扩容机制
当使用append向切片追加元素且当前容量不足时，Go运行时会分配更大的底层数组，并将原数据拷贝过去。一般容量小于一定阈值时翻倍，超过后按特定比例增长。
package main
import "fmt"
func main() {
s := make([]int, 0, 2)
fmt.Println(len(s), cap(s)) // 0 2
s = append(s, 1, 2)
fmt.Println(len(s), cap(s)) // 2 2
s = append(s, 3) // 触发扩容
fmt.Println(len(s), cap(s)) // 3 4
}
扩容时的注意点
- 扩容后新切片指向新数组，原切片不受影响
- 大对象频繁扩容会带来拷贝开销，可提前用make预估容量
截取切片
通过表达式s[low:high]可截取子集，长度为high-low，容量为原容量减low。截取后新旧切片可能共享底层数组。
package main
import "fmt"
func main() {
base := []int{10, 20, 30, 40, 50}
sub := base[1:3]
fmt.Println(sub, len(sub), cap(sub)) // [20 30] 2 4
sub[0] = 99 // 会修改base[1]
fmt.Println(base) // [10 99 30 40 50]
}
避免共享修改的方法
若想截取后完全独立，可使用append结合空切片或copy函数：
package main
import "fmt"
func main() {
base := []int{10, 20, 30, 40, 50}
// 使用copy生成独立切片
independent := make([]int, 2)
copy(independent, base[1:3])
independent[0] = 999
fmt.Println(base) // 未被修改
fmt.Println(independent) // [999 30]
}
总结
使用Golang切片管理数据集合时，应关注长度和容量变化，理解动态扩容的分配逻辑，并在截取时留意底层数组共享问题。合理使用make和copy，可以让切片操作既灵活又安全。