Go中func foo(x int)无法修改外部变量,因int是值类型,传参复制副本;修改仅作用于副本,原变量不变。解决方法:返回新值或传*int指针。

为什么 func foo(x int) 改不了外面的变量
因为 int 是值类型,传参时复制一份新值,函数里对 x 的任何修改(比如 x = 42)只作用于副本,原变量完全不受影响。这不是 bug,是 Go 的设计原则:默认不共享、不隐式修改。
常见错误现象:写了个 increment 函数想让数字加 1,调用完发现变量没变。
-
解决方法:要么返回新值(
return x + 1),要么传指针(*int) - 注意:返回新值更符合函数式风格;传指针则意味着你明确要修改原数据
- 性能上,小类型(
int,bool,struct{a,b int})传值开销小;大 struct 或 slice 底层数据多时,传指针反而省拷贝
& 和 * 不是“C 风格语法糖”,而是类型系统的一部分
Go 的 *T 是一个独立类型,不是修饰符。比如 *string 和 string 类型不同,不能混用;nil 对 *string 合法,对 string 不合法。
容易踩的坑:
立即学习“go语言免费学习笔记(深入)”;
- 声明指针变量但没初始化(
var p *int),此时p == nil,解引用会 panic:fmt.Println(*p) - 把值类型地址取给指针后,原变量生命周期结束,指针就悬空(比如在函数内取局部变量地址并返回)
-
new(T)返回*T,等价于var t T; return &t,但初学者常误以为它类似 C 的 malloc
slice、map、channel 为什么“像指针”但又不是指针
它们底层都包含指向堆内存的指针字段(比如 slice 有 ptr, len, cap),所以传参时虽然也是值传递,但 ptr 字段被复制了,因此能修改底层数组内容。但这不等于它们是指针类型 —— 你不能对 map 做 &m 然后传 *map[string]int,编译会报错。
关键区别:
- 可以对 slice 元素赋值(
s[0] = 1),是因为它复制了指向底层数组的指针 - 但重新赋值整个 slice(
s = append(s, 1))可能触发扩容,生成新底层数组,此时原 slice 变量不会同步更新 - map 和 channel 同理:能增删元素,但不能通过传参让调用方看到
m = make(map[int]string)这样的重赋值
什么时候该用指针?看三个实际信号
不是“为了节省内存”或“看起来高级”,而是由语义和需求驱动:
- 需要函数修改调用方的变量 → 用
*T - 结构体过大(比如含几百字节字段),且频繁传参 → 用
*S避免拷贝(但先 profile,别过早优化) - 方法接收者需修改结构体字段(如
func (p *Person) SetName(n string))→ 必须用指针接收者,否则改的是副本
新手最容易忽略的一点:即使结构体很小,只要方法要修改字段,就必须用指针接收者。否则代码能编译,但字段根本没变 —— 这类 bug 很难一眼发现。










