在Go语言中,当一个变量在函数内部被分配的时候,该变量要么被分配在栈上,要么被分配在堆上。如果一个变量被分配在栈上,那么它的生命周期将在函数调用结束后终止,当函数返回时,栈上的内存将被自动释放。而如果一个变量被分配在堆上,那么它的生命周期将不会受到函数调用的影响,需要手动释放内存。
当一个变量的生命周期超过了它所在函数的作用域,即该变量需要在函数外部使用时,它就会发生内存逃逸,被分配在堆上。以下是一些常见的内存逃逸场景:
-
返回指针:当函数返回一个指针类型的变量时,这个变量在函数外部仍然可以使用,因此会被分配在堆上。
-
闭包引用:当一个闭包引用了函数外部的变量时,这个变量的生命周期会延长到闭包结束,因此会被分配在堆上。
-
数组切片的扩容:当一个数组切片的容量不足时,会进行扩容操作,将原有的元素复制到新的内存空间中,因此原来的数组切片会被分配在堆上。
-
参数接收者是指针:当一个方法的接收者是指针类型时,该方法可以修改接收者指向的内存,因此该接收者会被分配在堆上。
-
使用go关键字创建goroutine:当使用go关键字创建一个goroutine时,需要将被调用的函数以及其参数复制到新的goroutine的栈中,因此函数与参数会被分配在堆上。
这些场景下的变量会被分配在堆上,需要手动释放内存,否则可能会导致内存泄漏。同时,内存逃逸也会带来一定的性能开销,因为堆上的内存分配和释放需要额外的时间和空间。因此,在编写Go代码时,应尽量避免内存逃逸的发生,以提高代码的效率和性能。