17370845950

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 不合法。

容易踩的坑：

• 声明指针变量但没初始化（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 很难一眼发现。