Go slice append 后原切片内容为什么被覆盖

Go 里看到 append 后“原切片内容被覆盖”，通常不是 append 修改了切片变量本身，而是两个切片仍然指向同一个底层数组。只要原切片还有备用容量，append 就可能直接复用这块数组；新增元素写入原切片长度之外的位置，随后另一个切片如果把这段位置纳入自己的长度，就会看到变化。

处理这类问题的关键只有两步：先看清 len 和 cap，再决定是要隔离追加的容量，还是要复制一份完全独立的数据。下面用一个小型“切片快照”示例把这两个选择串起来。

先看一个会“覆盖”原切片的最小示例

先构造一个长度为 2、容量为 4 的切片，再从它派生一个长度为 1 的视图。两个切片的切片头不同，但都指向同一块底层数组：

package main

import "fmt"

func main() {
	// 预留容量，让后面的 append 有机会复用原数组。
	base := make([]int, 2, 4)
	base[0], base[1] = 10, 20

	// view 与 base 共享底层数组，只是长度和可见范围不同。
	view := base[:1]
	view = append(view, 99)

	// view 看见了 10、99；base 的长度仍是 2，但第二个元素已被改写。
	fmt.Printf("base=%v len=%d cap=%d\\n", base, len(base), cap(base))
	fmt.Printf("view=%v len=%d cap=%d\\n", view, len(view), cap(view))
}

这里的“覆盖”来自共享存储：view 的第二个元素正好落在 base 的第二个位置。append 返回了新的切片头，所以必须接住返回值；但是否重新分配底层数组，仍由容量决定。

为什么 cap 决定了“会不会覆盖”

切片可以理解为指向数组某个位置的描述符，至少包含指针、长度和容量。长度决定当前能直接索引到哪里，容量决定从当前起点最多还能扩展多少。官方规范对 append 的规则很明确：容量不足时分配新的底层数组，容量足够时复用原数组。

因此，以下两种情况的结果不同：

• cap(view) > len(view)：追加通常可以写入原数组的备用位置，其他别名切片可能观察到这次写入。
• cap(view) == len(view)：追加无法在原数组中继续扩展，会得到新的底层数组，原数组不再被这次追加写入。

“通常”很重要：不要根据某一次输出猜底层数组地址，也不要把扩容策略当作业务契约。代码真正应该表达的是数据是否允许共享。

不想让追加改到原切片：限制派生切片的容量

如果只是希望保留原切片，同时让某个派生视图安全追加，可以使用三下标切片表达式 s[:len(s):len(s)]。第三个下标把新切片的容量收紧到长度，后续 append 就不能使用原数组的备用空间：

package main

import "fmt"

func main() {
	// base 仍然预留容量，但 view 的 cap 被主动收紧。
	base := make([]int, 2, 4)
	base[0], base[1] = 10, 20
	view := base[:len(base):len(base)]

	// 容量不足会促使 append 取得新数组，base 不会被新增值改写。
	view = append(view, 99)
	fmt.Printf("base=%v view=%v\\n", base, view)
}

这种方式适合“内容先共享，后续追加要隔离”的边界。注意它只限制了追加扩展；如果代码仍然直接修改共同长度范围内的元素，例如 view[0] = 7，原切片依然会看到变化。

需要完全独立：用 copy 建立数据副本

如果派生切片会被异步任务、缓存或长期保存，最好不要依赖共享底层数组，而是明确复制：

package main

import "fmt"

func cloneInts(src []int) []int {
	// 先按源切片长度分配独立数组，再复制当前可见元素。
	dst := make([]int, len(src))
	copy(dst, src)
	return dst
}

func main() {
	base := []int{10, 20}
	independent := cloneInts(base)

	// 追加或修改副本不会改变 base 的元素。
	independent = append(independent, 99)
	independent[0] = 7
	fmt.Printf("base=%v independent=%v\\n", base, independent)
}

copy 只复制当前长度范围内的元素，不会复制源切片的备用容量，因此副本拥有自己的存储边界。代价是一次分配和元素复制；在数据要跨越生命周期、并发边界或缓存边界时，这个代价通常比隐式共享更容易维护。

最后用三类检查点确认修复方向

排查时先打印 len 和 cap，再回看派生切片的来源。不要只盯着 append 那一行：真正决定“原切片为什么被覆盖”的，是共享底层数组以及追加时是否还有容量。

常见问题

为什么一定要写成 view = append(view, x)？

因为 append 返回更新后的切片头。容量不足时它可能指向新数组，忽略返回值就无法继续使用扩容后的长度和指针。

三下标切片是不是等于深拷贝？

不是。它仍然与原切片共享已有元素，只是限制了自己的容量；需要完全隔离时仍应使用 make 与 copy。