Go语言中的切片是一种动态数组结构，相比固定长度的数组更加灵活，而append函数是切片追加元素的核心工具，理解它的工作原理能帮助开发者避免很多隐蔽的bug。
切片的基本结构
Go的切片本质上是一个包含三个字段的结构体，分别是底层数组的指针、切片当前的长度len、切片的容量cap。长度表示切片当前包含的元素个数，容量表示底层数组从切片起始位置开始能容纳的最大元素个数。我们可以通过如下代码查看切片的结构信息：
package main
import "fmt"
func main() {
// 创建一个初始长度为2，容量为5的切片
s := make([]int, 2, 5)
fmt.Printf("切片长度: %d, 切片容量: %d, 底层数组地址: %pn", len(s), cap(s), s)
}
append函数的基本用法
append函数用于给切片追加一个或多个元素，基本语法为append(切片变量, 待追加的元素...)，函数会返回一个新的切片。需要注意的是，append不会修改原切片，而是返回追加后的结果，因此通常需要将返回值重新赋值给切片变量。
基础的追加示例如下：
package main
import "fmt"
func main() {
s1 := []int{1, 2, 3}
// 追加单个元素
s1 = append(s1, 4)
fmt.Println(s1) // 输出 [1 2 3 4]
// 追加多个元素
s1 = append(s1, 5, 6)
fmt.Println(s1) // 输出 [1 2 3 4 5 6]
// 追加另一个切片的所有元素
s2 := []int{7, 8}
s1 = append(s1, s2...)
fmt.Println(s1) // 输出 [1 2 3 4 5 6 7 8]
}
append的核心工作原理
无需扩容的情况
当追加元素后，切片的长度没有超过原有容量时，append不会创建新的底层数组，而是直接在原有底层数组的空闲位置写入新元素，同时更新返回切片的长度。此时原切片和返回的新切片会共享同一个底层数组，修改其中一个切片的元素可能会影响另一个切片。
示例如下：
package main
import "fmt"
func main() {
s := make([]int, 2, 5) // 长度2，容量5
s[0] = 1
s[1] = 2
fmt.Printf("原切片: %v, len: %d, cap: %dn", s, len(s), cap(s))
newS := append(s, 3) // 追加后长度3，未超过容量5
fmt.Printf("新切片: %v, len: %d, cap: %dn", newS, len(newS), cap(newS))
// 修改新切片的元素
newS[0] = 100
fmt.Printf("修改后原切片: %vn", s) // 原切片也会被修改，输出 [100 2]
fmt.Printf("修改后新切片: %vn", newS) // 输出 [100 2 3]
}
需要扩容的情况
当追加元素后，切片的长度超过了原有容量，append就会触发扩容机制。扩容时会创建一个新的底层数组，将原数组的元素复制到新数组，再追加新元素，最后返回指向新数组的切片。此时原切片和新切片不再共享底层数组，修改互不影响。
Go的切片扩容规则大致如下：
- 如果当前切片的容量小于256，新容量会直接翻倍
- 如果当前切片的容量大于等于256，新容量会按照约1.25倍的速度增长，直到满足需求
- 最终新容量还会根据元素类型的大小做内存对齐调整，保证内存使用效率
扩容的验证示例如下：
package main
import "fmt"
func main() {
s := make([]int, 2, 3) // 长度2，容量3
fmt.Printf("初始切片: len=%d, cap=%d, 地址=%pn", len(s), cap(s), s)
// 第一次追加，长度3未超过容量3？不，长度2+1=3，等于容量3，未超过，不扩容
s = append(s, 3)
fmt.Printf("第一次追加后: len=%d, cap=%d, 地址=%pn", len(s), cap(s), s)
// 第二次追加，长度4超过容量3，触发扩容
s = append(s, 4)
fmt.Printf("第二次追加后: len=%d, cap=%d, 地址=%pn", len(s), cap(s), s) // 容量翻倍为6
}
追加操作的常见误区
很多开发者会误以为append会直接修改原切片，或者忽略共享底层数组的问题，导致出现数据异常。比如下面的错误示例：
package main
import "fmt"
func addElement(s []int) {
// 错误：append返回的新切片没有赋值给原参数，函数外的切片不会变化
append(s, 100)
}
func main() {
s := []int{1, 2}
addElement(s)
fmt.Println(s) // 输出 [1 2]，没有新增元素
}
正确的做法是将append的返回值赋值给入参，或者让函数返回新的切片：
package main
import "fmt"
// 正确方式1：返回新切片
func addElement1(s []int) []int {
return append(s, 100)
}
// 正确方式2：使用指针接收切片
func addElement2(s *[]int) {
*s = append(*s, 100)
}
func main() {
s1 := []int{1, 2}
s1 = addElement1(s1)
fmt.Println(s1) // 输出 [1 2 100]
s2 := []int{3, 4}
addElement2(&s2)
fmt.Println(s2) // 输出 [3 4 100]
}
总结
使用append函数追加切片元素时，要牢记append不会修改原切片，必须接收返回值；追加后长度未超过容量时，新旧切片共享底层数组，修改需注意相互影响；超过容量时会触发扩容，新旧切片完全独立。掌握这些原理后，就能在开发中正确使用append，避免不必要的错误。