切片通过指向底层数组的指针实现高效操作，其结构包含指针、长度和容量；多个切片可共享同一数组，修改会相互影响；扩容时指针指向新数组，原共享关系失效；需传指针才能在函数中修改切片结构。
在 Go 语言中，指针和切片有着密切的关系，理解它们的底层机制对编写高效、安全的代码非常重要。切片并不是数组本身，而是一个指向底层数组的“视图”，其内部包含一个指向数组的指针、长度和容量。这个指针就是切片与底层数组之间的关键连接。
切片的结构与底层数组指针
Go 中的切片（slice）是一个引用类型，其底层结构可以理解为一个结构体，包含三个部分：
指向底层数组的指针（pointer）：这是切片与数组之间的桥梁，指向切片所引用的数组的第一个元素。 长度（len）：当前切片可访问的元素个数。 容量（cap）：从指针所指位置开始，底层数组总共可容纳的元素个数。
例如，当我们创建一个切片：
arr := [5]int{1, 2, 3, 4, 5}
s := arr[1:3] // 切片 s 指向 arr 的第1到第2个元素
此时，s 的指针指向 arr[1]，长度为 2，容量为 4（从 arr[1] 到 arr[4]）。这个指针本质上是一个数组元素的地址，也就是一个指针类型。
立即学习“go语言免费学习笔记（深入）”；
切片共享底层数组的特性
多个切片可以指向同一个底层数组，这意味着一个切片的修改可能会影响另一个切片。这是因为它们共享同一个底层数组指针。
arr := [3]int{10, 20, 30}
s1 := arr[:2] // [10, 20]
s2 := arr[1:] // [20, 30]
s1[1] = 99
执行后，arr[1] 被修改为 99，因此 s2[0] 也会变成 99。这说明 s1 和 s2 共享了底层数组，它们内部的指针虽然指向不同偏移，但都落在同一个数组内存块上。
指针操作与切片扩容
当切片进行 append 操作超出其容量时，Go 会分配一块新的更大的底层数组，并将原数据复制过去。此时，切片内部的指针会指向新的数组地址。
s := []int{1, 2}
s = append(s, 3) // 可能触发扩容
扩容后，原指针失效，新切片指向新的内存块。如果还有其他变量引用旧切片，它们仍指向旧数组，不再与新切片共享数据。这就是为什么在函数中修改切片内容可能不生效的原因——除非传入的是切片指针。
使用指针避免切片拷贝
切片本身是值类型，赋值或传参时会拷贝结构体（指针、len、cap），但不会复制底层数组。然而，如果函数需要修改切片的结构（比如扩容后希望调用方看到新地址），就必须传入指针：
func extend(s *[]int) {
*s = append(*s, 100)
}
这样，函数内部通过指针修改了切片的指针字段，调用方能感知到扩容后的变化。
基本上就这些。切片的底层数组指针是其高效操作的核心，理解它有助于避免共享数据的意外修改，也能更好地掌握扩容机制和函数传参的设计。
以上就是Golang指针与切片的关系 底层数组指针原理的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1402035.html
微信扫一扫 
支付宝扫一扫 
