Go 的编译器如何处理嵌套函数？

Question

在 Go 中编写嵌套函数时，编译器如何处理它？它是变成另一个函数并放在代码之外，还是在调用父函数时重新创建？例如：func FuncA() int {    a := 0    funcB := func(_a int) int {        return _a    }    return funcB(a)}这个函数是这样编译的吗？func FuncA() int {    a := 0    return _funcB(a)}func _funcB(_a int) int {    return _a}或者它是否完全按照编写的方式编译，这意味着为调用funcB任何时间的定义分配了新内存？FuncA

Answer 1

嵌套函数作为闭包编译一次。嵌套函数使用的封闭范围内的所有变量都放在堆上，并传递给嵌套函数。在以下代码段中：

 func FuncA() int {

    a := 0

    funcB := func() int {

        return a

    }

    return funcB()

}

编译后的代码相当于：

type closureB struct {

   a int

}

func FuncA() int {

  c:=new(closureB)

  c.a=0

  return funcB(c)

}

func funcB(c *closureB) int {

  return c.a

}

确切的细节取决于运行时和编译器实现。

Answer 2

嵌套函数编译一次。

因为 FuncB 不会关闭周围范围内的变量，所以 FuncA 不会分配堆内存。

如果 FuncB 关闭周围范围内的任何变量，那么这些变量将分配在堆上。函数本身被编译一次。