Go语言切片参数函数如何传递_Go语言切片作为函数参数教程【实战】

Go切片传参是值传递，复制结构体（ptr、len、cap），故修改元素通过共享底层数组生效，而append或重赋值仅改变副本字段，原变量不变；需返回新切片或传*[]T才能影响调用方。

你猜怎么着？Go 里切片传给函数，它既不是“传引用”，也不是“传指针”，而是把一个包含指针、长度、容量的三元结构体副本丢进去。所以你就看到这样的现象：修改元素能影响原切片，但重赋值或 append 却不行。这到底是为什么？

为什么改 s[0] = 100 生效，但 s = append(s, 1) 不生效？

原因其实很简单——切片变量本身就是 struct{array unsafe.Pointer; len int; cap int} 这么个结构。传参时复制整个结构体，于是：

• 执行 s[0] = 100 时，通过副本里的 array 指针直接写到底层数组，原切片和副本共享同一块内存，效果自然可见。
• 执行 s = append(s, 1) 时，一旦触发扩容，append 会返回一个指向新底层数组的切片，但这只是改了副本的 array 和 len 字段，原变量根本没动。
• 类似地，s = s[:2] 或 s = make([]int, 5) 也是一样的道理：只改了副本，调用方不受影响。

func f(s []int) 和 func f(s *[]int) 的关键区别

一个传结构体副本，一个传指向这个结构体的指针——这个区别决定了你能否直接替换掉调用方的切片变量本身。

• 用值接收者（[]int）：可以安全地修改底层数组的元素，但无法改变调用方切片的长度、容量或底层数组地址。
• 用指针接收者（*[]int）：可以对 *s 赋值，比如 *s = append(*s, x)，此时调用方的变量会跟着更新。
• 一个常见的误写：在指针接收者方法里写 s = append(s, x) —— 这毫无意义，因为它改的只是局部变量 s，而不是 *s。

什么时候必须用 *[]T？

只有在需要「在函数内部替换整个切片的头，并让调用方感知到这个变化」的时候，才必须用指针接收者。典型场景包括：

• 就地扩容后替换原切片（例如实现一个自定义的 Grow 方法）。
• 在函数内部清空切片，同时复用底层数组：*s = (*s)[:0]。
• 动态构建切片后直接返回给调用方，不希望调用方再手动赋值（比如封装一个 ParseArgs 方法，直接更新输入的参数）。
• 需要注意：append 本身并不保证一定会复用底层数组；如果需要强控制，最好配合 cap 判断或者提前分配好容量。

零长度切片、nil 切片传参要注意什么？

这两种切片传参时都合法，但行为不同，很容易搞混：

• var s []int 是一个 nil 切片：len(s) == 0、cap(s) == 0、s == nil。对它做 append(s, 1) 会新建一个底层数组。
• s := make([]int, 0) 是一个非 nil 的空切片：len(s) == 0、cap(s) > 0。对它做 append(s, 1) 则可能复用已有的底层数组。
• 这两种切片传入函数后都能正常读写（只要不越界），但 json.Marshal 对 nil 切片会输出 null，对空切片输出 []。
• 判断切片是否为空，别只用 s == nil，稳妥的做法是检查 len(s) == 0。

最常被忽略的是：你以为传了个切片进去就能靠 append 改变它，结果发现调用方那儿什么也没变——原因很简单，要么你没解引用指针，要么根本没传指针进去。