结论:通过 &slice[i] 修改切片元素确实会改变原切片对应位置的值,并影响所有共享同一底层数组的切片;因为 &slice[i] 获取的是底层数组元素地址,而 &slice 获取的是 slice 头部结构体地址。

Go 中用指针修改切片元素到底改了谁?
直接说结论:slice 本身是值类型,但它的底层结构包含指向底层数组的指针;所以通过 &slice[i] 获取某个元素的地址并修改,**确实会改变原切片对应位置的值**,且影响所有共享同一底层数组的切片。
为什么 &slice[i] 能成功修改,而 &slice 不能?
slice 变量本身由三部分组成:指向数组的指针、长度、容量。对 slice 取地址(&slice)得到的是这个三元结构体的地址,修改它只能影响该变量副本,不影响底层数组;但 &slice[i] 是对底层数组中第 i 个元素取地址,这个地址指向真实数据内存,写入即生效。
-
slice是值传递,传参或赋值都会复制头信息(指针+len+cap),但底层数组不会复制 -
&slice[i]的类型是*T(比如*int),可安全用于func(*int)等场景 - 若
slice发生扩容(如append后超出 cap),底层数组可能被迁移,原有&slice[i]地址将不再有效(悬垂指针)
常见误用:以为修改 slice 指针能改变原切片
下面这段代码常被误解为“能改变外部切片”:
func badModify(s *[]int) {
*s = append(*s, 99)
}
实际效果取决于是否扩容:
立即学习“go语言免费学习笔记(深入)”;
- 未扩容时:
*s指向的仍是原底层数组,append修改了原 slice 的 len,外部可见 - 扩容后:
*s被赋值为一个新底层数组的 slice,原 slice 不受影响(因为只改了*s这个局部指针变量) - 真正安全的写法是返回新 slice:
func goodModify(s []int) []int { return append(s, 99) }
实操验证:两个切片共享底层数组时的指针修改行为
运行以下代码可清晰看到地址和值的变化:
package main
import "fmt"
func main() {
a := []int{1, 2, 3}
b := a[1:] // 共享底层数组
fmt.Printf("a: %v, b: %v\n", a, b) // [1 2 3] [2 3]
fmt.Printf("&a[1]: %p, &b[0]: %p\n", &a[1], &b[0]) // 地址相同
p := &a[1]
*p = 999
fmt.Printf("a: %v, b: %v\n", a, b) // [1 999 3] [999 3] —— 都变了
}
关键点:只要没发生扩容,&slice[i] 就是稳定可靠的底层数据入口;但别把它和「修改 slice 头部」混淆——后者不保证影响原数据,前者一定影响底层数组。










