Golang函数参数如何传递_值传递机制说明

Go函数参数全是值传递,包括slice、map、chan等;slice传参复制结构体但ptr仍指向原数组,故元素修

改生效而append不影响原slice;map和chan同理,复制的是指向底层结构的指针值。

Go 函数参数全是值传递,没有例外

Go 语言中所有函数参数都是值传递(pass by value),包括 slicemapchanfuncinterface{} 甚至指针本身——它们的值(即底层数据结构的副本或地址副本)被复制进函数。这不是“引用传递”,也不是“按共享传递”;只是某些类型内部包含指针字段,导致修改其元素看起来像“影响了原变量”。

为什么 slice 参数修改底层数组内容会生效?

因为 slice 是一个三字节结构体:{ptr *T, len int, cap int}。传参时这个结构体被完整复制,新副本的 ptr 仍指向原底层数组同一地址。所以通过副本修改元素(如 s[0] = 10)会影响原数组,但修改 slice 本身(如 s = append(s, 1))不会反映到调用方。

func modifySlice(s []int) {
    s[0] = 999          // ✅ 影响原底层数组
    s = append(s, 1)    // ❌ 不影响调用方的 s,只是改了副本的 ptr/len/cap
}
func main() {
    data := []int{1, 2, 3}
    modifySlice(data)
    fmt.Println(data[0]) // 输出 999
    fmt.Println(len(data)) // 仍是 3
}

map 和 chan 为什么也“看起来可修改”?

mapchan 类型底层是运行时分配的头结构指针(类似 *hmap / *hchan)。值传递时复制的是这个指针的值,因此副本和原变量指向同一运行时结构。对 m["k"] = vch 的操作都作用于共享结构。

  • 但若在函数内重新赋值整个 map 变量(如 m = make(map[string]int)),只改变副本,不影响调用方
  • nil map 传入后直接 m["x"] = 1 会 panic,必须先 make —— 这和指针是否为 nil 有关,不是“传递方式”问题

什么时候必须传指针?

当你需要让函数修改调用方变量的**自身值**(而不仅是它指向的内容)时,才需传 *T。典型场景:

  • 修改基础类型变量:如 func increment(x *int) { *x++ }
  • 避免大结构体拷贝:传 *BigStruct 比传 BigStruct 更高效
  • 统一接口行为:例如 json.Unmarshal 要求传指针,否则无法写入目标变量
  • 初始化不可寻址值:如 struct 字段是 unexported,外部无法取地址,只能靠函数内部分配并返回指针

别为了“习惯”或“怕性能差”盲目加星号——小结构体(如 struct{int;bool})拷贝成本极低,加指针反而增加 GC 压力和 nil 判断负担。