Go函数参数均为值传递，区别在于“值”的内容：传指针、slice、map、chan、func、interface{}时因底层含指针字段，可修改原数据；传int、string、数组、不含指针的struct则完全隔离。
Go 函数参数永远是值传递，但“值”的内容决定行为
Go 语言中没有“引用传递”这个概念，func f(x T) 和 func f(x *T) 都是值传递——区别只在于你传进去的“值”本身是什么。传 int，就复制一个整数；传 *int，就复制一个指针（即内存地址）；传 slice、map、chan、func、interface{}，同样传的是它们的底层结构体（包含指针字段），所以看起来像“可修改原数据”，其实仍是值传递。
哪些类型传参后能修改原始数据？
关键看该类型的底层是否包含指向底层数组或数据结构的指针字段。以下类型在函数内修改元素/字段时，会影响调用方看到的内容：
-
slice：底层是struct { array unsafe.Pointer; len, cap int }，array是指针，所以s[0] = 1会生效 -
map：本质是*hmap，传的是指针的副本，仍指向同一张哈希表 -
chan：同理，是*hchan类型 -
*T：指针值被复制，但解引用后操作的是同一块内存 -
func和interface{}（非空）：内部含指针或反射信息，行为类似
而这些类型则完全隔离：int、string（只读底层数组）、struct（不含上述类型字段）、[3]int 数组（注意不是 slice）——对它们赋值或修改字段，不影响原变量。
常见误判场景与调试技巧
新手常因 slice 行为误以为 Go 有引用传递。例如：
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
立即学习“go语言免费学习笔记（深入）”；
func modify(s []int) {
s[0] = 999 // ✅ 影响原 slice 元素
s = append(s, 1) // ❌ 不影响调用方的 s，因为 s 变量本身被重新赋值了
}
func main() {
s := []int{1, 2}
modify(s)
fmt.Println(s) // 输出 [999 2]，不是 [999 2 1]
}
要真正扩展并影响原 slice，必须传指针：func modify(s *[]int)，再用 *s = append(*s, 1)。其他类型同理：
- 想让函数能替换整个
map，得传*map[K]V - 想让函数能重置一个
struct字段且影响调用方，得传*S而非S -
string永远不可变，传*string才能改变其指向（即换一个字符串）
性能与设计建议
传指针不等于更高效，也不等于更“正确”。判断依据应是语义而非直觉：
- 小结构体（如
type Point struct{ x,y int }）按值传递通常更快，避免额外解引用和 GC 压力 - 大结构体或需修改状态时，用指针明确意图，也避免复制开销
- 接口类型（如
io.Reader）本身就是指针语义，传值即可，无需加* - 不要为了“统一风格”而强行全用指针——
time.Time、sync.Mutex（必须传指针！）就是反例，后者未加*会导致锁失效
最易忽略的一点：sync.Mutex、sync.RWMutex 等并发原语，必须取地址传参，否则每次都是副本，完全起不到同步作用——这和“值传递”本质一致，但后果严重，且错误不报编译期异常。
