Go copy 为什么在重叠切片上仍然可以使用

Go 的内置 copy 允许源切片和目标切片共享底层数组，甚至覆盖同一段元素。这是语言明确保证的行为：复制结果不因两个参数引用的内存发生重叠而改变。需要留意的是，copy 不会扩展目标长度，也不会创建独立的深拷贝。

例如在队列里删除一项，可以把后面的元素复制到前面的空位。与手写逐项赋值相比，copy 不需要调用方根据重叠方向选择遍历顺序。下面用几个小实验把这个保证和它的边界分开。

Go 官方地址：https://go.dev/

准备：先分清切片视图和底层数组

切片持有对底层数组的引用。由同一个切片截取出的两个子切片，通常仍然指向同一块存储。copy 的第一个参数是目标，第二个参数是来源；返回值是实际复制的元素数量，等于两个参数长度的较小值。

先新建一个空目录，把下面完整示例保存为 main.go。所有数据都在内存中，无需数据库、网络或第三方包。本文列出的结果是依据语言规则推导的预期值，没有把示例描述成本机运行记录。

实验一：把队列中的元素向右移动

package main

import "fmt"

func main() {
    slots := []string{"待分配", "校对", "排版", "发布", "预留"}
    // 目标和来源共享底层数组；复制右移时无需自行倒序。
    n := copy(slots[2:], slots[1:4])
    fmt.Println(n)
    fmt.Println(slots)
}

这里来源是“校对、排版、发布”，目标覆盖索引 2 到 4。按规则推导，n 为 3，slots 变为“待分配、校对、校对、排版、发布”。原索引 1 的“校对”仍然保留，因为它不在目标区域。

如果改成从左向右的普通赋值循环，第一次把“校对”写进索引 2，下一次读取索引 2 时就可能读到被覆盖后的值。copy 的语义保证避免了这类重叠覆盖问题。理解时可以把它想成复制开始时那段来源内容的有效搬移，但这不代表实现必须分配临时数组，也不能据此推断每次调用都发生堆分配。

实验二：删除元素时同时更新长度

队列删除一个位置，本质上是把后缀向左搬，再缩短切片。copy 只负责搬移元素，清理末尾和更新长度需要调用方完成。下面使用字符串零值清理旧尾部；该写法也便于理解其他持有引用的元素类型为什么需要清尾。

package main

import "fmt"

func removeAt(items []string, index int) ([]string, error) {
    if index = len(items) {
        return items, fmt.Errorf("索引越界: %d", index)
    }
    // 把待删除项之后的后缀复制到空位，重叠复制由 copy 保证。
    copy(items[index:], items[index+1:])
    last := len(items) - 1
    items[last] = "" // 清理不再属于有效队列的旧尾部引用。
    return items[:last], nil
}

func main() {
    queue := []string{"收稿", "复核", "排版", "归档"}
    var err error
    // 接回新的切片长度，否则调用方仍看到原来的长度。
    queue, err = removeAt(queue, 1)
    if err != nil {
        fmt.Println(err)
        return
    }
    fmt.Println(queue)
}

预期有效队列为“收稿、排版、归档”。这个函数原地修改底层数组；如果其他切片也引用它们，它们可能看见被搬移或清空的元素。返回切片只改变有效长度，没有让数据自动独立。函数内的切片参数按值传递，因而调用方应接回返回结果。

实验三：容量够大，为什么还是复制零个元素

package main

import "fmt"

func main() {
    src := []int{12, 24, 36}
    dst := make([]int, 0, 3)
    // copy 看长度而非容量；当前目标长度为零。
    first := copy(dst, src)
    dst = dst[:cap(dst)] // 显式扩大可写视图，不能超出容量。
    second := copy(dst, src)
    fmt.Println(first, second, dst)
}

预期 first 为 0，second 为 3，dst 为 [12 24 36]。cap 只说明底层数组允许的重新切片范围，并不代表这些元素已经属于当前切片。实际业务中如果明确要得到与来源等长的目标，用 make([]int, len(src)) 通常更直观。

自己运行时应该观察什么

# 每个完整示例分别保存为 main.go，逐个运行以观察预期数据。
go run main.go

观察时优先看实际复制数量、完整切片内容以及 len，而不是只看程序有没有报错。如果把三个示例放进同一个文件，需要只保留一份 package、import 和 main，或分别使用不同目录。没有外部资源需要清理；实验结束删除自己创建的示例文件即可。

不要把“允许重叠”扩大理解为“并发安全”。其他 goroutine 同时读写相同元素时，仍需要围绕共享数据建立同步或独占访问。copy 也只复制元素值：元素若是指针、map 或切片，其引用的对象不会递归复制。要隔离业务数据，应根据元素结构另行设计复制策略。

相关问题

源切片和目标完全相同会怎样？

可以调用，实际复制数量仍由长度决定。它不会让切片独立，也不会增加长度，通常没有必要为了“备份”这样写。

copy 会自动追加到末尾吗？

不会。追加属于 append 的职责。copy 向目标当前长度覆盖的元素位置写入，不能把目标容量直接当作长度使用。

nil 切片能作为参数吗？

可以。nil 切片长度为零，因此至少一个参数为 nil 切片时复制数量为零。参数求值过程中形成越界子切片的错误则是另一回事，copy 不会替调用方修复越界表达式。

处理重叠切片时，先确定底层数据由谁持有，再确认目标长度，最后根据任务决定是否清尾和缩短视图。copy 解决的是元素搬移的正确语义，长度管理、引用隔离和同步仍然由业务代码负责。

参考：Go 语言规范：追加与复制切片、Go 内置 copy 文档。