本文详解 go 语言中因切片底层共享底层数组而导致的“追加后内容意外变更”问题，并提供安全复制切片的解决方案，避免在 dfs 路径收集等场景中出现数据污染。
本文详解 go 语言中因切片底层共享底层数组而导致的“追加后内容意外变更”问题，并提供安全复制切片的解决方案，避免在 dfs 路径收集等场景中出现数据污染。
在 Go 中，切片（[]T）是引用类型——它本身是一个包含指向底层数组的指针、长度和容量的结构体。当你执行 paths = append(paths, path) 时，实际存入 paths 的并非 path 数据的副本，而是对同一底层数组的引用。后续对 path 的修改（如 path = path[:len(path)-1] 回溯操作）会直接影响此前已“追加”进 paths 的所有切片，导致最终输出混乱，正如示例中所有子切片都变成类似 [1 6 7 3 2 ...] 的异常结果。
✅ 正确做法：深拷贝当前路径快照
必须在每次满足条件（如找到目标节点）时，显式创建 path 的独立副本，再追加到 paths 中。推荐使用 make + copy 组合：
if src == dest {
// 创建 path 的完整副本（深拷贝语义）
snapshot := make([]int, len(path))
copy(snapshot, path)
fmt.Println(snapshot) // 输出：[1 2 5 6 7] 等正确路径
paths = append(paths, snapshot) // 存入独立副本
return
}
? 关键点：make([]int, len(path)) 分配新底层数组，copy(dst, src) 将当前 path 元素逐个复制过去。此后无论 path 如何变化，snapshot 始终保持不变。
⚠️ 常见误区与替代方案
❌ 错误写法：paths = append(paths, path[:]) 或 paths = append(paths, append([]int(nil), path...))
→ 仍可能共享底层数组（尤其当 path 容量较大且复用频繁时），不可靠。-
✅ 更健壮的封装（推荐用于生产环境）：
func cloneSlice[T any](s []T) []T { if s == nil { return nil } c := make([]T, len(s)) copy(c, s) return c } // 使用：paths = append(paths, cloneSlice(path))
? 总结
Go 切片的引用语义是高效设计，但也要求开发者主动管理数据生命周期。在需持久化中间状态（如 DFS/BFS 路径、回溯解集）时，务必通过 make + copy 显式克隆切片。忽略此细节将导致难以调试的数据污染问题——表面逻辑正确，运行结果却完全错乱。牢记：追加切片 ≠ 追加数据，而是追加引用；要保存数据，请先复制。
