Go copy 复制切片长度为零时为什么没有效果

写 Go 切片复制时，最容易误判的一种情况是：目标切片明明有容量，调用 copy 后却没有任何数据。原因通常不是 copy 失效，而是目标切片的 len 为 0。copy(dst, src) 实际复制的数量是 min(len(dst), len(src))，只分配容量并不会增加目标切片的可写长度。

为什么目标切片有容量，copy 仍然返回 0

下面的写法看起来像是“先准备一块空间再复制”，但 dst 的长度仍然是 0：

src := []int{10, 20, 30}
dst := make([]int, 0, len(src)) // 中文注释：只预留容量，不创建可访问元素
n := copy(dst, src)              // 中文注释：复制数量取决于 len(dst) 和 len(src)
fmt.Println(n, len(dst), cap(dst))

这里的结果是 0 0 3。dst 可以继续 append，但当前并不存在可被 copy 覆盖的三个元素。把 slice 想成“指针、长度、容量”三个字段时，这个现象就很直观：容量是边界，长度才是当前视图。

覆盖复制应该把目标长度一次分配到位

如果需求是得到一份与源切片独立的副本，目标切片应直接拥有足够的长度：

src := []int{10, 20, 30}
dst := make([]int, len(src)) // 中文注释：长度决定 copy 可以写入多少元素
n := copy(dst, src)
if n != len(src) { // 中文注释：复制不完整时立即暴露问题
	panic("slice copy incomplete")
}
fmt.Println(dst) // [10 20 30]

此时 len(dst) 和 cap(dst) 至少都是 3，copy 返回 3。修改 dst[0] 不会改动 src[0]，因为两者已经是不同的底层数组。

追加数据时不要把 copy 当成 append

如果目标中已有数据，意图是把源切片接到末尾，append 更准确：

dst := []int{1, 2}
src := []int{3, 4}
dst = append(dst, src...) // 中文注释：追加会更新结果切片的长度
fmt.Println(dst)          // [1 2 3 4]

如果必须使用 copy 覆盖某段位置，要先把目标切到足够长度；只把容量扩出来仍然不够：

dst := make([]int, 2, 4)
src := []int{7, 8}
dst = dst[:len(src)] // 中文注释：把可写范围扩到两个元素，前提是 cap 足够
n := copy(dst, src)
fmt.Println(n, dst)  // 2 [7 8]

用返回值和边界用例做一次回归检查

copy 不会因为源或目标长度不同而报错，它会安静地复制较小长度。因此，业务代码若要求完整复制，不能只检查目标数组的部分内容：

实际项目中可以把复制逻辑包成小函数，并把“完整复制”作为契约：

func cloneInts(src []int) []int {
	dst := make([]int, len(src)) // 中文注释：空源会得到非 nil 的空切片
	copy(dst, src)
	return dst
}

如果接口需要区分 nil 和空切片，应在分配前单独判断 src == nil；否则这段函数足以保证返回切片与源数据互不共享。

常见问题

copy 会自动根据 cap 扩大目标切片吗？

不会。copy 只在目标当前长度范围内写入，不会修改目标的长度，也不会因为容量足够就自动扩展。

copy 的参数顺序可以写反吗？

不能。数据从右侧源切片复制到左侧目标切片，即 copy(dst, src)；写反后可能得到长度正确但方向错误的结果。

源和目标有重叠时安全吗？

可以。Go 规范规定重叠切片的复制结果独立于参数是否重叠，但仍应检查返回值和最终窗口，避免把长度问题误认为重叠问题。