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

切片不是指针,但它内部包含一个指向底层数组的指针——这个指针才是共享行为的根源。理解这点,就能解释为什么修改一个切片会影响另一个,也能预判何时影响会消失。
切片结构体里藏着一个指针
Go 中的切片本质是一个三字段结构体:
- array unsafe.Pointer:真实指向底层数组某处内存的地址,不是切片自己的数据
- len int:当前可访问元素个数
- cap int:从该指针位置起,底层数组还剩多少可用空间
你写 s := []int{1,2,3},运行时会分配一段数组内存,并让 s.array 指向它首地址;后续所有截取、赋值、传参,只要没扩容,这个指针值基本不变。
共享发生于指针相同、内存重叠
两个切片是否相互影响,取决于它们的 array 字段是否指向同一块内存,且修改位置落在彼此可访问范围内。
立即学习“go语言免费学习笔记(深入)”;
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 无法回收(如从大日志中只取几行却一直留着切片)
不复杂但容易忽略。










