Go函数参数传递永远是值传递,即func f(x T)的x始终是传入值的副本;传指针时副本存的是地址,解引用后修改的是原内存,而非传递方式改变。

Go 函数参数传递永远是值传递,没有例外
Go 语言中不存在“引用传递”,func f(x T) 的参数 x 永远是调用时传入值的一个副本。所谓“指针参数能修改原值”,本质是副本里存的是地址——你复制了钥匙,用这把钥匙打开的还是同一扇门。
关键区别不在“传什么”,而在“副本里装的是什么”:
- 传
int:副本里是数值本身(比如42),改它不影响原变量 - 传
*int:副本里是地址(比如0xc00001a080),解引用后写入,改的是地址指向的内存
什么时候必须用指针参数
不是“想改就用指针”,而是“不传指针就无法达成目标”时才必须用。典型场景包括:
- 需要修改调用方的原始变量值(如
func swap(a, b *int)) - 结构体很大,避免复制开销(例如含大 slice、map 或大量字段的 struct)
- 方法接收者需支持修改字段(
func (s *MyStruct) Mutate()是常规写法) - 函数需返回多个可变结果且不想用返回值(虽不推荐,但存在,如
json.Unmarshal(data []byte, v interface{})要求v是指针)
常见误判: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 是特例,但依然符合值传递原则
它们底层是包含指针的结构体(如 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 是否同一地址”,而是“是否逻辑相等”。










