Go copy 复制切片返回数量变少时怎么定位目标长度

Go 里 copy(dst, src) 返回数量变少，先看目标切片的 len。它不会按 cap 自动扩容，实际复制数量等于 min(len(dst), len(src))。所以源切片有 5 个元素、目标切片只有 2 个元素时，返回 2 是正常行为；想复制完整数据，要么把目标长度初始化到足够大，要么改用 append。

copy 返回数量为什么会变少

最小示例可以把问题直接暴露出来：

package main

import "fmt"

func main() {
	// 源切片有 5 个元素，目标切片只预留 2 个可写元素。
	src := []int{10, 20, 30, 40, 50}
	dst := make([]int, 2)

	// copy 按两个切片的 len 取较小值，并返回实际复制数量。
	n := copy(dst, src)
	fmt.Println(n, dst) // 2 [10 20]
}

这里不是 src 被截断，而是 dst 只能接收两个元素。Go 语言规范对内置 copy 的定义就是复制两个 slice 的重叠部分并返回复制的元素数，判断短复制时先记录这三个值：

先查 len，再看 cap 是否被误用了

最容易误判的是：目标切片的容量够大，但长度仍然是 0。下面的 dst 有 5 个元素的容量，却没有可写元素，因此 copy 返回 0：

// 目标只分配容量，不增加可写长度。
dst := make([]int, 0, 5)
src := []int{1, 2, 3}

// len(dst) 为 0，所以这里不会写入任何元素。
n := copy(dst, src)
fmt.Println(n, len(dst), cap(dst)) // 0 0 5

如果这是覆盖式复制，应直接把长度建出来：

// 长度为 3，表示 dst 当前有 3 个可写位置。
dst := make([]int, len(src))

// 返回值应等于 len(src)，随后可按 dst 读取复制结果。
n := copy(dst, src)
fmt.Println(n, dst) // 3 [1 2 3]

也可以在确认容量足够时扩展切片长度，但扩展前必须明确目标区间属于自己管理的底层数组：

// 先创建已有切片，再把可写视图扩到需要的长度。
dst := make([]int, 0, 5)
src := []int{1, 2, 3}
dst = dst[:len(src)]

// dst[:3] 才提供了 3 个可写元素。
n := copy(dst, src)
fmt.Println(n, dst) // 3 [1 2 3]

覆盖复制和追加复制不要混用

copy 只负责把元素写进目标已有长度，适合覆盖一段预先分配好的区域；如果目标里已有数据，且需求是“保留旧数据，再接上源数据”，就应该使用 append：

src := []int{30, 40}
dst := []int{10, 20}

// append 返回新的切片，旧数据保留在结果前面。
result := append(dst, src...)
fmt.Println(result) // [10 20 30 40]

两种写法的意图不同：copy 的目标是已有位置，append 的目标是增长结果。不要因为 cap(dst) 足够就把它当成“已经有长度”；容量只有在通过切片表达式或 append 使用时才会参与后续布局。

用返回值做一次反向验证

在排查接口组装、批量缓冲区或数据转换时，不要只打印最终切片，建议把预期数量和实际数量一起判断：

func copyExact[T any](dst, src []T) ([]T, error) {
	// 目标长度不足时直接返回错误，避免静默丢失尾部元素。
	if len(dst) 

如果源和目标来自同一个底层数组，重叠复制本身是允许的，规范定义的结果等价于先复制到临时数组再写回。真正需要重点排查的仍是长度：len(dst) 不足、把 cap 当成 len，或者本来想追加却选择了覆盖式 copy。

相关问题

目标切片是 nil 时 copy 会 panic 吗？

不会。nil slice 的长度是 0，copy(dst, src) 会返回 0；它不会自动分配目标空间。

copy 会自动扩容目标切片吗？

不会。需要完整接收源数据时，用 make([]T, len(src)) 建立长度，或使用 append(dst, src...)。

为什么 cap 足够但 copy 仍然返回 0？

因为可写范围由 len 决定。make([]T, 0, n) 只有容量，没有元素长度，必须先扩展长度或通过 append 写入。

遇到返回数量变少时，按“len(src)、len(dst)、cap(dst)、返回值”顺序记录即可。只要先确认目标切片是否真的拥有足够长度，通常不需要怀疑 copy 丢数据。