Go 切片 append 后原切片数据为什么也变了

如果一个子切片执行 append 后，原切片里的元素也出现了变化，通常不是 Go 把切片“传引用”了，而是两个切片值仍然指向同一个底层数组。append 会返回新的切片头；当剩余容量足够时，它会直接在原数组后面写入，只有容量不够才会分配新数组。

先看 append 到底改了哪块内存

下面的例子把一个大切片截成两项。子切片 part 的长度是 2，但它从起点开始仍有 4 个元素的容量，所以追加第三项时不需要重新申请数组。

package main

import "fmt"

func main() {
	all := make([]int, 2, 4)
	all[0], all[1] = 10, 20 // 中文说明：预留两个可追加的位置
	part := all[:2]
	part = append(part, 99) // 中文说明：容量足够，可能写入 all 的后续位置

	fmt.Println(all)        // [10 20]
	fmt.Println(all[:3])    // [10 20 99]，扩展视图可以看到追加值
	fmt.Println(part)       // [10 20 99]

	part[0] = 77            // 中文说明：两个切片仍共享前两个元素
	fmt.Println(all[0])     // 77
}

这里打印 all 只有两项，是因为切片的长度没有自动改变；底层数组的第三个槽位已经写入 99，但原切片的视图暂时看不到它。若把 all 扩展到容量允许的长度，就能观察到这个写入。

用 len 和 cap 判断 append 是否会复用

切片可以理解为指向数组区间的描述值，至少要同时关注指针、长度和容量。长度不足以判断是否安全，关键是追加起点之后还有多少容量。

不要用“append 返回了新变量”来推断数据已经独立。新变量只是新的切片描述值，底层数组是否变化要看 cap 和实际追加量。运行时的扩容策略也不应被当作固定倍数；业务代码只需要依赖“容量足够可能复用，不足会扩容”这个语义。

用三切片表达式切断追加复用

如果函数只想把一段数据交给调用方追加，但不希望调用方的追加写回自己的后备空间，可以把容量上限收紧到当前长度：

package main

import "fmt"

func main() {
	source := []int{1, 2, 3, 4}
	view := source[1:3:3] // 中文说明：长度为 2，容量也限制为 2
	result := append(view, 8) // 中文说明：容量已满，追加会走新底层数组

	result[0] = 20 // 中文说明：修改结果，不应改写 source[1]
	fmt.Println(source) // [1 2 3 4]
	fmt.Println(result) // [20 3 8]
}

source[low:high:max] 的容量是 max-low。因此 source[1:3:3] 的长度和容量都是 2，任何继续追加都会触发新的存储。它只解决“追加不要复用”的问题；如果源切片和结果仍然共享已有元素，修改重叠位置仍可能互相影响。

需要完全独立副本时用 copy

当数据要跨越缓存、任务队列或函数生命周期保存，最清楚的写法是显式复制。这样不依赖容量，也不让读者猜测两个切片是否共享数组。

func cloneInts(src []int) []int {
	dst := make([]int, len(src)) // 中文说明：按源长度申请独立数组
	copy(dst, src)               // 中文说明：复制当前元素，返回实际复制数量可按需检查
	return dst
}

// 调用方可以安全修改副本，不会回写 src。
func prepare(src []int) []int {
	return cloneInts(append([]int(nil), src...)) // 中文说明：示例保持输入不变
}

实际项目中不必为了“看起来安全”到处复制。临时构造结果、生命周期完全受控时，可以直接复用容量；对外返回可变数据、保存到异步任务或需要隔离所有元素时，再选择三切片表达式或 copy。

按场景选择共享还是隔离

排查这类问题时，先打印追加前后的 len、cap，再检查两个切片是否来自同一段数据。不要靠扩容后的地址变化做业务判断，因为扩容细节属于实现策略，不是代码应该依赖的稳定规则。

常见问题

append 一定会修改原切片吗？

不一定。原切片的长度不会因为另一个变量的 append 自动变化；但只要底层数组被复用，追加写入和重叠元素修改就可能通过其他视图表现出来。

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

不会。函数参数会复制切片描述值，描述值指向的底层数组仍可能相同。需要隔离时，在函数边界显式使用三切片表达式或 copy。

三切片表达式能替代深拷贝吗？

不能。它只限制新的 append 是否复用容量，原有重叠元素仍共享；要让每个元素都独立，仍应创建新切片并复制。

这类“原切片也变了”的根因可以归结为一个判断：切片值变了，不代表底层数组变了。先看 cap，再按共享、限制追加或完全复制的场景选方案，问题就能从偶发的内存现象变成可解释的容量决策。