Golang指针和slice底层原理有什么区别_数据引用机制解析

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）。

• 常见误用：以为“要修改 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 显式隔离。