Go编译器如何处理嵌套函数：转为外部函数还是每次调用时重建？

Go编译器对嵌套函数的处理分两种情况，核心取决于嵌套函数是否捕获了父函数作用域内的变量：

1. 未捕获外部变量的嵌套函数（如你的示例） #

你的示例中，funcB仅通过参数接收值，没有引用FuncA作用域内的任何变量（a只是作为参数传递，而非闭包捕获）。这种情况下，编译器会直接将嵌套函数优化为全局独立函数，编译后的效果和你给出的第二种代码完全一致：

func FuncA() int {
    a := 0
    return _funcB(a)
}
func _funcB(_a int) int {
    return _a
}

此时_funcB的代码段是全局只读的，不会在每次调用FuncA时重新分配内存，完全复用同一个函数实例。

2. 捕获外部变量的嵌套函数（闭包场景） #

如果嵌套函数引用了父函数作用域内的变量，比如：

func FuncA() int {
    a := 0
    funcB := func() int {
        a++ // 捕获了父函数的变量a
        return a
    }
    return funcB()
}

这种场景下，编译器会生成一个闭包结构体，用于保存被捕获的变量（这里是a的引用或值）。每次调用FuncA时，都会为这个闭包结构体分配新的内存，但嵌套函数的代码段依然是全局只读的，不会重复创建——也就是说，函数逻辑本身只存在一份，只是每次调用父函数时会生成关联了不同变量环境的闭包实例。

总结 #

• 嵌套函数的代码段永远只会被编译一次，放在全局代码区，不会重复创建。
• 是否需要在每次调用父函数时分配内存，取决于是否需要创建闭包结构体来保存捕获的外部变量：无捕获则复用全局函数，有捕获则每次创建闭包实例。

内容的提问来源于stack exchange，提问作者Arnold Zahrneinder