Go copy 处理重叠切片时结果是否可靠

可靠。Go 语言规范明确规定，内置 copy 的结果不受参数所引用内存是否重叠的影响。因此，源切片和目标切片即使来自同一个底层数组，也可以直接用 copy 做原地左移或右移，不需要先复制到临时切片。真正需要留意的是：它只复制两个切片长度中的较小值，不会替你扩容、改变切片长度，也不会让并发读写自动变安全。

官方依据：https://go.dev/ref/spec#Appending_and_copying_slices

为什么源和目标重叠仍然可靠

我第一次用 copy(s[i:], s[i+1:]) 删除元素时，也担心前面的写入会不会覆盖后面尚未读取的数据。这个担心来自手写循环：如果循环方向选错，重叠区间确实可能互相污染。但 copy 不是对调用方暴露逐元素复制顺序的普通循环；规范直接约定了结果与是否重叠无关。

可以把它理解为一种具备重叠保护语义的整体搬移。调用者只描述目标区间和来源区间，不能也不需要依赖实现究竟从左向右还是从右向左处理。

最小配方：先看返回值和长度规则

copy(dst, src) 返回实际复制的元素数量：

func CopyPrefix(dst, src []int) int {
    // copy 不会扩展 dst，实际数量是 len(dst) 与 len(src) 的较小值
    n := copy(dst, src)
    return n
}

这里最容易误判的是容量。即使 cap(dst) 很大，copy 也只看 len(dst)。要让目标区间更长，必须先通过重新切片或 append 扩大可见长度。

向左搬移：删除元素时直接 copy

删除索引 i 的元素并保持顺序，可以把后半段向左覆盖：

func DeleteAt[T any](s []T, i int) ([]T, bool) {
    // 非法索引不修改原切片，并让调用方明确知道删除失败
    if i = len(s) {
        return s, false
    }

    // 目标区和来源区共享底层数组且互相重叠，copy 仍保证结果正确
    copy(s[i:], s[i+1:])

    // 清零原末尾，避免含指针元素继续保留无用对象
    var zero T
    s[len(s)-1] = zero
    return s[:len(s)-1], true
}

这段代码里，dst 从 i 开始，src 从 i+1 开始，两者显然重叠。可靠性来自 copy 本身，而不是碰巧选择了某种复制方向。清零末尾则是另一个问题：它用于断开可能存在的指针，不是为了修复重叠复制。

向右搬移：插入前先让切片变长

向右移动时，常见错误是直接写 copy(s[i+1:], s[i:])，但此时 s[i+1:] 的长度可能不够，最后一个元素没有可写位置。正确做法是先追加一个零值，让切片长度增加，再进行重叠复制：

func InsertAt[T any](s []T, i int, value T) ([]T, bool) {
    // 允许 i 等于 len(s)，此时表示在末尾插入
    if i  len(s) {
        return s, false
    }

    oldLen := len(s)
    var zero T
    s = append(s, zero) // 先扩展长度；append 可能更换底层数组

    // 在 append 返回的新切片上，把 [i, oldLen) 整体向右移动一格
    copy(s[i+1:], s[i:oldLen])
    s[i] = value
    return s, true
}

这里有个我认为比重叠更值得警惕的细节：append 可能重新分配底层数组。后续所有切片表达式都应基于更新后的 s 创建，不要在 append 前保存一个旧别名，再混用新旧切片。

可靠不等于所有写法都正确

重叠语义只解决“同一次 copy 调用中，源区和目标区交叠”的问题。它不会覆盖下面这些边界：

• 不会扩容：目标切片不够长时，只复制能容纳的部分。
• 不会自动改 len：删除后要自行缩短，插入前要先扩大。
• 不会清理废弃尾部：手写删除含指针元素时，应把旧末尾设为零值。
• 不会提供并发同步：其他 goroutine 同时读写同一底层数组仍可能产生数据竞争。
• 不要依赖内部方向：规范保证最终结果，不承诺调用方可观察的逐元素先后顺序。

如果源和目标来自完全不同的数组，copy 同样适用；如果只是想得到独立副本，可以先分配目标切片：

func Clone[T any](src []T) []T {
    // 新建等长目标切片，避免结果继续共享原底层数组
    dst := make([]T, len(src))
    copy(dst, src)
    return dst
}

一段完整示例怎么选

最终判断很简单：只要源和目标是合法切片，Go 就保证 copy 的结果不受两者内存重叠影响。左移和右移都可以直接使用；你需要自己负责的，是目标长度、切片长度变化、废弃引用清理，以及调用之外的并发安全。