切片通过指针共享底层数组，截取时新切片与原切片共用内存，修改相互影响；扩容时指针更新指向新数组，原共享中断；为避免意外共享，应使用append或copy创建独立副本。
在 Go 语言中，切片（slice）并不是数组本身，而是一个对底层数组的动态视图。理解切片与指针的关系，尤其是它如何通过指针关联到底层数组，是掌握 Go 内存模型和避免常见陷阱的关键。
切片的本质：包含指针的结构体
Go 中的切片在底层是一个结构体，包含三个字段：
指向底层数组的指针（pointer）：这是切片最核心的部分，它直接指向一段连续内存的起始位置。 长度（len）：当前切片能访问的元素个数。 容量（cap）：从指针位置开始，底层数组总共可用的元素个数。
这个结构体类似于：
type slice struct {
array unsafe.Pointer // 指向底层数组的指针
len int
cap int
}
虽然我们不能直接访问这个结构，但它的行为决定了切片的所有特性。
立即学习“go语言免费学习笔记（深入）”；
切片共享底层数组：指针带来的副作用
当对一个切片进行截取（如 s[2:5]）时，新切片会共享相同的底层数组，只是指针、长度和容量可能不同。
这意味着：
两个切片通过指针指向同一块内存。 一个切片修改元素，另一个切片能看到变化。 只要还有切片引用该数组，这块内存就不会被回收。
示例：
arr := []int{1, 2, 3, 4, 5}
s1 := arr[1:4] // s1: [2 3 4]
s2 := arr[0:3] // s2: [1 2 3]
s1[0] = 99
// 此时 s2[1] 也变成了 99，因为它们共用底层数组
扩容时指针的变化：何时断开共享
当切片追加元素超过容量（cap）时，Go 会自动分配一块更大的底层数组，并将原数据复制过去。此时，切片中的指针会指向新的内存地址。
关键点：
扩容后，原切片和新切片不再共享底层数组。 只有发生扩容的切片指针会更新，其他仍指向旧数组的切片不受影响。
示例：
s := []int{1, 2}
t := s[0:1] // t 共享 s 的底层数组
s = append(s, 3, 4, 5) // 可能触发扩容
s[0] = 99 // 不再影响 t，因为 s 可能已指向新数组
如何避免底层数组的意外引用
如果希望切片完全独立，不共享原数组，应主动创建新数组并复制数据：
使用 make + copy：先分配新空间，再复制。 使用 append([]T{}, original…) 简化深拷贝。
例如：
original := []int{1, 2, 3, 4, 5}
// 安全截取，避免共享
safeSlice := append([]int{}, original[1:3]…)
// 或者
safeSlice = make([]int, 2)
copy(safeSlice, original[1:3])
基本上就这些。切片的指针机制让操作高效，但也要求开发者注意共享带来的副作用。理解指针如何指向底层数组，能帮助写出更安全、更高效的 Go 代码。
以上就是Golang切片与指针关系 底层数组指针原理的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1401104.html
微信扫一扫 
支付宝扫一扫 
