Golang函数参数是值传递还是引用传递_参数传递机制详解

Go函数参数均为值传递，slice/map/chan因底层含指针字段，修改其内容可影响原变量；仅当需修改变量本身或规避大对象拷贝时才用指针传参。

Go 语言中所有函数参数都是值传递——包括 slice、map、chan、func、*T 等看似“引用类型”的参数，传的仍是该值的副本。但因为这些类型的底层结构包含指针字段，所以修改其内部数据可能影响原变量，容易误以为是引用传递。

为什么 slice 传参后能修改底层数组？

slice 是一个三字段的结构体：struct{ ptr *T; len, cap int }。值传递时，这三个字段被完整复制，其中 ptr 字段是地址，指向同一块底层数组。因此：

• 对 s[i] = x 赋值 → 修改共享底层数组 → 原 slice 可见
• 对 s = append(s, x) → 若触发扩容，ptr 指向新数组 → 原 slice 不受影响
• 对 s = s[1:] → 仅修改 len/cap 字段 → 原 slice 的 ptr 不变，但视

  

  图偏移

func modify(s []int) {
    s[0] = 999        // ✅ 影响原 slice
    s = append(s, 1)  // ❌ 不影响调用方的 s（除非扩容未发生且你观察的是同一底层数组）
}
func main() {
    a := []int{1, 2, 3}
    modify(a)
    fmt.Println(a[0]) // 输出 999
}

map 和 chan 为什么也“像引用传递”？

map 和 chan 类型的底层是运行时分配的指针（如 *hmap、*hchan），它们的变量本身存储的就是这个指针的值。值传递时，复制的是该指针值，所以多个变量指向同一运行时结构：

• m["k"] = v → 修改哈希表内容 → 原 map 可见
• m = make(map[string]int) → 仅重置局部变量指向新 map → 原变量不变
• close(c) → 关闭底层通道 → 所有持有该 chan 值的地方都感知到关闭

注意：nil map 或 nil chan 传参后仍为 nil，不能直接写入，否则 panic。

什么时候必须用指针传参？

只有两类情况真正需要 *T 参数：

• 需要修改实参变量本身的值（比如让调用方的变量从 nil 变成非 nil）
• 结构体很大（比如含大数组或大量字段），避免拷贝开销

常见误用：对小结构体（如 type Point struct{ X, Y int }）盲目加 *，反而增加解引用开销；对只读 string、int、[32]byte 等传指针纯属多余。

func updateName(p *Person) {
    p.Name = "Alice" // ✅ 修改调用方的 Person 实例
}
func copyName(p Person) {
    p.Name = "Bob" // ❌ 只改副本，原变量不变
}

容易忽略的关键细节

最常被忽视的不是“怎么传”，而是“谁 owns 底层资源”。例如：

• slice 的 ptr 字段可能指向栈上已失效的内存（如返回局部数组的切片）
• map 并发读写 panic，不是因为传递方式，而是因为底层结构无锁
• interface{} 存储 T 时是值拷贝；存储 *T 时拷贝的是指针值 —— 这决定了反射或序列化时的行为

判断是否要传指针，别看类型名，要看你是否需要改变调用方变量所指向的内存位置，或者是否在规避可观的拷贝成本。