Golang slice的pointer与底层 array有什么关系_Golang slice pointer引用模型说明

slice的pointer指向底层数组的起始元素地址，多个slice可共享同一数组内存，修改可能相互影响；append扩容时pointer会指向新数组，导致脱离原数组；传参时pointer被复制但仍指向原数组，修改会影响原始数据。

在 Go 语言中，slice 是对底层数组的抽象封装，它本身包含三个部分：指向底层数组的指针（pointer）、长度（len）和容量（cap）。当我们讨论 slice 的 pointer 与底层 array 的关系时，核心在于理解这个 pointer 如何引用数组内存，以及多个 slice 之间如何共享或隔离数据。

slice 的 pointer 指向底层数组的起始位置

每个 slice 内部都有一个指针字段，它指向底层数组中某个元素的地址。这个指针不是指向 slice 自己的结构体，而是直接指向被引用的数组内存块中的第一个有效元素。

例如：

此时 slice s 的 pointer 指向的是 data[2] 的地址，即值为 30 的那个元素。也就是说，slice 并不复制数组内容，而是通过 pointer 共享原数组的一段连续区域。

立即学习“go语言免费学习笔记（深入）”；

多个 slice 可能共享同一个底层数组

当不同的 slice 的 pointer 指向同一块数组内存的不同偏移位置时，它们实际上共享相同的底层数组。这意味着对其中一个 slice 的修改可能会影响其他 slice，只要它们重叠了数据范围。

示例：

现在 s1 和 s2 的 pointer 分别指向 arr[1] 和 arr[2]，但都基于同一个 arr。如果执行 s1[1] = 99，那么 s2[0] 也会变成 99，因为两者共享底层数组内存。

阿贝智能

阿贝智能是基于AI技术辅助创作儿童绘本、睡前故事和有声书的平台，助你创意实现、梦想成真。

63

查看详情

append 操作可能导致 pointer 脱离原数组

当对 slice 执行 append 操作且超出其 cap 时，Go 会自动分配一块新的更大数组，并将原数据复制过去。这时新生成的 slice 中的 pointer 将指向新的内存地址，不再与原来的底层数组有关联。

比如：

此时 u 的 pointer 很可能已经指向新分配的数组，与最初的底层数组无关。而 s 和 t 若未重新赋值，则仍保留旧 pointer，形成数据隔离。

传递 slice 到函数时 pointer 也被共享

由于 slice 是“引用类型”（更准确地说是包含指针的值类型），将其传入函数时，copy 的是 slice 结构本身（包括 pointer、len、cap），但 pointer 依然指向原数组。因此函数内通过该 slice 修改元素会影响原始数据。

例如：

调用后 data[0] 变成 999，说明函数内的 s 和外部 data 共享同一个底层数组，通过相同的 pointer 访问内存。

基本上就这些。slice 的 pointer 是连接它与底层数组的关键桥梁，理解它的行为有助于避免共享副作用或误判内存使用情况。

以上就是Golang slice的pointer与底层 array有什么关系_Golang slice pointer引用模型说明的详细内容，更多请关注php中文网其它相关文章！