Go 中 append 与切片共享底层数组详解

本文详解 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。