本文详解 go 语言中向 [][]int 追加 []int 时出现数据被意外覆盖的根本原因，并提供安全复制子切片的规范解决方案，避免因切片底层共享底层数组而导致的逻辑错误。
本文详解 go 语言中向 [][]int 追加 []int 时出现数据被意外覆盖的根本原因，并提供安全复制子切片的规范解决方案，避免因切片底层共享底层数组而导致的逻辑错误。
在 Go 中，切片（slice）是引用类型，其底层由指向数组的指针、长度（len）和容量（cap）组成。当你执行 paths = append(paths, path) 时，实际追加的是对同一底层数组的引用，而非独立副本。因此，后续对全局变量 path 的修改（如 path = path[:len(path)-1] 回溯操作）会同步影响所有已追加到 paths 中的历史路径——这正是示例中输出结果混乱（如 [[1 6 7 3 2 5] [1 6 7 3 2] ...]）的根源。
✅ 正确做法：深拷贝子切片
必须在每次保存路径时，显式创建 path 的独立副本。推荐使用 make + copy 组合：
// 在找到完整路径时（src == dest 分支内）： buffer := make([]int, len(path)) copy(buffer, path) paths = append(paths, buffer) // 追加副本，而非原切片
- make([]int, len(path)) 分配新底层数组；
- copy(buffer, path) 将当前 path 元素逐个复制过去；
- buffer 与 path 完全解耦，后续 path 的任何变更都不会影响已保存的路径。
⚠️ 常见误区与注意事项
- ❌ 不要直接追加 path：paths = append(paths, path) 会导致所有元素共享同一底层数组。
- ❌ 避免使用 append([]int(nil), path...)：虽能创建副本，但可读性差且性能略低（需多次扩容）。
- ✅ 容量预分配提升效率：初始化 path 和 paths 时合理设置容量（如 make([]int, 0, 8)），减少内存重分配。
- ✅ 作用域隔离更安全：将 path 改为函数参数或局部变量（而非全局），从根本上规避状态污染（推荐重构方向）。
? 验证效果
修正后运行，fmt.Println(paths) 将准确输出所有独立路径：
[[1 2 5 6 7] [1 3 2 5 6 7] [1 3 4 6 7] [1 3 6 7] [1 6 7]]
每个子切片均保持其被追加时刻的快照状态，符合 DFS 路径枚举的预期语义。
总结：Go 切片的引用特性是一把双刃剑——它带来高效，也要求开发者主动管理数据生命周期。在需要持久化切片内容的场景（如收集搜索路径、缓存中间结果），务必通过 make+copy 显式创建副本，这是编写健壮 Go 代码的关键实践之一。
