Go中切片赋值复制的是三元组（指针、len、cap），不复制底层数组，故s2:=s1非独立副本；要真正独立需用copy+make或append([]int(nil), s1...)。
在 Go 中，切片（slice）是引用类型，但它的底层结构本身是值类型——这意味着当你把一个切片赋值给另一个变量时，复制的是切片头（包含指针、长度、容量），而不是底层数组。理解这一点，是掌握“复制切片”和“修改独立副本”的关键。
切片的底层结构决定复制行为
每个切片变量实际是一个三元组：指向底层数组的指针 + 长度（len） + 容量（cap）。赋值操作（如 s2 := s1）只复制这个三元组，不拷贝数组元素。因此：
- 若两个切片共享同一底层数组（比如通过简单赋值或
s[1:3]切分得到），修改其中一个会影响另一个 - 若想完全独立（互不影响），必须创建新底层数组并复制元素
如何真正复制切片（获得独立副本）
最常用且安全的方式是使用内置函数 copy 配合 make：
s1 := []int{1, 2, 3}
s2 := make([]int, len(s1)) // 分配新底层数组
copy(s2, s1) // 复制元素
此时修改 s2[0] = 99 不会影响 s1。注意：copy 只复制 min(len(dst), len(src)) 个元素，目标切片必须已分配足够空间。
立即学习“go语言免费学习笔记（深入）”；
快捷写法（等效）：
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
s2 := append([]int(nil), s1...)
这利用了 append 在 dst 为 nil 时自动分配新底层数组的特性，语义清晰，适合小到中等规模切片。
为什么 s2 := s1 不是独立副本？
看一个典型例子：
s1 := []int{1, 2, 3, 4}
s2 := s1 // 复制切片头，共用底层数组
s2[0] = 99
fmt.Println(s1) // 输出 [99 2 3 4] —— s1 被意外修改
再看扩容场景：
s1 := make([]int, 2, 4) s2 := s1 s2 = append(s2, 5) // s2 可能触发扩容，获得新底层数组 s2[0] = 99 fmt.Println(s1) // 仍是 [0 0]，未被影响 —— 此时才“偶然”独立
但这种独立不可靠：是否扩容取决于 cap 和当前 len，逻辑难预测，不能作为复制手段。
修改子切片时的常见陷阱
从原切片切出子切片（如 s2 := s1[1:3]）仍共享底层数组：
- 修改
s2[i]就是修改s1[1+i] - 若对
s2大量append导致扩容，则后续修改不再影响s1（但之前已修改的部分已生效）
若需安全操作子范围，应显式复制：
sub := s1[1:3] safeSub := append([]int(nil), sub...)
