slice是含ptr/len/cap的值类型结构体,传参拷贝header导致append扩容不影响调用方;要更新原slice必须传*[]T并解引用赋值。

Go 中指针和 slice 的底层引用机制根本不同:指针直接存地址,slice 是含指针的值类型结构体;传参时都能改底层数组元素,但只有指针能改变原变量指向,slice 本身扩容后不会自动更新调用方变量。
为什么传 []int 能改原数据,却不能让调用方看到 append 后的新底层数组?
因为 []int 是一个三字段结构体(ptr、len、cap),传参时拷贝的是这个结构体——ptr 字段被复制,仍指向同一底层数组,所以修改元素生效;但一旦 append 触发扩容,会分配新数组、更新副本里的 ptr,而原变量的结构体没变,仍指向旧数组。
- ✅ 修改元素(如
s[0] = 99)会影响所有共享该底层数组的 slice - ❌
s = append(s, 4)在函数内执行后,调用方的s不会变——它还是原来的 header - ⚠️ 若真需要让调用方接收扩容后的新 slice,必须传
*[]int,函数内解引用赋值:*s = append(*s, 4)
&array 和 &slice 拿到的到底是什么地址?
&array 返回的是整个数组内存块的起始地址,类型是 *[N]T;而 &slice 返回的是 slice header 结构体在栈/堆上的地址,类型是 *[]T,它指向的不是底层数组,而是那个含 ptr/len/cap 的小结构体。
- 对
arr := [3]int{1,2,3},&arr的值等于unsafe.Pointer(&arr[0])(数组首元素地址) - 对
s := []int{1,2,3},&s的值 ≠s的ptr字段值,前者是 header 地址,后者才是底层数组地址 - 误把
&s当作底层数组地址,会导致越界访问或 panic
什么时候该用 *[]T 而不是 []T?
仅当函数逻辑**必须让调用方变量的 header 发生变更**时才需要,典型场景是封装可增长的 slice 构建器、或需原地替换整个底层数组(比如从文件读取新数据并完全替换原 slice)。
立即学习“go语言免费学习笔记(深入)”;
- 常见误用:以为“要修改 slice 就得传指针”,其实改元素完全不需要
- 正确信号:函数里用了
append或make并希望结果回传给调用方变量 - 性能无差别:
[]T拷贝 24 字节,*[]T传 8 字节地址,但多一次解引用,且增加 nil 判断负担
func growSafe(s *[]int) {
*s = append(*s, 99) // 必须解引用赋值
}
func main() {
s := []int{1, 2}
growSafe(&s)
fmt.Println(s) // [1 2 99] —— 成功更新
}
最常被忽略的一点:多个 slice 共享底层数组是静默发生的,既不报错也不警告。它可能造成内存泄漏(大数组因一个小 slice 活着而无法回收),也可能引发竞态(并发读写同一底层数组)。若不确定是否需要共享,用 copy 显式隔离。










