闭包 是主流编程语言中的一种 通用技术 ,常常和 函数式编程 进行强强联合,本文主要是介绍 Go 语言中什么是闭包以及 怎么理解闭包 .

如果读者对于 Go 语言的闭包 还不是特别清楚 的话,可以 参考上一篇文章 go 学习笔记之仅仅需要一个示例就能讲清楚什么闭包.

或者也可以 直接无视 ,因为接下来会 回顾一下前情概要 ,现在你准备好了吗? Go !

go-functional-programming-closure-cheer.png

斐波那契 数列 见闭包

不论是 Go 官网还是网上其他讲解闭包的相关教程,总能看到 斐波那契数列 的身影,足以说明该示例的 经典 !

go-functional-programming-about-fib.png

根据上述百度百科的有关描述,我们知道 斐波那契数列 就是形如 1 1 2 3 5 8 13 21 34 55 的递增数列,从 第三项 开始起, 当前项是前两项之和 .

为了计算方便,定义两个变量 a,b 表示前两项,初始值分别设置成 0,1 ,示例:

// 0 1 1 2 3 5 8 13 21 34 55
// a b 
// a b
a, b := 0, 1
 

初始化后下一轮移动,a, b = b, a+b 结果是 a , b = 1 , 1,刚好能够表示 斐波那契数列 的开头.

「雪之梦技术驿站」试想一下: 如果 a,b 变量的初始值是 1,1 , 不更改逻辑的情况下 ,最终生成的斐波那契数列是什么样子?

但是上述示例只能生成 斐波那契数列 中的第一个数字,假如我们需要 前十个数列 ,又该如何?

通过 指定循环次数 再稍加修改上述单数列代码,现在就可以生成 前十位 数列:

这种做法是接触闭包概念前我们一直在采用的解决方案,相信稍微有一定编程经验的开发者都能实现,但是 闭包 却提供了另一种思路!

不论是普通 函数 还是闭包函数,实现斐波那契数列生成器函数的逻辑不变,只是实现不同,闭包返回的是内部函数, 留给使用者继续调用 而普通函数是 直接生成 斐波那契数列.

对于这种函数内部嵌套另一个函数并且内部函数引用了外部变量的这种实现方式,称之为”闭包”!

「雪之梦技术驿站」: 闭包是 函数+引用环境 组成的有机整体,两者缺一不可,详细请参考go 学习笔记之仅仅需要一个示例就能讲清楚什么闭包.

自带独立的运行环境

go-functional-programming-closure-fage.jpeg

「雪之梦技术驿站」: 自带运行环境 的闭包正如电影中出场 自带背景音乐 的发哥一样,音乐响起,发哥登场,闭包出现,环境自带!

闭包 自带 独立的运行环境 ,每一次运行闭包的环境都是相互独立的,正如面向对象中 类和对象 实例化 的关系那样,闭包是类,闭包的引用是实例化对象.

上述示例是闭包实现的计算器自增,每一次引用 autoIncrease 函数获得的闭包环境都是彼此独立的,直接上单元 测试用例 .

函数引用 a 和 b 的环境是独立的,相当于另一个一模一样计数器重新开始计数,并不会影响原来的计数器的运行结果.

「雪之梦技术驿站」: 闭包不仅仅是 函数 ,更加重要的是 环境 .从运行效果上看,每一次引用闭包函数 重新初始化运行环境 这种机制,非常类似于面向对象中 类和实例化对象 的关系!

长生不老是福还是祸

普通函数内部定义的变量寿命有限,函数运行结束后也就被系统销毁了,结束了自己短暂而又光荣的一生.

但是,闭包所引用的变量却不一样,只要一直处于 使用中 状态,那么变量就会” 长生不老 “,并不会因为出身于函数内就和普通变量拥有一样的短暂人生.

• 老骥伏枥,志在千里

go-functional-programming-closure-horse.jpeg

go-functional-programming-closure-fight.png

「雪之梦技术驿站」: 如果使用者一直在使用闭包函数,那么闭包内部引用的自由变量就不会被销毁,一直处于 活跃状态 ,从而获得 永生的超能力 !

• 祸兮福所倚福兮祸所伏

