go 的 append 函数不总是创建新底层数组，当操作超出当前切片容量时才会扩容；若未保存 append 返回值，且原切片仍有足够容量，修改会反映到底层数组上，导致意外交互。
go 的 append 函数不总是创建新底层数组，当操作超出当前切片容量时才会扩容；若未保存 append 返回值，且原切片仍有足够容量，修改会反映到底层数组上，导致意外交互。
在 Go 中，append 是一个纯函数式接口但具有潜在副作用的操作——它返回一个新的切片值，但可能复用原有底层数组。这种设计以性能为优先：避免每次追加都分配内存和复制数据。关键在于切片的三个属性：长度（len）、容量（cap）和指向的底层数组指针。
当你写 args[:i] 时，并未创建新数组，只是生成一个共享同一底层数组的新视图，其容量仍为原切片的 cap（本例中 args 初始 len=3, cap=3）。因此：
args := []string{"2", "3", "8"} // len=3, cap=3, underlying array = ["2","3","8"]
执行 append(args[:0], args[1:]...) 即 append([], "3","8")：
- 目标切片 args[:0] 长度为 0，但 cap=3，底层数组仍有空间；
- append 直接向该底层数组前两个位置写入 "3" 和 "8"，结果为 ["3","8","8"]（第三个元素未被覆盖，仍保留原值）；
- 由于你未将返回值赋给 args，args 变量本身未更新，但底层数组已被修改；
- 后续迭代继续基于已污染的底层数组操作，最终输出全为 [3 8]，且 fmt.Println(args) 显示 ["3","8","8"]。
✅ 正确做法是：始终接收并使用 append 的返回值，或显式创建独立副本。
✅ 方案一：每次构造新切片（推荐用于小数据）
func main() {
args := []string{"2", "3", "8"}
for i := range args {
// 创建新切片：取 [0:i] + [i+1:end]，不共享底层数组
result := make([]string, 0, len(args)-1)
result = append(result, args[:i]...)
result = append(result, args[i+1:]...)
fmt.Println(result)
}
fmt.Println("original:", args) // ["2","3","8"] —— 未被修改
}
输出：
[3 8] [2 8] [2 3] original: [2 3 8]
✅ 方案二：预分配 + copy（更高效，避免多次 append）
for i := range args {
result := make([]string, len(args)-1)
copy(result, args[:i])
copy(result[i:], args[i+1:])
fmt.Println(result)
}
⚠️ 注意事项
- 永远不要忽略 append 的返回值：Go 切片是值类型，但其内部包含指向底层数组的指针；append 可能返回指向同一数组（cap 充足时）或新数组（cap 不足时）的切片。
- 容量陷阱：args[:i] 的容量 = cap(args) - i，而非 i。例如 args[:0] 的 cap 仍是 3，因此 append 可直接覆写后续位置。
- 若需安全地“删除”某元素并传递副本，应显式 make + copy，而非依赖 append 的副作用行为。
总结：append 的“修改原切片”现象本质是底层数组复用，源于容量未超限。写出健壮代码的关键是——视 append 为不可变操作：接收返回值，勿假设原变量不变；如需隔离，主动复制。
