本文详解 go 语言中向二维切片追加一维切片时出现数据被意外覆盖的根本原因，并提供安全、可复用的深拷贝解决方案。
本文详解 go 语言中向二维切片追加一维切片时出现数据被意外覆盖的根本原因，并提供安全、可复用的深拷贝解决方案。
在 Go 中，切片（slice）是引用类型——它底层指向一个数组，包含长度（len）、容量（cap）和指向底层数组的指针。当你执行 paths = append(paths, path) 时，实际存入 paths 的并非 path 当前元素的副本，而是对同一底层数组的引用。后续递归中持续修改 path（如 path = append(path, src) 和 path = path[:len(path)-1]），会导致所有已追加的子切片因共享底层数组而被悄然覆盖，最终 paths 中所有元素都指向同一块内存，内容混乱且不可预测——这正是示例中输出 [1 6 7 ...] 等异常结果的根源。
✅ 正确做法：创建独立副本（深拷贝）
必须在每次保存路径时，显式创建一份独立的、不与 path 共享底层数组的新切片。推荐使用 make + copy 模式：
// 在找到完整路径时（src == dest），执行： buffer := make([]int, len(path)) copy(buffer, path) paths = append(paths, buffer) // 追加的是独立副本
- make([]int, len(path)) 分配一块全新内存，长度与当前 path 一致；
- copy(buffer, path) 将 path 的所有元素值复制过去；
- buffer 与 path 完全解耦，后续对 path 的任何修改均不影响已保存的 buffer。
⚠️ 注意事项与最佳实践
- 不要依赖 append([]int(nil), path...)：虽然语法简洁，但其本质仍是 make + copy，且在 path 为 nil 时行为稍复杂，显式 make+copy 更清晰、可控。
- 避免全局/包级切片状态：本例中 path 作为全局变量加剧了问题。更健壮的设计应将 path 作为参数传递（如 dfs(src, dest, path []int)），配合函数内 append 返回新切片，实现无副作用的递归。
- 容量管理提示：若路径长度可预估（如本例最多 8 个节点），初始化时指定容量（path := make([]int, 0, 8)）可减少底层数组扩容带来的潜在别名风险（尽管非根本解法）。
✅ 最终效果验证
应用上述修复后，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 开发者必须掌握的核心实践。
