Golang copy函数使用的两个常见陷阱

小鹿同学

发布时间：2026-10-15 | 5人浏览过

原创

Go 语言的 copy 函数在处理切片时存在两个极易被忽视的陷阱：一是目标切片未初始化长度导致的数据丢失；二是面对引用类型（如二维切片）时仅执行浅拷贝而引发 unintended 的副作用。

陷阱一：目标切片(dst)必须先初始化长度

copy(dst, src []Type) 函数用于将源切片 src 的元素复制到目标切片 dst 中，并返回成功复制的元素个数。很多开发者误以为只要定义了变量就能直接赋值，但 copy 对底层存储容量有严格要求。

核心规则： dst 的长度（Length）必须大于等于需要复制的元素数量，或者至少要有足够的容量来容纳从 src 复制过来的部分数据。如果 dst 长度小于 src 长度，超出 dst 容量的部分将被静默丢弃，不会报错。
常见错误： 仅声明切片而未使用 make 初始化，或未设置足够的初始长度。

第1步：准备测试环境

创建一个源切片 src，准备两个不同状态的目标切片：dst_short（长度不足）和 dst_full（长度充足）。

第2步：验证长度不足的后果

// 错误示范：目标切片没有预分配足够的空间
dst := make([]int, 2) // 长度为2
src := []int{1, 2, 3, 4}
n := copy(dst, src)
// 结果：n=2, dst=[1, 2]。src中的[3, 4]被丢弃，且程序不报错。

第3步：正确初始化长度

在进行拷贝前，确保 dst 的长度能够容纳所有预期复制的数据，或者根据业务逻辑接受截断风险。若不确定长度，可使用 make([]T, len(src))。

陷阱二：引用类型的浅拷贝误区

当切片元素的类型是指针、map 或切片等引用类型时，copy 函数仅仅复制这些引用的“地址”（指针），而不会复制引用所指向的具体内容。这被称为“浅拷贝”。在多维数据结构中，这种机制常常导致意想不到的 Bug。

第1步：观察二维切片的浅拷贝行为

考虑一个二维切片 matA，我们尝试将其完整拷贝到 matB。直观上用户可能认为它们完全独立，但实际上它们是共享内部一维切片内存的。

以下代码展示了典型的浅拷贝陷阱：

func wrongCopyMatrix() {
    matA := [][]int{
        {0, 1, 1, 0},
        {0, 1, 1, 1},
        {1, 1, 1, 0},
    }
    // 只创建了外层slice的结构，内层slice为nil或未初始化
    matB := make([][]int, len(matA))
    
    // 此时仅复制了内部一维slice的指针地址
    copy(matB, matA)
    
    fmt.Printf("Outer Address A: %p\n", &matA)
    fmt.Printf("Inner Slice A[0]: %p\n", matA[0]) // 例如: 0x00C000082050
    
    fmt.Printf("Outer Address B: %p\n", &matB)
    fmt.Printf("Inner Slice B[0]: %p\n", matB[0]) // 例如: 0x00C000082050 (地址相同！)
}

如上所示，matB[0] 和 matA[0] 指向同一个底层数组。如果你修改了 matB[0][0]，matA[0][0] 也会随之改变。这对追求数据隔离的操作来说是致命的。

第2步：执行深层拷贝的正确姿势

要实现多维数据的完全独立拷贝，必须在循环中对每一层的元素分别进行初始化和拷贝。这是一个两步走的过程：先创建新的内存块，再填入数据。

func deepCopyMatrix() {
    matA := [][]int{
        {0, 1, 1, 0},
        {0, 1, 1, 1},
        {1, 1, 1, 0},
    }
    
    // 1. 创建外层切片
    matB := make([][]int, len(matA))
    
    for i := range matA {
        // 2. 为每一行创建独立的新切片
        matB[i] = make([]int, len(matA[i]))
        // 3. 拷贝每一行的数据
        copy(matB[i], matA[i])
    }
    
    // 验证：现在 matB[0] 和 matA[0] 的地址不同了
    fmt.Printf("Deep Copy Outer: %p, Inner A: %p, Inner B: %p\n", 
        matB, matA[0], matB[0])
}