当前位置：首页 > news >正文

Go - 内存逃逸

news 来源：原创 2025/9/10 13:08:59

概念

每个函数都有自己的内存区域来存放自己的局部变量、返回地址等，这个内存区域在栈中进行分配。当函数结束时，这段内存区域会进行释放。
但有些变量，我们想在函数结束后仍然使用它，那么就要把这个变量在堆上分配，这种从“栈”上逃逸到“堆”上的现象就是内存逃逸。

在栈上分配的内存，由系统申请和释放，不会有额外的性能开销。
而在堆上分配的内存，如果要回收掉，就需要进行GC，内存逃逸额外带来的GC会导致性能开销变大。

逃逸机制

根据变量是否被外部引用来决定是否逃逸：

若函数外部没有引用，则优先放入栈中
若函数外部存在引用，则优先放入堆中
若栈上放不下，则必定放到堆中

逃逸分析

通过编译参数-gcflags=-m查看编译过程中的逃逸分析。

一般的逃逸类型：

指针逃逸

在函数中创建了一个对象，返回了这个对象的指针。此时，函数虽然推出了，但因为指针的存在，对象的内存不能随着函数结束而回收，只能逃逸到堆上。

package main  
import "fmt"  
type Demo struct {  name string  
}  
func createDemo(name string) *Demo {  d := new(Demo) // 局部变量 d 逃逸到堆  d.name = name  return d  
}  
func main() {  demo := createDemo("demo")  fmt.Println(demo)  
}

interface{}动态类型逃逸

如果函数的参数为interface{}类型，编译期间很难确定其参数具体类型，也会发生逃逸。

func main() {  demo := "demo" fmt.Println(demo)  
}

demo作为实参传给Println(i interface{}) (n int, err error)方法，因为该函数的参数类型定义为interface{}，因此会发生逃逸。

栈内存不足

操作系统对内核线程使用的栈空间是有大小限制的，因为栈空间通常较小，因此递归函数实现不当时，容易导致栈溢出。
对于Go语言来说，运行时(runtime)尝试在goroutine需要的时候动态地分配栈空间，goroutine的初始栈大小为2kb。
当goroutine被调度时，会绑定到内核线程执行，所以栈空间大小也不会炒股共操作系统的限制。

对于Go编译器来说，超过一定大小的局部变量将逃逸到堆上。

// 1.
func generate8192() {  nums := make([]int, 8192) // = 64KB  for i := 0; i < 8192; i++ {  nums[i] = rand.Int()  }  
}  
// 2.
func generate8193() {  nums := make([]int, 8193) // > 64KB  for i := 0; i < 8193; i++ {  nums[i] = rand.Int()  }  
}  
// 3.
func generate(n int) {  nums := make([]int, n) // 不确定大小  for i := 0; i < n; i++ {  nums[i] = rand.Int()  }  
}  func main() {  generate8192()  generate8193()  generate(1)  
}

2和3均逃逸到堆上，而1没有。
说明当切片内存超过一定大小，栈空间不足时，便会逃逸到堆上。

闭包

当闭包访问到其外层的函数作用域时，会发生内存逃逸。

func Increase() func() int {  n := 0  return func() int {  n++  return n  }  
}  func main() {  in := Increase()  fmt.Println(in()) 
}

Increase()返回值是一个闭包函数，该闭包函数引用了外部变量n，知道in()被销毁，n却不能随着函数退出而被回收，因此逃逸到堆上。

内存逃逸的影响

在栈上分配和回收内存的开销是很低的，只需要pop和push命令，分别负责释放栈空间和分配数据内存。在栈上分配内存，消耗的仅是将数据拷贝到内存的时间。

而在堆上分配内存，很大的额外开销是垃圾回收。

如果频繁发生内存逃逸，会导致程序占用过多的内存资源，影响程序的性能和稳定性。主要体现在以下几个方面：

内存占用增加：由于堆分配的内存不会自动释放，所以会导致程序占用的内存资源不断增加，特别是在长时间运行的程序中，可能会导致系统资源耗尽。
性能下降：相比于栈分配，堆分配需要更多的 CPU 和内存资源，stw,因此会导致程序的运行速度变慢。
程序不稳定：如果程序中存在大量的内存逃逸，可能会导致垃圾回收器频繁工作，从而影响程序的稳定性。

概念