17370845950

Go函数参数全是值传递，包括slice、map、chan等；slice传参复制结构体但ptr仍指向原数组，故元素修改生效而append不影响原slice；map和chan同理，复制的是指向底层结构的指针值。

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

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

为什么 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 为什么也“看起来可修改”？

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

• 但若在函数内重新赋值整个 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 判断负担。