返回局部变量指针必然触发堆分配，因栈帧返回后销毁，为防悬垂指针，Go编译器强制逃逸；闭包捕获、goroutine传指针、接口赋值及反射调用同理，生命周期不确定性是逃逸主因。
为什么返回局部变量指针一定会触发堆分配
因为栈帧在函数返回后立即销毁，若仍允许外部持有栈上变量的地址，就会造成悬垂指针（dangling pointer），Go 编译器绝不允许这种不安全行为。所以只要出现 return &x 这类操作，x 就必须逃逸到堆上，由 GC 管理其生命周期。
- 编译器静态分析时发现指针被传出函数作用域，即刻判定逃逸
- 哪怕
x是一个int（仅 8 字节），也逃逸——大小不是决定因素，生命周期才是 - 用
go build -gcflags="-m" main.go能看到明确提示，例如：main.go:5:9: &x escapes to heap
闭包捕获局部变量也会让值“搬家”到堆上
闭包本质是携带了自由变量的函数对象，它的生命周期可能远长于原函数。一旦闭包引用了局部变量，该变量就不能随原栈帧一起消失，只能堆分配。
func makeCounter() func() int {
count := 0
return func() int {
count++
return count
}
}
-
count在makeCounter返回后仍被闭包持续读写，必须堆分配 - 即使你只读不写（如
return func() { return count }），依然逃逸 - 想避免？把值提前计算好传入闭包，或改用参数化设计（如传入初始值而非捕获）
goroutine 启动时传指针 = 默认堆分配
Go 编译器无法预知 goroutine 的执行时机和存活时长，为保证内存安全，所有被传入 goroutine 的局部变量指针，都会触发逃逸。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
func spawn() {
val := 42
go func() {
fmt.Println(val) // val 逃逸到堆
}()
}
- 哪怕 goroutine 立即执行完，编译器也保守处理：只要可能跨栈帧，就堆分配
- 规避方法：传值（适合小结构体）、或在 goroutine 内部重新声明变量
- 注意：传
&val给go task(&val)同样逃逸，且更危险——多个 goroutine 可能并发访问同一内存
接口赋值和反射调用常隐式引发堆分配
接口是运行时动态调度的，编译器无法在编译期确定具体类型大小和方法集，为兼容性常将底层值复制到堆上。
立即学习“go语言免费学习笔记（深入）”；
func useInterface() {
s := "hello"
var i interface{} = s // s 逃逸到堆
_ = i
}
- 字符串底层是
struct{data *byte, len int}，但接口存储需要统一布局，通常触发堆拷贝 - 反射（
reflect.ValueOf(x)）同理：失去编译期类型信息，逃逸概率极高 - 高频路径慎用接口/反射；若必须，考虑预分配对象池（
sync.Pool）缓解 GC 压力
fmt.Printf 传了个小结构体指针，都可能悄悄把本该在栈上的东西推上堆。 
