企业🤖AI Agent构建引擎,智能编排和调试,一键部署,支持私有化部署方案 广告
### **知道golang的内存逃逸吗?什么情况下会发生内存逃逸?** `golang程序变量`会携带有一组校验数据,用来证明它的整个生命周期是否在运行时完全可知。如果变量通过了这些校验,它就可以在`栈上`分配。否则就说它`逃逸`了,必须在`堆上分配`。 能引起变量逃逸到堆上的**典型情况**: * **在方法内把局部变量指针返回**局部变量原本应该在栈中分配,在栈中回收。但是由于返回时被外部引用,因此其生命周期大于栈,则溢出。 * **发送指针或带有指针的值到 channel 中。**在编译时,是没有办法知道哪个 goroutine 会在 channel 上接收数据。所以编译器没法知道变量什么时候才会被释放。 * **在一个切片上存储指针或带指针的值。**一个典型的例子就是 \[\]\*string 。这会导致切片的内容逃逸。尽管其后面的数组可能是在栈上分配的,但其引用的值一定是在堆上。 * **slice 的背后数组被重新分配了,因为 append 时可能会超出其容量( cap )。**slice 初始化的地方在编译时是可以知道的,它最开始会在栈上分配。如果切片背后的存储要基于运行时的数据进行扩充,就会在堆上分配。 * **在 interface 类型上调用方法。**在 interface 类型上调用方法都是动态调度的 —— 方法的真正实现只能在运行时知道。想像一个 io.Reader 类型的变量 r , 调用 r.Read(b) 会使得 r 的值和切片b 的背后存储都逃逸掉,所以会在堆上分配。 命令:go build -gcflags=-m main.go 在Go语言中,开发者模糊了栈区与堆区的差别,不管是字符串、数组字面量,还是通过new、make标识符创建的对象,都既可能被分配到栈中,也可能被分配到堆中。分配时,遵循以下两个原则: ◎ 原则1:指向栈上对象的指针不能被存储到堆中 ◎ 原则2:指向栈上对象的指针不能超过该栈对象的生命周期