Go语言切片（Slice）详解

一、切片的底层结构

切片是Go语言中动态数组的核心抽象，其底层是一个结构体，包含三个关键字段：

type slice struct {
    array unsafe.Pointer // 指向底层数组的指针
    len   int            // 当前元素数量（长度）
    cap   int            // 底层数组总容量
}

• 指针（array）：指向底层数组的首元素地址。
• 长度（len）：切片当前存储的元素数量，通过len(s)获取。
• 容量（cap）：底层数组可容纳的最大元素数量，通过cap(s)获取。

示例：

s := make([]int, 3, 5) 
// 底层数组长度=5，当前使用3个元素，容量5

---

二、容量增长的原理

当切片容量不足时（len >= cap），Go会触发自动扩容，规则如下：

1. 基础扩容策略：

   • 容量 < 1024：容量翻倍（new_cap = 2 * old_cap）。
   • 容量 ≥ 1024：每次增加25%（new_cap = old_cap + old_cap/4）。

2. 内存对齐优化：

   • 最终容量会根据目标类型大小（如int为8字节）向上取整到最近的块大小。例如，计算出的新容量为5，实际可能分配6。

示例：

s := []int{1, 2}
s = append(s, 3, 4, 5) 
// 原cap=2，新cap=2*2=4（仍不足），最终cap=6（内存对齐优化）

---

三、切片作为函数参数的特性

1. 值传递的引用行为：
   • 切片作为参数传递时，拷贝的是结构体（指针、len、cap），底层数组共享。
   • 函数内修改元素会影响原切片。
   • 但若函数内触发扩容（如append），会创建新数组，原切片不受影响。

示例：

func modifySlice(s []int) {
    s[0] = 100      // 修改原切片元素
    s = append(s, 4) // 若cap不足，新数组不影响原切片
}

s := []int{1, 2, 3}
modifySlice(s)
// s[0]变为100，但长度仍为3

2. 指针传递的场景：
   • 若需在函数内修改切片的长度或容量（如多次append），需传递切片指针（*[]int）。

---

四、切片与数组的区别

特性	数组（Array）	切片（Slice）
声明方式	var a [3]int	s := make([]int, 3) 或 []int{}
长度固定性	固定（编译时确定）	动态（运行时可扩展）
内存分配	值类型（栈/静态内存）	引用类型（依赖底层数组）
赋值/传参行为	深拷贝（复制全部元素）	浅拷贝（共享底层数组）
容量管理	不可变	自动扩容
常见操作	索引访问	append, copy, 切片表达式

关键区别示例：

// 数组
a1 := [3]int{1, 2, 3}
a2 := a1            // 深拷贝，a2与a1独立
a1[0] = 100         // a2[0]仍为1

// 切片
s1 := []int{1, 2, 3}
s2 := s1            // 共享底层数组
s1[0] = 100         // s2[0]变为100

---

五、使用注意事项

1. 避免内存泄漏：
   • 大切片截取后若不再使用，应显式置为nil，以便GC回收底层数组。
2. 预分配容量：
   • 已知数据量时，使用make([]T, 0, cap)预先分配容量，减少扩容开销。
3. 切片表达式陷阱：
   • s[low:high]操作可能共享原数组，修改子切片会影响原数据。

---

六、总结

切片通过封装动态数组提供了灵活的数据管理能力，其核心在于共享底层数组的引用语义和自动扩容机制。理解其底层结构、扩容策略及传参行为，有助于避免常见陷阱（如意外修改共享数据），并优化性能（如合理预分配容量）。与数组的差异主要体现在动态性与内存管理方式上，实际开发中切片使用频率更高。