Go也有栈和堆，但是他的分配与Java的分配不同，Java的基础类型会在栈上分配，引用类型在堆上分配，然后再基于Java自己的一些逃逸分析去做优化。
而Go则不同，不论基础类型还是引用类型，都会直接使用内存逃逸去分析，如果逃逸到堆上，则在堆中分配，否则在栈上分配即可，栈上分配的，会随着当前go协程的生命周期分配和销毁，堆上的则需要依靠内部GC去回收。
以下是内存逃逸的主要场景及代码示例：
1. 变量被外部引用
当局部变量被返回或赋值给外部变量时，逃逸到堆。
func createUser() *User {
u := User{Name: "Alice"} // u 逃逸到堆（被返回后可能被外部使用）
return &u
}
func main() {
user := createUser() // user 指向堆内存
fmt.Println(user.Name)
}分析： u 在函数返回后仍需存活，因此分配在堆上。
2. 闭包捕获局部变量
闭包中引用的局部变量会逃逸到堆。
func counter() func() int {
count := 0 // count 逃逸到堆（被闭包捕获）
return func() int {
count++
return count
}
}
func main() {
c := counter()
fmt.Println(c()) // 1
fmt.Println(c()) // 2
}分析： count 被闭包引用，生命周期需延长至闭包销毁。
3. 发送指针到 Channel
发送局部变量的指针到 Channel 会导致逃逸。
func sendToChannel() {
ch := make(chan *int)
x := 42 // x 逃逸到堆（指针发送到 Channel）
go func() { ch <- &x }()
fmt.Println(<-ch)
}分析： x 的指针可能被其他 Goroutine 使用，需分配在堆上。
4. 接口类型动态分配
将具体类型赋值给接口类型时，可能触发逃逸（因接口动态分发的特性）。
func readData() io.Reader {
data := []byte("hello") // data 逃逸到堆（被 io.Reader 接口引用）
return bytes.NewReader(data)
}分析： data 被转换为 io.Reader 接口，其生命周期需延长。
5. 变量大小不确定
栈空间有限，大对象（如大数组）可能直接分配在堆上。
func createBigArray() {
arr := make([]int, 1e6) // arr 逃逸到堆（栈空间不足）
_ = arr
}分析： 栈空间不足以容纳大数组，编译器选择堆分配。
6. 反射或 unsafe 操作
使用 reflect 或 unsafe 操作变量指针时，逃逸分析可能失效。
func unsafeEscape() {
x := 10
ptr := unsafe.Pointer(&x) // x 可能逃逸（编译器难以分析）
_ = ptr
}分析： unsafe 绕过类型系统，编译器保守地将 x 分配在堆上。
7. 跨 Goroutine 共享变量
在多个 Goroutine 中共享局部变量会导致逃逸。
func shareBetweenGoroutines() {
data := map[string]int{"key": 1} // data 逃逸到堆（被多个 Goroutine 共享）
go func() { fmt.Println(data) }()
go func() { fmt.Println(data) }()
}分析： data 可能被其他 Goroutine 访问，需分配在堆上。
总结：逃逸场景一览
| 场景 | 原因 | 优化建议 |
| 返回局部变量指针 | 变量需在函数外存活 | 避免返回指针，改用返回值拷贝 |
| 闭包捕获变量 | 变量生命周期需匹配闭包 | 减少闭包使用，或复用对象 |
| Channel 发送指针 | 指针可能被其他 Goroutine 引用 | 发送值类型而非指针 |
| 接口类型赋值 | 接口动态分发需延长对象生命周期 | 对性能敏感代码避免接口 |
| 大对象分配 | 栈空间不足 | 拆分大对象或复用缓存 |
| 反射/unsafe 操作 | 编译器无法分析动态行为 | 避免在热点路径使用 |
| 跨 Goroutine 共享变量 | 需保证线程安全 | 使用 Channel 通信替代共享内存 |
核心原则：
栈分配更快（无 GC 压力，自动回收），但生命周期必须严格受限。
堆分配更灵活（生命周期可延长），但有 GC 开销。
通过逃逸分析优化，可减少不必要的堆分配。