Golang函数参数传递方式解析

Go语言中所有函数参数均采用值传递机制，但因slice、map、channel、func等类型底层封装了指针（如slice header含data指针、map实际为*hmap），导致修改其内容看似“引用生效”，而重赋值或扩容却无法影响原变量——这一根本特性常被误解，引发append无效、map替换失败、大结构体意外拷贝等典型问题；真正需要传指针的场景仅限于必须改变变量本身（如修改int值、替换map实例、解析JSON到结构体），而非性能优化；理解“传的是什么值”（基础类型字面量、复合类型header、指针即地址）才是写出正确、高效Go代码的关键。

Go 里所有函数参数都是值传递，包括 slice、map、channel、指针

这是最容易误解的点：看到 slice 在函数里能修改底层数组，就以为它是“引用传递”。其实不是。Go 没有引用传递，只有值传递——传的是变量的副本，但这个副本可能本身包含指针（比如 slice 的底层结构体里有 data 指针）。所以修改元素可以生效，但重赋值不会影响原变量。

常见错误现象：
– 在函数里对 slice 做 append 后长度变长，但调用方看到的仍是旧长度
– 把 map 当参数传进去，delete 或 map[key] = val 生效，但 m = make(map[string]int) 不影响外部

• slice 传参时复制的是其 header（含 len、cap、data 指针），所以改 s[i] 会反映到原底层数组
• 但 s = append(s, x) 可能导致扩容，新 slice header 和原 header 无关，调用方收不到
• 想让 append 生效？要么返回新 slice，要么传入 *[]T

什么时候必须传指针：修改变量本身的地址或值

如果函数需要改变调用方变量所指向的内存地址，或者修改非复合类型的值（比如 int、string），就必须传指针。这不是“性能优化”，而是语义必需。

使用场景：
– 解析 JSON 到结构体字段（json.Unmarshal 要求传 *struct）
– 函数内要给一个 int 变量赋新值，并希望调用方看到变化

• 传 *int 才能修改原始 int 的值；传 int 只是拷贝一份，改了也白改
• string 是只读的底层数组 + 长度，无法通过值传递修改内容，哪怕你用 unsafe 也不推荐，传 *string 是唯一安全方式
• 结构体较大时传指针能避免拷贝，但这属于副作用，不是“应该传指针”的理由——语义对了，性能才顺带好

map、channel、func 类型参数为什么看起来像引用

因为它们的底层类型本身就是指针包装。比如 map 实际是 *hmap，chan 是 *hchan，func 是 *funcval。所以传这些类型时，虽然仍是值传递，但副本和原变量指向同一块运行时数据结构。

容易踩的坑：
– 对 map 做 nil 判断没问题，但对空 map 直接 range 或 len 是安全的；而 nil map 写入会 panic：assignment to entry in nil map
– chan 关闭后再次关闭会 panic：panic: close of closed channel，这个行为跟是否传指针无关，只跟 channel 本身状态有关

• 传 map[string]int 和 *map[string]int 效果不同：前者可增删改内容，后者才能让函数把整个 map 替换为 nil 或另一个 map
• func 类型传参也是值传递，但函数值内部保存了代码指针和闭包环境指针，所以调用它总能访问到原始变量
• 不要试图对 func 取地址再传——&f 是非法操作，Go 不允许获取函数地址

interface{} 参数的陷阱：底层值还是被复制的

传 interface{} 并不等于“传引用”。它只是把原始值装箱成一个接口值（iface 或 eface 结构体），里面存着类型信息和值的拷贝。所以传一个大结构体进 interface{}，还是会完整拷贝一次。

典型问题：
– 把一个巨型 struct 作为 interface{} 传给日志函数，没意识到每次调用都在堆上分配并拷贝整块内存
– 误以为 fmt.Printf("%v", &s) 和 fmt.Printf("%v", s) 对 interface{} 来说没区别，其实前者传的是指针值，后者是结构体值，底层存储完全不同

• 如果只读且结构体小（比如 type Point struct{ X, Y int }），直接传值没问题
• 如果结构体大，又不需要修改，建议传 *T 并在函数内做类型断言：if p, ok := v.(*MyStruct); ok { ... }
• 注意 nil 接口和 nil 指针的区别：var i interface{}; fmt.Println(i == nil) 输出 true，但 var p *int; i = p; fmt.Println(i == nil) 输出 false —— 因为接口里存了 (*int, nil) 这个非空 pair

最常被忽略的是：值传递的“值”到底是什么。对基础类型，是字面量；对复合类型，是头信息（header）；对指针类型，是地址本身。别被表象骗了，看 runtime 源码里的 reflect.TypeOf(x).Kind() 和 unsafe.Sizeof(x) 才最实在。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《Golang函数参数传递方式解析》文章吧，也可关注golang学习网公众号了解相关技术文章。