面试题：深入剖析Go语言闭包底层实现细节

闭包是一个函数值，它引用了其函数体之外的变量。在Go语言中，闭包允许一个函数访问并操作其词法环境之外的变量。

栈上存储：
- 当闭包函数引用的变量的生命周期与闭包函数本身的调用栈帧生命周期一致时，闭包及相关变量可能存储在栈上。例如，如果闭包函数在一个普通函数内部定义，且闭包引用的是该普通函数的局部变量，并且该局部变量在闭包返回后不再被使用，那么这些变量和闭包可能会在栈上分配。
- 例如下面的简单示例：
```
package main

func add() func(int) int {
    num := 10
    return func(i int) int {
        return num + i
    }
}
```
- 在add函数中定义的闭包引用了num变量。如果add函数返回后，num不再被其他地方引用，那么num和闭包可能在栈上存储。不过Go编译器会进行逃逸分析来确定实际的存储位置。
堆上存储：
- 如果闭包函数返回后，闭包引用的变量仍然需要被访问，那么这些变量和闭包会被分配到堆上。Go语言通过逃逸分析来判断变量是否会发生逃逸（即是否需要在堆上分配）。
- 比如如下代码：
```
package main

var global func(int) int

func init() {
    num := 10
    global = func(i int) int {
        return num + i
    }
}
```
- 这里init函数中定义的闭包引用的num变量，由于闭包被赋值给了全局变量global，num变量会发生逃逸，存储在堆上。

生命周期：
- 闭包的生命周期取决于它的引用情况。只要闭包本身或者闭包引用的变量在程序的某个地方还有引用，闭包及其相关数据就不会被销毁。
- 例如，当闭包被赋值给一个全局变量，那么在整个程序运行期间，只要全局变量存在，闭包及其引用的变量都会存在。
内存回收：
- Go语言使用垃圾回收（GC）机制来管理内存。当闭包及其引用的变量不再被任何地方引用时，它们就会被垃圾回收器标记为可回收。
- 从Go源码角度看，垃圾回收器会遍历程序的所有根对象（如全局变量、栈上的变量等），标记所有可达的对象。闭包如果没有从根对象可达的引用路径，就会被视为不可达，进而被垃圾回收。例如在runtime/mgc.go等文件中实现了垃圾回收的核心逻辑，通过三色标记法等算法来标记和回收不可达对象。

逃逸分析相关源码：
- 在Go编译器源码（如cmd/compile/internal/gc/escape.go）中实现了逃逸分析。escape函数负责分析每个变量是否会发生逃逸。它会根据变量的使用情况，如是否被返回给调用者，是否被存储到全局变量中等条件来判断。例如，如果一个变量被闭包引用且闭包返回给了调用者，该变量就会被标记为逃逸，需要在堆上分配。
垃圾回收相关源码：
- 在runtime/mgc.go中，实现了垃圾回收的主要逻辑。垃圾回收器通过gcMark函数等对对象进行标记。对于闭包及其引用的对象，如果在标记阶段没有被根对象引用到，就会在后续的清理阶段被回收。例如，gcMark函数会遍历所有根对象，对可达对象进行标记，未标记的对象（包括闭包及其相关对象）就会被视为垃圾进行回收。

星途面试题库