Go函数参数传递永远是值传递,即func f(x T)的x始终是传入值的副本;传指针时副本存的是地址,解引用后修改的是原内存,而非传递方式改变。
Go 语言中不存在“引用传递”,func f(x T) 的参数 x 永远是调用时传入值的一个副本。所谓“指针参数能修改原值”,本质是副本里存的是地址——你复制了钥匙,用这把钥匙打开的还是同一扇门。
关键区别不在“传什么”,而在“副本里装的是什么”:
int:副本里是数值本身(比如 42),改它不影响原变量*int:副本里是地址(比如 0xc00001a080),解引用后写入,改的是地址指向的内存
时候必须用指针参数不是“想改就用指针”,而是“不传指针就无法达成目标”时才必须用。典型场景包括:
func swap(a, b *int))func (s *MyStruct) Mutate() 是常规写法)json.Unmarshal(data []byte, v interface{}) 要求 v 是指针)传 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 变成指针”。
它们底层是包含指针的结构体(如 slice 是 struct{ ptr *T, len, cap }),所以传 slice 时,副本仍指向同一底层数组——但这不等于“引用传递”,只是副本里那个 ptr 字段和原 slice 一样。因此:
s[i] = x 修改底层数组内容(因为 ptr 相同)s = append(s, x) 让调用方看到新 slice(除非返回并赋值,因为 append 可能分配新数组,改变 ptr 字段)map 和 channel 的底层也有指针字段,行为类似真正容易被忽略的是:这些类型本身不可比较(map、slice、func),而它们的指针类型(*[]T、*map[K]V)可以比较,但极少有用——多数时候你要的不是“比较两个 map 是否同一地址”,而是“是否逻辑相等”。