闭包

Function Value

go中函数是头等对象，可以作为参数传递，可以作为返回值，也可以绑定到变量。go中称这样的参数，返回值或者变量为Function Value。

Function Value本质上是一个指针，却不直接指向函数指令入口，而是指向runtime.funcval结构体，这个结构体里只有一个地址，就是这个函数指令的入口地址。

函数A被赋值给f1和f2两个变量，这种情况，编译器会做出优化，让f1和f2共用一个funcval结构体。

如果函数A的指令在这，入口地址addr1，编译阶段，会在只读数据段分配一个funcval结构体，fn指向函数A指令入口，而它本身的起始地址，会在执行阶段赋给f1和f2。通过f1来执行函数，就会通过它存储的地址找到对应的funcval结构体，拿到函数入口地址，然后调转执行。

既然只要有函数入口地址就能调用，为什么要通过funcval结构体包装这个地址，然后使用一个二级指针来调用呢？这里主要是为了处理闭包的情况。

闭包

第一：必须要有在函数外部定义，但在函数内部引用的自由变量。
第二：脱离了形成闭包的上下文，闭包也能照常使用这些自由变量。


func create() func(){
    c := 2
    return func(){
        fmt.Println(c)
    }
}
func main(){
    f1 := create()
    f2 := create()
    f1()
    f2()
}

create函数的返回值是一个函数，并且引用了其外层函数定义的局部变量c；而且，即便create函数结束，依然可以通过f1和f2正常执行这个函数并使用定义在create内部的变量c。所以这个返回值符合闭包的定义，而这个自由变量c，通常被称为“\捕获变量**”。

在Go语言中闭包只是拥有一个或多个捕获变量的Function Value而已。

每个闭包对象都是一个Function Value，但是各自持有自己的捕获列表，这也是称闭包为有状态的函数的原因。

捕获列表

被闭包捕获的变量，要在外层函数与闭包函数中表现一致，好像它们在使用同一个变量，为此，go语言的编译器针对不同情况做了不同的处理。

被捕获的变量没有被修改的情况

最简单的情况就像上面那个例子，被捕获的变量除了初始化赋值外，在任何地方都没有被修改过，所以直接拷贝值到捕获列表就ok了

被捕获的变量被修改的情况

举个栗子：


func create() (fs [2]func()){
    for i := 0; i < 2; i++ {
        fs[i] = func(){
            fmt.Println(i)
        }    
    }
    return
}
func main() {
    fs := create()
    for i := 0; i < len(fs); i++ {
        fs[i]()
    }
}