切片能修改底层数组是因为其结构体包含指向数组的指针，赋值或传参时复制的是该指针而非数据；扩容会创建新数组，导致指针指向改变。
切片底层结构决定了它能修改底层数组
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 } 也是值类型，但它字段里的指针照样能改外部数据。切片同理——它是个轻量结构体，本质是带长度/容量的指针封装。
立即学习“go语言免费学习笔记（深入）”；
真正要注意的不是“能不能改”，而是“改的是谁的底层数组”，尤其在并发或长期持有子切片（如 s[10:20]）时，可能意外延长原大数组的生命周期，导致内存无法释放。