Go语言append()方法的运行机制：为什么append(x, 4)和append(x, 5)的结果并非预期？-Golang-PHP中文网

Go语言append()方法的运行机制：为什么append(x, 4)和append(x, 5)的结果并非预期？

碧海醫心

发布： 2025-03-20 09:22:26

原创

343人浏览过

go语言append()方法的运行机制：为什么append(x, 4)和append(x, 5)的结果并非预期？

Go语言append()函数的运行机制详解：意料之外的结果

本文深入探讨Go语言append()函数的底层机制，并通过一个示例代码解释其非直观行为。该示例揭示了append()并非简单的值复制，而是与底层数组的内存分配和共享息息相关。

示例代码如下：

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和z的输出与预期不符：y输出[1 2 3 4]，z输出[1 2 3 5]。这与许多开发者对append()的理解存在偏差。其根本原因在于对Go语言切片（slice）的底层实现和append()函数的运作机制缺乏深入了解。

立即学习“go语言免费学习笔记（深入）”；

X Studio

网易云音乐·X Studio

查看详情

Go语言切片并非直接指向底层数组，而是一个包含指针、长度和容量的结构体。append()函数在容量允许的情况下，直接在底层数组上追加元素，无需数据复制。只有当切片容量不足时，才会重新分配内存，并将原有数据复制到新数组。

代码分析：

x = append(x, 1, 2, 3)：将元素1、2、3追加到切片x。由于x的容量为10，足够容纳这三个元素，append()直接在x的底层数组中追加，x的长度变为3。
y = append(x, 4)：将元素4追加到x，生成新的切片y。由于容量充足，append()仍在同一底层数组操作，将4追加到数组末尾，y长度变为4，y与x共享同一底层数组。
z = append(x, 5)：将元素5追加到x，生成新的切片z。同样，由于容量足够，append()在同一底层数组中追加元素5，z长度变为4，z与x和y共享同一底层数组。但x的长度仍为3，因此打印x只显示前三个元素。y和z长度为4，显示追加的元素4和5，导致z覆盖了y的最后一个元素。