切片能修改底层数组是因为其结构体包含指向数组的指针，赋值或传参时复制的是该指针而非数据；扩容会创建新数组，导致指针指向改变。

切片底层结构决定了它能修改底层数组

Go 中的切片（[]T）确实是值类型，赋值或传参时会复制结构体本身，但这个结构体只包含三个字段：ptr（指向底层数组的指针）、len（长度）、cap（容量）。复制的是指针，不是数组数据。所以多个切片变量可能共享同一段底层数组内存。

修改元素时操作的是指针指向的内存地址

当你执行 s[i] = x 这类操作时，编译器会通过切片的 ptr 字段计算出实际内存地址，然后写入。哪怕你把切片作为参数传给函数，函数内拿到的是原切片结构的副本，但它的 ptr 仍指向同一块数组内存——因此修改元素会反映到“原数据”上。

func modify(s []int) {
    s[0] = 999 // 修改生效，因为 s.ptr 和调用方 s.ptr 指向同一数组
}
func main() {
    a := []int{1, 2, 3}
    modify(a)
    fmt.Println(a) // 输出 [999 2 3]
}

扩容会切断与原数组的联系

关键区别在于：只要没触发扩容（即 len + 新增数量 ），所有基于同一底层数组的切片都可互相影响；一旦调用 append 导致容量不足，运行时会分配新数组、拷贝数据、更新切片的 ptr 和 cap —— 此后该切片就不再影响原来的底层数组了。

• append(s, x) 可能返回一个 ptr 指向新内存的切片
• 原切片变量（如 s）不会自动更新，除非你显式赋值：s = append(s, x)
• 判断是否扩容：打印 &s[0] 地址前后对比，或检查 len(s) 和 cap(s) 变化

容易误以为“值类型就不能改原数据”的根本误区

混淆了“值类型”和“深拷贝”。Go 的值类型只表示传递方式（拷贝值），不保证内容不可变或隔离。比如 struct{ p *int } 也是值类型，但它字段里的指针照样能改外部数据。切片同理——它是个轻量结构体，本质是带长度/容量的指针封装。

真正要注意的不是“能不能改”，而是“改的是谁的底层数组”，尤其在并发或长期持有子切片（如 s[10:20]）时，可能意外延长原大数组的生命周期，导致内存无法释放。