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
}

常见错误：

• 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 检查、生命周期管理上出错。