本文深入剖析 Go 语言中 append 函数的底层行为——它并非总是创建全新底层数组，而可能复用原有容量并覆盖内存；这导致在递归操作（如全排列）中出现意料外的元素污染，而字符串拼接 + 却天然安全。核心在于理解切片的三要素（指针、长度、容量）与 append 的扩容/复用逻辑。
本文深入剖析 go 语言中 `append` 函数的底层行为——它并非总是创建全新底层数组，而可能复用原有容量并覆盖内存；这导致在递归操作（如全排列）中出现意料外的元素污染，而字符串拼接 `+` 却天然安全。核心在于理解切片的三要素（指针、长度、容量）与 `append` 的扩容/复用逻辑。
在 Go 中，append 看似简单，实则暗藏机制级细节。对比你提供的两个函数：
- perms("", "123") 输出正确 6 种排列（123, 132, …），因为 string 是不可变类型，每次 prefix + string(str[i]) 或 str[0:i] + str[i+1:] 都会分配全新内存，彼此完全隔离；
- permutation([]int{}, []int{1,2,3}) 却输出大量 [1 2 3]、[1 3 3]、[3 3 3] 等错误结果——问题根源正在于 append(str[0:i], str[i+1:]...) 的非纯函数行为。
? 为什么 append(str[0:i], str[i+1:]...) 会“破坏原切片”？
关键在于：切片是底层数组的视图，append 在容量足够时不分配新数组，而是直接覆写原有内存。
以 str = []int{1,2,3} 为例（len=3, cap=3）：
- 第一次迭代 i=0：str[0:0] 是空切片（len=0, cap=3, 指向 &str[0]），str[1:] 是 [2,3]；
- append(str[0:0], str[1:]...) → 将 2,3 写入 str[0:] 起始位置，结果为 str = []int{2,3,3}（底层数组被覆写！）；
- 后续递归调用中，str 已非原始状态，str[i] 取到的是脏数据（如 str[2] 原本是 3，但被前面覆写后可能仍是 3，也可能变成其他值），导致排列错乱。
✅ 验证方式：在循环内打印 &str[0] 和 cap(str)，你会发现多次 append 后指针地址不变，证明复用了同一块内存。
✅ 正确解法：强制深拷贝，切断共享
必须确保每次递归使用的 str 是独立副本，不与父层共享底层数组。推荐两种安全写法：
方案一：显式创建新切片（推荐，语义清晰）
func permutation(prefix, str []int) {
n := len(str)
if n == 0 {
fmt.Println(prefix)
} else {
for i := 0; i < n; i++ {
// ✅ 安全：为剩余元素创建全新切片
remaining := make([]int, 0, n-1) // 预分配容量避免多次扩容
remaining = append(remaining, str[0:i]...)
remaining = append(remaining, str[i+1:]...)
permutation(append(prefix, str[i]), remaining)
}
}
}方案二：利用 copy + make（更高效，零分配冗余）
remaining := make([]int, n-1) copy(remaining, str[0:i]) copy(remaining[i:], str[i+1:])
⚠️ 注意：append(prefix, str[i]) 本身相对安全，因为 prefix 初始为空且通常容量较小，但若 prefix 来自大容量切片，也建议按需 make 新切片，保持一致性。
? 关键原理总结
| 特性 | 字符串 + | 切片 append |
|---|---|---|
| 内存行为 | 总是分配新内存（不可变） | 容量足够时复用底层数组（可变） |
| 是否影响原数据 | 否 | 是（若复用同一底层数组） |
| 适用场景 | 小量拼接、逻辑简单 | 高性能追加，但需警惕副作用 |
| 调试技巧 | 无需关心地址 | 打印 fmt.Printf("%p", &s[0]) 观察指针是否变化 |
? 最佳实践建议
- 递归/并发场景下，永远假设 append 可能污染原切片，显式 make + copy 或 append(make(...), ...) 是防御性编程的黄金法则；
- 使用 golang.org/x/exp/slices.Clone（Go 1.21+）或自定义 Clone 辅助函数提升可读性：
func Clone[T any](s []T) []T { c := make([]T, len(s)) copy(c, s) return c } // then: permutation(append(prefix, str[i]), Clone(str[0:i]))... - 避免对传入参数直接 append 并返回（除非文档明确承诺“不修改输入”），优先返回新切片。
理解 append 的“条件复用”本质，是写出健壮 Go 代码的关键一环——它不是 bug，而是 Go 为性能做出的精确权衡；作为开发者，我们需要用正确的抽象（如 Clone）去封装这份复杂性。
