`append()`仅在原切片容量不足时分配新底层数组；否则复用原有数组，导致多个切片共享同一内存——这是并发或递归中数据被意外覆盖的常见根源。
在 Go 中，append() 的行为常被误解为“总是返回全新独立的切片”。实际上，它返回的是一个新的切片描述符（slice descriptor），但该描述符可能仍指向原有的底层数组。切片在 Go 中由三部分组成：指向底层数组的指针、长度（len）和容量（cap）。append() 是否分配新数组，唯一取决于当前容量是否足以容纳新增元素：
- ✅ 若 len(s) + n ≤ cap(s)：直接在原数组末尾写入，返回新描述符（指针不变）；
- ❌ 若 len(s) + n > cap(s)：分配更大数组，拷贝原数据，再追加，返回指向新数组的描述符。
这正是你示例中出现“发送后内容被篡改”的根本原因：递归调用中，append(combo, ch) 多次复用同一底层数组（因初始 []bool{} 容量足够生成前几层组合），导致不同递归层级的 combo 实际共享内存。当后续 append 覆盖该数组时，已发送至 channel 的切片值随之改变。
? 验证行为的最小示例
package main
import "fmt"
func main() {
s := make([]int, 0, 5) // len=0, cap=5
s = append(s, 1, 2, 3, 4) // len=4, cap=5 → 仍有余量
a := append(s, 5) // 复用底层数组 → a.data == s.data
b := append(s, 6) // 同样复用 → b.data == s.data == a.data
fmt.Println("a:", a) // [1 2 3 4 5]
fmt.Println("b:", b) // [1 2 3 4 6]
fmt.Println("a after b:", a) // [1 2 3 4 6] ← 被b修改！
}输出证实：a 和 b 共享底层数组，b 的写入直接破坏了 a 的数据。
✅ 正确做法：强制深拷贝或预分配
要确保每个组合独立，需避免共享底层数组。两种推荐方案：
立即学习“go语言免费学习笔记（深入）”；
方案 1：使用 make() 显式分配新底层数组（推荐）
newCombo := make([]bool, len(combo)+1) copy(newCombo, combo) newCombo[len(combo)] = ch
方案 2：利用 append() 的“扩容触发”特性（需控制初始容量）
// 初始化时设 cap=0，迫使每次 append 都分配新数组 combo := make([]bool, 0, 0) // 注意：cap=0 // 后续 append 必然扩容 → 每次都新分配
⚠️ 注意：make([]T, 0) 默认 cap ≈ len（通常为0或小常数），但不保证为0；显式写 make([]T, 0, 0) 才能100%触发扩容。
? 总结
- append() 返回新切片描述符，但不等于新底层数组；
- 是否分配新数组，只看 cap 是否充足；
- 在 channel 传递、递归、闭包等场景中，若需数据独立性，必须显式深拷贝或强制扩容；
- 调试技巧：用 fmt.Printf("%p", &s[0]) 打印底层数组首地址，验证是否共享。
理解切片的“描述符+底层数组”双层结构，是写出安全、可预测 Go 代码的关键一步。
