Go函数内无法修改外部变量值是因为默认值传递，传入的struct或slice均为副本；仅当使用指针并显式解引用（*x = ...）才能修改原值，且需注意nil解引用panic、逃逸分析及并发安全等问题。
为什么 Go 函数里改不了外部变量的值
Go 默认是值传递，哪怕你传的是一个 struct 或 []int，函数内拿到的也是副本。修改它，对外部零影响。这不是 bug，是设计——但容易让人误以为“传 slice 就能改底层数组”，其实只在底层数组未扩容时成立，append 一触发扩容就彻底断开联系。
什么时候必须用指针传递
以下情况不传指针就无法修改原始数据：
- 想让函数修改
int、string、bool等基本类型变量的值 - 想替换整个
slice（比如重新make或指向不同底层数组） - 想修改
struct的字段，且该 struct 较大（避免拷贝开销） - 想让多个函数共享并更新同一状态（如配置、计数器、缓存句柄）
正确写法：接收指针 + 解引用赋值
关键不是“传指针”，而是函数体内要显式解引用（*）再赋值。漏掉 * 就只是在改指针副本，毫无意义。
func increment(x *int) {
*x = *x + 1 // 必须解引用后赋值
}
func main() {
a := 42
increment(&a)
fmt.Println(a) // 输出 43
}
常见错误：
立即学习“go语言免费学习笔记（深入）”；
-
func bad(x *int) { x = new(int); *x = 100 }—— 这只是把形参指针改了，不影响调用方的&a - 对
nil指针解引用：var p *int; *p = 5→ panic: assignment to entry in nil pointer dereference - 传值却期望修改：
func f(s []int) { s = append(s, 99) }—— 外部 slice 长度、内容都不变
指针传递的隐含成本与边界
指针本身小（通常 8 字节），但引入间接访问、逃逸分析开销。编译器可能将本可栈分配的变量强制堆分配（go build -gcflags="-m" 可查）。不是所有场景都适合指针：
- 小 struct（如
type Point struct{ X, Y int }）传值更高效，现代 Go 编译器还能做寄存器优化 - 接口类型（
io.Reader）本身已含指针语义，再传*os.File是冗余的 - 并发写入同一指针目标时，必须加锁或用原子操作，指针不自动带线程安全
真正需要指针的地方，往往不是为了“省拷贝”，而是为了表达「有意修改原始状态」这个意图。意图不清，反而容易在 nil 检查、生命周期管理上出错。
