本文详解 Go 中 append 函数如何基于容量决定是否分配新底层数组，并揭示因忽略返回值导致的意外数据覆盖问题，强调“始终使用 append 返回值”这一核心实践。
本文详解 Go 中 `append` 函数如何基于容量决定是否分配新底层数组，并揭示因忽略返回值导致的意外数据覆盖问题，强调“始终使用 `append` 返回值”这一核心实践。
在 Go 中，append 并非“就地修改”原切片，而是返回一个新切片值——该值可能指向原有底层数组（若容量充足），也可能指向全新分配的数组（若需扩容）。关键在于：无论是否扩容，原切片变量本身不会被修改，但若多个 append 调用共享同一底层数组且未及时捕获返回值，则后序操作会覆盖前序写入的数据。
这正是示例中 a2 输出三行相同结果的根本原因：
common2 := make([]int, 0, 12) // 初始 len=0, cap=12
// 第一次循环：append(common2, []int{1,1,1}...) → 返回新 slice，len=3，仍复用原底层数组
// 第二次循环：再次 append(common2, []int{2,2,2}...) → 仍复用同一底层数组，从索引 0 开始覆盖！
// 因为 common2 本身仍是 len=0、cap=12 的原始 slice，其底层数组始终未变⚠️ 注意：common2 在每次循环中都作为参数传入 append，但它自身从未被更新；append 返回的新切片被直接赋给了 a2[idx]，而 common2 始终保持 len=0，导致所有 append 操作都向同一底层数组起始位置写入，最终全部被最后一次写入覆盖。
✅ 正确做法是：始终将 append 的返回值重新赋给目标变量，确保后续操作基于最新长度和有效数据：
package main
import "fmt"
func main() {
a1 := make([][]int, 3)
b := [][]int{{1, 1, 1}, {2, 2, 2}, {3, 3, 3}}
// ✅ 安全方式：每次 append 后更新 common 变量
common := make([]int, 0, 12)
for idx, k := range b {
common = append(common, []int{10, 20}...) // 先追加公共前缀
a1[idx] = append([]int(nil), common...) // 强制分配新底层数组（见下文）
common = common[:0] // 重置长度，保留容量复用
}
fmt.Println(a1) // [[10 20 1 1 1] [10 20 2 2 2] [10 20 3 3 3]]
}? 如需强制分配新底层数组（即避免任何共享风险），可利用 append([]T(nil), s...) 模式：
// 创建与 s 内容相同但独立底层数组的新切片 newSlice := append([]int(nil), oldSlice...)
原理：[]int(nil) 是一个零值切片（len=0, cap=0, ptr=nil），向它 append 时必然触发扩容并分配新数组，从而实现深拷贝语义（对元素类型为可比较/可复制类型有效）。
? 总结：
- append 是纯函数式操作，必须使用其返回值；
- 是否分配新数组取决于 cap(s) - len(s) >= N，而非 len 或直觉；
- 若需绝对隔离，用 append([]T(nil), s...) 显式复制；
- 理解切片是“描述符”（包含指针、长度、容量）而非数据本身，是避免此类陷阱的前提。
深入掌握请精读官方文档：Go Slices: Usage and Internals。
