贝利信息

Golang中指针与值类型在参数传递中的本质区别

日期:2026-01-09 00:00 / 作者:P粉602998670
Go函数参数传递永远是值传递,即func f(x T)的x始终是传入值的副本;传指针时副本存的是地址,解引用后修改的是原内存,而非传递方式改变。

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

Go 语言中不存在“引用传递”,func f(x T) 的参数 x 永远是调用时传入值的一个副本。所谓“指针参数能修改原值”,本质是副本里存的是地址——你复制了钥匙,用这把钥匙打开的还是同一扇门。

关键区别不在“传什么”,而在“副本里装的是什么”:

什么时候必须用指针参数

不是“想改就用指针”,而是“不传指针就无法达成目标”时才必须用。典型场景包括:

常见误判:nil 指针与空值混淆

nil *T 进函数,函数内解引用会 panic;但传 T{}(零值)是安全的。很多人以为“传结构体就是传地址”,其实不然:

type User struct {
    Name string
    Age  int
}
func modifyValue(u User) { u.Name = "Alice" } // 无效:改的是副本
func modifyPtr(u *User)   { u.Name = "Alice" } // 有效:改的是 u 指向的原内存

u := User{Name: "Bob"}
modifyValue(u)
fmt.Println(u.Name) // 输出 "Bob"

modifyPtr(&u)
fmt.Println(u.Name) // 输出 "Alice"

注意:&u 是取地址操作,u 本身仍是值类型变量;modifyPtr 接收的是 *User 类型,不是“让 u 变成指针”。

切片、map、channel 是特例,但依然符合值传递原则

它们底层是包含指针的结构体(如 slicestruct{ ptr *T, len, cap }),所以传 slice 时,副本仍指向同一底层数组——但这不等于“引用传递”,只是副本里那个 ptr 字段和原 slice 一样。因此:

真正容易被忽略的是:这些类型本身不可比较(mapslicefunc),而它们的指针类型(*[]T*map[K]V)可以比较,但极少有用——多数时候你要的不是“比较两个 map 是否同一地址”,而是“是否逻辑相等”。