凡事有利必有弊, 闭包不死则引用变量不灭 ,如果不理解变量 长生不老 的特性,编写闭包函数时可能一不小心就掉进 作用域 陷阱 了,千万要小心!

go-functional-programming-closure-laozi.jpg

下面以绑定循环变量为例讲解闭包作用域的陷阱,示例如下:

countByClosureButWrong 闭包函数引用的自由变量不仅有 arr 数组还有循环变量 i ,函数的整体逻辑是: 闭包函数内部维护一个函数数组,保存的函数主要返回了循环变量.

当我们运行 countByClosureButWrong 函数获得闭包返回的函数数组 arr,然后通过 range 关键字进行遍历数组,得到正在遍历的函数项 c.

当我们运行 c() 时,期望输出的 1,2,3 循环变量的值,但是实际结果却是 4,4,4.

go-functional-programming-closure-wrong.png

原因仍然是变量长生不老的特性:遍历循环时绑定的 变量值 肯定是 1,2,3,但是循环变量 i 却没有像普通函数那样消亡而是一直长生不老,所以变量的 引用 发生变化了!

go-functional-programming-closure-wrong-explain.pn

长生不老的循环变量的值刚好是当初循环的终止条件 i=4,只要运行闭包函数,不论是数组中的哪一项函数引用的都是相同的变量 i,所以全部都是 4,4,4.

既然是变量引用出现问题,那么解决起来就很简单了,不用变量引用就好了嘛!

最简单的做法就是使用短暂的 临时变量 n 暂存起来正在遍历的值,闭包内引用的变量不再是 i 而是临时变量 n.

go-functional-programming-closure-wrong-fix.png

上述解决办法很简单就是 采用临时变量绑定循环变量的值 ,而不是原来的长生不老的变量引用,但是这种做法不够优雅,还可以继续简化进行版本升级.

既然是采用 变量赋值 的做法,是不是和参数传递中的 值传递 很相像?那我们就可以用值传递的方式重新复制一份变量的值传递给闭包函数.

「雪之梦技术驿站」: 采用 匿名函数 自执行的方式传递参数 i ,函数内部使用变量 n 绑定了外部的循环变量,看起来更加优雅,有逼格!

采用匿名函数进行值传递进行改造后,我们再次运行测试用例验证一下改造结果:

终于解决了正确绑定循环变量的问题,下次再出现实际结果和预期不符,不一定是 bug 有可能是理解不深,没有正确使用闭包!

七嘴八舌畅谈优缺点

go-functional-programming-closure-compare.jpg

• 模拟 类和对象 的关系,也可以实现 封装 ,具备一定 面向对象 能力

「雪之梦技术驿站」: 每次调用闭包函数所处的环境都是相互独立的,这种特性类似于面向对象中类和实例化对象的关系.

• 缓存 复杂逻辑,常驻内存,避免滥用 全局变量 徒增维护成本.

「雪之梦技术驿站」: 长生不老的特性使得闭包引用变量可以常驻内存,用于缓存一些复杂逻辑代码非常合适,避免了原来的全局变量的滥用.

• 实现闭包成本较高 ,同时也增加了 理解难度 .

「雪之梦技术驿站」: 普通函数转变成闭包函数不仅实现起来有一定难度,而且理解起来也不容易,不仅要求多测试几遍还要理解闭包的特性.

• 滥用容易占用过多内存,可能造成 内存泄漏 .

「雪之梦技术驿站」: 过多使用闭包势必造成引用变量一直常驻内存,如果出现循环引用或者垃圾回收不及时有可能造成内存泄漏问题.

简单总结下闭包知识

闭包是一种通用技术,Go 语言支持闭包,主要体现在 Go 支持函数内部嵌套匿名函数,但 Go 不支持普通函数嵌套.

简单的理解,闭包是函数和环境的有机结合整体,独立和运行环境和长生不老的引用变量是闭包的两大重要特征.

不论是模拟面向对象特性,实现缓存还是封装对象等等应用都是这两特性的应用.

最后,让我们再回忆一下贯穿始终的 斐波那契数列 来结束此次闭包之旅!

本文涉及示例代码:

参考资料及延伸阅读

• 闭包的概念、形式与应用

• Jartto 博客:反思闭包

• 三点水博客: 再谈闭包

• gitbook博客: 闭包的实现