如何在Golang中理解切片和指针关系_底层数组共享机制

切片不是指针但含指向底层数组的指针，共享行为源于该指针相同且内存重叠；传参是值传递但指针仍有效；修改元素会影响共享数组，扩容则切断共享；可用copy或append(nil, src...)创建独立底层数组。

切片不是指针，但它内部包含一个指向底层数组的指针——这个指针才是共享行为的根源。理解这点，就能解释为什么修改一个切片会影响另一个，也能预判何时影响会消失。

切片结构体里藏着一个指针

Go 中的切片本质是一个三字段结构体：

• array unsafe.Pointer：真实指向底层数组某处内存的地址，不是切片自己的数据
• len int：当前可访问元素个数
• cap int：从该指针位置起，底层数组还剩多少可用空间

你写 s := []int{1,2,3}，运行时会分配一段数组内存，并让 s.array 指向它首地址；后续所有截取、赋值、传参，只要没扩容，这个指针值基本不变。

共享发生于指针相同、内存重叠

两个切片是否相互影响，取决于它们的 array 字段是否指向同一块内存，且修改位置落在彼此可访问范围内。

• arr := [5]int{1,2,3,4,5}
• s1 := arr[1:3] → 指向 &arr[1]，长度 2
• s2 := arr[2:4] → 指向 &arr[2]，长度 2
• s1[1] = 99 实际改的是 arr[2]，所以 s2[0] 也变成 99

用 reflect.ValueOf(s).Pointer() 可验证指针值是否一致，但更关键的是看索引是否交叉重叠。

函数传参时，切片本身是值传递，但指针仍有效

把切片传进函数，复制的是那个三字段结构体，其中的 array 指针也被复制了——新副本依然指向原数组。

• 在函数内改 s[i]：会反映到所有共享该数组的切片和原数组
• 在函数内做 s = append(s, x)：若触发扩容，s.array 会指向新地址，原切片不受影响
• 不推荐用 *[]T 传参，除非真要替换整个切片头（比如重分配）

切断共享：主动创建独立底层数组

不想被意外修改？不能靠“不改”，而要主动隔离内存。

• dst := make([]int, len(src)) + copy(dst, src)
• safe := append([]int(nil), src...) —— 利用 append 对 nil 切片的特殊处理，自动分配新底层数组
• 避免长期持有小切片引用大数组，防止 GC 无法回收（如从大日志中只取几行却一直留着切片）

不复杂但容易忽略。