一 闭包详解闭包的应该都听过,但到底什么是闭包呢?
闭包是由函数及其相关引用环境组合而成的实体(即:闭包=函数+引用环境) 。
“官方”的解释是:所谓“闭包”,指的是一个拥有许多变量和绑定了这些变量的环境的表达式(通常是一个函数),因而这些变量也是该表达式的一部分 。
维基百科讲,闭包(Closure),是引用了自由变量的函数 。这个被引用的自由变量将和这个函数一同存在,即使已经离开了创造它的环境也不例外 。所以,有另一种说法认为闭包是由函数和与其相关的引用环境组合而成的实体 。闭包在运行时可以有多个实例,不同的引用环境和相同的函数组合可以产生不同的实例 。
看着上面的描述,会发现闭包和匿名函数似乎有些像 。可是可能还是有些云里雾里的 。因为跳过闭包的创建过程直接理解闭包的定义是非常困难的 。目前在JavaScript、Go、PHP、Scala、Scheme、Common Lisp、Smalltalk、Groovy、Ruby、 Python、Lua、objective c、Swift 以及Java8以上等语言中都能找到对闭包不同程度的支持 。通过支持闭包的语法可以发现一个特点,他们都有垃圾回收(GC)机制 。
在给定函数被多次调用的过程中,这些私有变量能够保持其持久性 。变量的作用域仅限于包含它们的函数,因此无法从其它程序代码部分进行访问 。不过,变量的生存期是可以很长,在一次函数调用期间所创建所生成的值在下次函数调用时仍然存在 。正因为这一特点,闭包可以用来完成信息隐藏,并进而应用于需要状态表达的某些编程范型中 。
二 Go的闭包Go语言是支持闭包的,这里只是简单地讲一下在Go语言中闭包是如何实现的 。下面我来将闭包例子用Go来实现 。
package mainimport ("fmt")func a() func() int {i := 0b := func() int {i++fmt.Println(i)return i}return b}func main() {c := a()c()c()c()a() //不会输出i}
输出结果:
123
可以发现,输出和之前的JavaScript的代码是一致的 。具体的原因和上面的也是一样的,这说明Go语言是支持闭包的 。
闭包复制的是原对象指针,这就很容易解释延迟引用现象 。
package mainimport "fmt"func test() func() {x := 100fmt.Printf("x (%p) = %d\n", &x, x)return func() {fmt.Printf("x (%p) = %d\n", &x, x)}}func main() {f := test()f()}
输出:
x (0xc42007c008) = 100x (0xc42007c008) = 100
在汇编层,test 实际返回的是 FuncVal 对象,其中包含了匿名函数地址、闭包对象指针 。当调 匿名函数时,只需以某个寄存器传递该对象即可 。
FuncVal { func_address, closure_var_pointer ... }
外部引用函数参数局部变量
package mainimport "fmt"// 外部引用函数参数局部变量func add(base int) func(int) int {return func(i int) int {base += ireturn base}}func main() {tmp1 := add(10)fmt.Println(tmp1(1), tmp1(2))// 此时tmp1和tmp2不是一个实体了tmp2 := add(100)fmt.Println(tmp2(1), tmp2(2))}
返回2个闭包
package mainimport "fmt"// 返回2个函数类型的返回值func test01(base int) (func(int) int, func(int) int) {// 定义2个函数,并返回// 相加add := func(i int) int {base += ireturn base}// 相减sub := func(i int) int {base -= ireturn base}// 返回return add, sub}func main() {f1, f2 := test01(10)// base一直是没有消fmt.Println(f1(1), f2(2))// 此时base是9fmt.Println(f1(3), f2(4))}
三 Go 语言递归函数递归,就是在运行的过程中调用自己 。一个函数调用自己,就叫做递归函数 。
构成递归需具备的条件:
1.子问题须与原始问题为同样的事,且更为简单 。2.不能无限制地调用本身,须有个出口,化简为非递归状况处理 。