Go slices.Clone 为什么不能深拷贝二维切片

如果二维切片的类型是 [][]int，直接调用 slices.Clone(matrix) 只会复制最外层的切片。新的外层容器已经和原容器分开，但其中每个元素本身还是一个切片，内层切片的元素数组仍可能共享，所以修改副本中的数字会回写到原数据。

需要真正的二维深拷贝时，先为外层创建新切片，再对每一行单独调用 slices.Clone；这样复制的是每一层的元素数组，而不是只复制一层切片头。

为什么 slices.Clone 只复制了外层

slices.Clone 的定义是对输入切片做一份副本，元素使用赋值复制。对于 []int，元素是整数，复制后每个整数都有独立值；但对于 [][]int，外层元素的类型变成了 []int。赋值一个内层切片时，复制的是它的切片描述信息，而不是描述信息指向的整数数组。

可以把边界拆成三层来看：

先用一个反例看出共享的内层切片

下面的代码只克隆一次。代码中的注释保留了判断重点：先比较外层容器，再修改内层元素。

package main

import (
	"fmt"
	"slices"
)

func main() {
	original := [][]int{{1, 2}, {3, 4}}
	cloned := slices.Clone(original) // 只复制外层的 []slice 位置

	cloned[0][0] = 99 // 修改共享的内层元素数组

	fmt.Println(original) // [[99 2] [3 4]]
	fmt.Println(cloned)   // [[99 2] [3 4]]
}

这里的 cloned[0] = ... 和 cloned[0][0] = ... 是两类不同操作。前者替换副本外层第一个元素，通常不会改变 original[0] 这个外层槽位；后者沿着内层切片继续访问元素数组，因而暴露出共享关系。排查“复制后数据莫名改变”时，先问自己修改的是哪一层。

二维切片怎样真正复制每一行

通用做法是先复制外层长度，再遍历每一行。每一行都调用一次 slices.Clone，就能让行与原行拥有不同的元素数组。

package main

import "slices"

func clone2D[T any](src [][]T) [][]T {
	dst := make([][]T, len(src)) // 先独立保存每一行的切片头
	for i, row := range src {
		dst[i] = slices.Clone(row) // 每行单独复制元素数组，nil 行仍为 nil
	}
	return dst
}

func example() {
	original := [][]int{{1, 2}, nil, {3, 4}}
	cloned := clone2D(original)
	cloned[0][0] = 99 // 不会影响 original[0][0]
	// cloned[1] 仍为 nil，不能把 nil 行误变成空行
}

如果元素本身还包含指针、map、函数或带切片字段的结构体，逐行复制也只解决了“二维切片这一层”。例如 [][]User 中的 User.Tags 仍可能共享，需要根据对象模型继续复制字段。深拷贝没有一个脱离类型的万能函数，边界应由数据结构的所有权约定决定。

什么时候不必做深拷贝

深拷贝会按行重新分配并复制元素，不应该因为“副本”两个字就默认启用。只读查询、配置快照或明确约定共享的缓存视图，外层克隆往往已经够用；真正需要隔离的是后续会修改的那几层。

如果矩阵很大但只会改少数行，可以保留外层副本，并在写入前只克隆即将修改的行。这种按需复制要配合清晰的所有权约定：读路径不能偷偷修改共享行，写路径也不能把未克隆的行当成私有数据。若整个二维结构都会被独立修改，直接逐行克隆更容易维护。

常见问题

slices.Clone 会不会连容量也完全复制？

不会把容量相等当成语义保证。官方文档说明结果可能有额外未使用容量；业务代码应依赖值和共享边界，不要依赖容量布局。

把 [][]int 改成数组就自动深拷贝了吗？

如果内层是定长数组，例如 [][2]int，数组元素会随外层元素赋值复制；但只要元素内部仍含切片、map 或指针，就要继续检查其引用关系。

为什么复制后要特别保留 nil 行？

nil 和长度为零但非 nil 的切片在序列化、默认值判断和接口约定中可能不同。逐行调用 slices.Clone(row) 能保留每行的 nilness，不会悄悄改写数据语义。