Go函数参数均为值传递,包括slice、map、chan、interface;传指针才能修改原变量或替换整个值。

Go 函数参数永远是值传递,包括 slice、map、chan、interface
Go 里没有“引用传递”这个概念。所有函数调用都是值传递 —— 即把实参的**副本**传给形参。哪怕你传的是 slice、map 或 *struct,底层仍是复制一个结构体(如 sliceHeader)或指针值本身。
常见误解是 “slice 是引用类型所以能改原数据”,其实是因为 slice 底层是三字段结构体:{ptr *T, len int, cap int},复制后两个变量指向同一片底层数组。但如果你在函数内对 slice 做 append 导致扩容,新底层数组就和原 slice 无关了。
- 传
[]int:复制 header,原 slice 和形参共享底层数组 → 修改元素(如s[0] = 99)会影响原 slice - 传
[]int并执行s = append(s, x):若触发扩容,s指向新数组,原 slice 不受影响 - 传
map[string]int:复制的是 map header(本质是指针),所以增删改 key 都影响原 map - 传
*MyStruct:复制的是指针值,解引用后修改字段会作用于原 struct
想真正“传引用”?只能显式传指针
如果希望函数内修改能反映到调用方的变量本身(比如让一个 int 变量被赋新值,或让一个 slice 变量重定向到底层新数组),必须传指针。
典型场景:函数需要替换整个 slice 变量(不只是改元素),或初始化一个可能为 nil 的 slice/map/chan/interface。
立即学习“go语言免费学习笔记(深入)”;
func fillSlice(s *[]int) {
*s = []int{1, 2, 3} // 替换整个 slice 变量
}
func main() {
var s []int
fillSlice(&s)
fmt.Println(s) // [1 2 3] —— 成功
}
- 不加
*和&,fillSlice(s)传的是空 slice header 副本,函数内赋值对原s无任何影响 - 对
map或chan同理:函数内做m = make(map[int]string)不会改变调用方的m,必须用*map -
interface{}也是值类型,传入后修改其内部字段(如是 struct 指针)有效,但重新赋值arg = somethingElse无效
struct 字段含 slice/map 时的“浅拷贝”陷阱
定义一个 struct,字段包含 slice 或 map,把它作为函数参数传入时,struct 本身被完整复制(值传递),但其中的 slice/map 字段仍共享底层数组或哈希表。
type Config struct {
Items []string
Meta map[string]string
}
func modify(c Config) {
c.Items[0] = "hacked" // ✅ 影响原 c.Items 底层数组
c.Meta["note"] = "done" // ✅ 影响原 c.Meta
c.Items = append(c.Items, "new") // ❌ 若扩容,只改副本的 Items 字段,原 struct 不变
}
- 这种行为叫“浅拷贝”:struct 字段值被复制,但字段指向的堆内存未复制
- 若需完全隔离(深拷贝),得手动 copy slice、遍历赋值 map,或用第三方库如
github.com/jinzhu/copier - 更安全的做法是:避免在函数内直接修改入参 struct 的复合字段;改为返回新 struct 或只操作指针
*Config
性能提示:大 struct 尽量传指针,小类型传值更高效
Go 编译器不会自动优化大 struct 的值传递。传一个 1KB 的 struct,每次调用都复制 1KB 内存;而传 *Struct 只复制 8 字节(64 位系统)。
- 原则:struct 大小 > 机器字长(通常 8 字节)且不常修改字段 → 优先传指针
- 小类型如
int、string(仅 16 字节 header)、time.Time(24 字节)—— 传值开销小,且避免 nil panic 和并发读写冲突 -
string是只读的:传值安全,函数内不能改原 string 数据(底层data字段是只读指针) - 不要为了“统一风格”强行全用指针 —— 过度解引用反而影响 CPU cache 局部性
最易被忽略的一点:即使你传的是指针,只要函数签名写成 func f(x *MyStruct),那 x 本身还是一个指针值的副本。你能通过它改它指向的对象,但改不了调用方那个指针变量的地址 —— 除非再加一层指针,即 **MyStruct,极少必要。










