闭包
引用外部变量的函数称为闭包,即使离开了引用环境也不会被释放或删除。在闭包中仍然可以继续使用这个变量。
函数+引用环境=闭包
同一个函数,但在不同的引用环境下可以组成不同的闭包。说实话单凭这么几句话很难说清楚,先来看看例子。使用例如下
package main
import "fmt"
func add() func(int) int {
x := 10
return func(y int) int {
x += y
return x
}
}
func tmp(num int) {
x := add()(num)
fmt.Printf("%v\n", x)
}
func main() {
f := add()
fmt.Printf("%v\n", f(10))
fmt.Printf("%v\n", f(-9))
tmp(10)
}
运行结果为
20
11
20
重点是要把握住每个函数及其变量的生命周期。
在上面这段代码中,我们先来看看这个返回值为func(int) int(相当于一个数据类型为“函数”的变量)的add()函数。可以看到在add()函数中,最后返回的是另一个函数的返回值。同时我们定义了一个值为10的变量x, 并在返回值处定义了一个匿名函数作为参数。
此时,add()函数就形成了一个闭包,它内部有一个变量x和一个引用了变量x的匿名函数。变量x对于这个匿名函数来说便属于外部变量。所以在add()的生命周期内,变量x会一直有效。
于是我们先向add中传入10,在经过匿名函数的处理后,x的值已经变成了20。
再看看主函数,我们将add()的返回值赋给了f然后打印输出。但需要注意的是,add()函数并没有在执行完第一条函数时就释放它的变量x。
fmt.Printf("%v\n", f(10))
fmt.Printf("%v\n", f(-9))
还记得add()函数的返回值是什么类型吗?如果你去查看此时f的类型你就会发现它的返回值是func(int) int类型。相当于f也是一个函数,这相当于用f去调用add()里的匿名函数。
这导致add()里的变量的生命周期和f的生命周期是一样的--一直到main函数结束。
fmt.Printf("%T\n", f)
//运行结果为
//func(int) int
但对于tmp()函数来说就不一样了,tmp调用add()中匿名函数的生命周期只到tmp函数本身结束。所以其结果与f无关。
还是不理解?还是这段代码,但我们修改下tmp和f出现的位置。
package main
import "fmt"
func add() func(int) int {
x := 10
return func(y int) int {
x += y
return x
}
}
func tmp(num int) {
x := add()(num)
fmt.Printf("%v\n", x)
}
func main() {
f := add()
fmt.Printf("%v\n", f(10))
tmp(10)
fmt.Printf("%v\n", f(-9))
}
运行结果为
20
20
11
从运行结果我们可以看到tmp调用的add()中的变量x和f调用的add()中变量x无关。
那如果我们给tmp函数添加一个int类型的返回值呢?在main函数中将这个返回值赋给另一个值呢?add()中的变量x还会一直有效吗?
package main
import "fmt"
func add() func(int) int {
x := 10
return func(y int) int {
x += y
return x
}
}
func tmp(num int) int {
x := add()(num)
return x
}
func main() {
c := tmp(10)
fmt.Printf("%v\n", c)
c = tmp(9)
fmt.Printf("%v\n", c)
}
运行结果为
20
19
答案是不会,x的生命周期还是到tmp函数结束而结束。除非你把返回值改为函数类型的变量,让add()内部的匿名函数的生命周期随着main函数中的变量c,一直持续到main函数执行完而结束。