golang append() 方法的内部机制

在 golang 中，append() 函数负责向 slice 追加元素。令人疑惑的是，append() 操作对 slice 的影响似乎超出了预期。让我们通过一个示例来理解问题：

package main

import "fmt"

func main() {
    x := make([]int, 0, 10)
    x = append(x, 1, 2, 3)
    y := append(x, 4)
    z := append(x, 5)
    fmt.Println(x)
    fmt.Println(y)
    fmt.Println(z)
}

问题：

为什么 y 的输出也为 [1 2 3 5]？append() 不是拷贝 x 的值吗，那为什么 z 把 y 也覆盖了？

解答：

要理解 append() 的行为，关键在于理解 slice 的本质。在 go 中，slice 是一个值，包含一个指向底层数组的指针和一个长度。因此，slice 本身并不是一个引用，而是存储指针和长度的结构值。

度加AI

度加AI官网入口，百度官方 AIGC 创作平台，支持 AI 成片、AI 生文、数字人、声音克隆、配音字幕与智能剪辑等在线创作能力。

下载

当我们调用 append() 时，以下操作会发生：

• x 传入 append() 时，会经历一次值复制，这意味着 arg 和 x 共享相同的底层数组。
• 如果 arg 的容量足够，append() 不会重新分配底层数组，而是直接在现有数组上增加长度并赋值。
• 输出新的 slice y，它引用相同的底层数组，但长度增加了 1。

因此，当我们执行 append(x, 4) 时，底层数组被修改，y 的长度增加了。由于 x 和 y 共享底层数组，对 x 的进一步 append() 修改也会影响 y 的内容。

同理，z 的 append() 操作会修改底层数组的第 4 个元素，由于 x 和 z 也共享底层数组，尽管 x 的长度仍然为 3，但它的内容也发生了变化。

总结：

append() 不会创建底层数组的新副本，而是直接操作 arg 指向的现有数组。因此，对同一底层数组的多个 append() 调用会产生联动效应，影响到所有引用该数组的 slice。理解这一机制对于避免 slice 意外修改至关重要。

golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！