Go函数参数均为值传递,slice/map/channel/interface传的是含指针的结构体副本,故修改元素或写入键值会影响原变量,但重赋值不会;需替换整个结构时须显式传指针。

Go 函数参数永远是值传递,包括 slice、map、channel、interface
Go 语言没有“引用传递”,所有函数调用都是值传递。但关键在于:传的是「什么的值」。比如 slice 类型本身是一个结构体(含指针、len、cap),传参时复制的是这个结构体,不是底层数组;map 和 channel 同理,底层是运行时管理的指针封装。所以修改 slice 元素或向 map 写入键值,会影响原变量;但对形参重新赋值(如 s = append(s, x) 或 m = make(map[int]int))不会影响实参。
什么时候修改形参会反映到实参,什么时候不会
判断依据是:操作是否通过形参持有的指针间接修改了共享的底层数据。
- ✅ 会反映:修改
slice[i]、调用map[k] = v、向channel发送/接收、调用interface{}方法(若方法集含指针接收者且原值可寻址) - ❌ 不会反映:
s = append(s, x)(可能触发扩容,生成新底层数组)、s = s[1:](新 slice 结构体,可能指向不同位置)、m = map[string]int{"a": 1}(重赋值,丢弃原 map header) - ⚠️ 特别注意:
nilslice 和nilmap 是合法值,但对它们调用append或写入会 panic,需先make
想真正传引用?用指针显式控制
如果需要让函数能替换整个数据结构(比如把一个 slice 换成另一个,或把 map 清空并重建),必须传指针。这不是“Go 支持引用传递”,而是你主动传了一个指针类型的值——它依然是值传递,只是这个值恰好是指向原数据的地址。
func resetSlice(s *[]int) {
*s = []int{0, 0, 0} // 修改指针所指的 slice 变量
}
func clearMap(m *map[string]int) {
*m = make(map[string]int) // 替换整个 map header
}
调用时必须传地址:resetSlice(&mySlice)。漏掉 & 就只是复制了 []int 值,毫无效果。
立即学习“go语言免费学习笔记(深入)”;
struct 字段类型决定行为差异
结构体作为参数时,整个 struct 被复制。但字段是否“可观测修改”,取决于字段类型:
- 字段是基础类型(
int、string):形参中改它,不影响实参 - 字段是
slice/map/*T:可通过该字段间接修改共享数据(如s.Fields = append(s.Fields, x)中Fields是[]int,则底层数组可能被改) - 字段是
[4]int(数组):整个数组被复制,改字段内元素不影响实参
所以不要靠“struct 是否大”来决定要不要传指针,而要看你是否需要函数修改 struct 自身(如赋新值)或其内部可变容器的内容。









