golang程序变量会携带有⼀组校验数据,⽤来证明它的整个⽣命周期是否在运⾏时完全
可知。如果变量通过了这些校验,它就可以在栈上分配。否则就说它 逃逸 了,必须在
堆上分配。
能引起变量逃逸到堆上的典型情况:
- 在⽅法内把局部变量指针返回 局部变量原本应该在栈中分配,在栈中回收。但是由
于返回时被外部引⽤,因此其⽣命周期⼤于栈,则溢出。 - 发送指针或带有指针的值到 channel 中。 在编译时,是没有办法知道哪
个 goroutine 会在 channel 上接收数据。所以编译器没法知道变量什么时候才会
被释放。 - 在⼀个切⽚上存储指针或带指针的值。 ⼀个典型的例⼦就是 []*string 。这会导致
切⽚的内容逃逸。尽管其后⾯的数组可能是在栈上分配的,但其引⽤的值⼀定是在
堆上。 - slice 的背后数组被重新分配了,因为 append 时可能会超出其容量( cap )。 slice
初始化的地⽅在编译时是可以知道的,它最开始会在栈上分配。如果切⽚背后的存
储要基于运⾏时的数据进⾏扩充,就会在堆上分配。 - 在 interface 类型上调⽤⽅法。 在 interface 类型上调⽤⽅法都是动态调度的 ——
⽅法的真正实现只能在运⾏时知道。想像⼀个 io.Reader 类型的变量 r , 调⽤
r.Read(b) 会使得 r 的值和切⽚b 的背后存储都逃逸掉,所以会在堆上分配。