17370845950

结论：通过 &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 头部」混淆——后者不保证影响原数据，前者一定影响底层数组。