Go append 后原切片也变了是什么原因

遇到“append 后原切片也变了”，通常不是 append 修改了切片变量，而是两个切片仍然共享同一个底层数组。只要原切片还有多余容量，追加操作就可能直接写入那块共享存储；另一个切片如果通过扩展长度看到了对应位置，就会读到新值。

判断这类问题要同时看 len 和 cap：容量足够时，append 会复用底层数组；需要隔离时，用 s[:len(s):len(s)] 限制容量，或者用 copy / slices.Clone 复制数据。

先看 len 和 cap，而不是只看切片内容

切片可以理解为“底层数组的一段窗口”。len(s) 表示当前窗口可读写的元素数，cap(s) 表示从窗口起点开始，底层数组还允许扩展到多大。s[1:3] 创建的是新的切片描述符，但它仍指向原数组，所以元素写入会互相可见。

base := make([]int, 2, 4)
base[0], base[1] = 10, 20
view := base[:1]

fmt.Println(len(base), cap(base)) // 2 4
fmt.Println(len(view), cap(view)) // 1 4

这里 view 只有一个可见元素，却从起点开始拥有 4 的容量。这个“看不见但可用”的尾部，正是后续 append(view, 99) 可能写入的位置。

append 是否复用数组，取决于剩余容量

append 返回一个新的切片值，所以稳妥写法始终是接住返回值。它会先判断新长度是否超过容量：没有超过时，直接在原数组的尾部写入；超过时，分配一块足够大的新数组并复制旧元素。具体扩容倍数属于实现细节，业务代码不应依赖某个固定数字。

source := make([]int, 1, 3)
source[0] = 7
alias := source[:1]

grown := append(alias, 8)
fmt.Println(source, alias, grown) // [7] [7] [7 8]

// 让 alias 暴露底层数组的尾部后，可以观察到追加值
expanded := source[:2]
fmt.Println(expanded) // [7 8]

“原切片变了”往往是观察方式造成的错觉：原切片的 len 仍然是 1，它没有突然多出一个元素；只是底层数组的下一个槽位已经被写入，其他能够覆盖到该槽位的切片会读到它。若追加超出容量，grown 会改指向新数组，此后两者的元素修改才真正分开。

用三下标切片限制后续 append 的写入范围

如果函数只想把一段数据交给下游追加，又不希望下游复用自己的尾部空间，可以使用完整切片表达式：s[low:high:max]。它把容量设置为 max-low。常见的隔离写法是：

func handoff(s []int) []int {
    // 返回值仍共享已有元素，但没有可供 append 复用的尾部容量
    return s[:len(s):len(s)]
}

original := make([]int, 2, 4)
original[0], original[1] = 1, 2
part := handoff(original)
part = append(part, 3) // 必须分配新的底层数组

限容只保证后续 append 不会把新增元素写进原数组，不能阻止调用方直接修改已有元素。例如 part[0] = 100 仍会影响 original[0]。这是一种“追加隔离”，不是完整复制。

需要完全独立时，用 copy 或 slices.Clone

当函数要保存数据、跨 goroutine 传递，或返回结果而不想让调用方继续牵连原数组，直接复制更清楚：

func cloneInts(src []int) []int {
    dst := make([]int, len(src))
    copy(dst, src)
    return dst
}

// Go 1.21 及以后也可以使用：
// dst := slices.Clone(src)

copy 复制的是元素，不会复制切片背后的所有权语义。若元素类型是指针、切片、map 或包含这些字段的结构体，复制后仍可能共享更深层对象；这时需要根据业务定义做更深层的复制。对字节缓冲区、解析结果和缓存快照，最好在函数注释或接口文档中说明调用方是否可以修改返回值。

常见问题

为什么同一段 append 代码有时改变原切片，有时没有？

因为输入切片的容量不同。容量足够就复用底层数组，容量不够就换新数组；不要把某次运行的扩容结果当成语言层保证。

把切片传进函数会自动复制吗？

不会。传入的是切片描述符的副本，描述符里的底层数组指针仍可能相同；函数内修改元素通常会影响调用方。

限容切片能代替 copy 吗？

不能完全代替。限容适合阻止下游追加覆盖尾部，已有元素仍共享；需要完全独立的快照时应复制。

排查时打印同一组输入的 len、cap 和追加前后内容，先判断是不是共享存储，再决定限容还是复制。这样比盲目增加容量或反复改变量名更可靠。