在Golang中使用回溯算法时，正确复制数组是一个重要的问题。回溯算法通常需要在递归过程中对数组进行修改，但有时我们需要保存原始数组的状态以便回溯到上一步。在这种情况下，我们不能简单地将原始数组直接赋值给一个新变量，因为它们共享同一块内存空间，修改一个数组会影响到另一个数组。解决这个问题的方法是使用深拷贝，即创建一个新的数组并将原始数组的值依次复制到新数组中。在Golang中，可以使用copy()函数来完成这个操作，它会按字节级别复制数组的内容，确保新数组和原始数组完全独立。通过正确复制数组，我们可以在回溯算法中安全地操作数组，而不会影响到原始数据的状态。
问题内容
我有一个带有值 [1, 2, 3] 的简单数组，我想找到所有排列。我不明白为什么在循环中断程序之前移动“复制”部分代码。
func generatePermutations(curr, remains []int) [][]int {
if len(remains) == 0 {
return [][]int{curr}
}
var res [][]int
// DOESN'T WORK
c, r := make([]int, len(curr)), make([]int, len(remains))
copy(c, curr)
copy(r, remains)
for i := 0; i < len(remains); i++ {
// WORKS
//c, r := make([]int, len(curr)), make([]int, len(remains))
//copy(c, curr)
//copy(r, remains)
curr = append(curr, remains[i])
res = append(res, generatePermutations(curr, append(append(remains[:i]), remains[i+1:]...))...)
curr = c
remains = r
}
return res
}
当复制位于循环之外时，结果如下： [[1 2 3] [1 3 2] [2 1 3] [2 3 1] [3 3 3] [3 3 3]]
当复制位于循环内时，结果如下： [[1 2 3] [1 3 2] [2 1 3] [2 3 1] [3 1 2] [3 2 1]]
在第一个输出中，有两个带有 [3,3,3] 的数组，这是错误的
解决方法
你说我既不修改“c”或“r”也不附加到它们，这部分是正确的。
立即学习“go语言免费学习笔记（深入）”；
在循环的第一次迭代中，
切片 c 和 curr 指向不同的支持数组，所以这很好。
但是当你这么做的时候
curr = c
稍后，您实际上将两个切片分配为指向同一个支持数组。
这意味着在第二次迭代中，您的 append 可以修改 curr 和 curr （“可以”，因为调整大小会更改 curr 的支持数组）。
这就是导致您在上面看到的奇怪行为的原因。
go 中的切片有点棘手，所以当你知道你会改变并传递它们时，最好避免分配，而是坚持完全复制它们（就像在“works”情况下所做的那样）。
为了进一步阅读，这是一个很好的资源：https://go.dev/blog/slices-简介
