本文原文出处: http://blog.csdn.net/bluishglc/article/details/50574039 严禁任何形式的转载,否则将委托 CSDN 官方维护权益!
定义
关于闭包有太多种解释,但基本上都很难用一两句解释清楚,下面这句简短的定义是我见过的最精炼且准确的解释了:
A closure is a
function that carries an implicit binding to all the variables referenced within it.In other words,
the
function(or method) encloses a context around the things it references.
首先,闭包是一个函数,然后,也是最本质的地方:这个函数内部会引用(依赖)到一些变量,这些变量既不是全局的也不是局部的,而是在定义在上下文中的(这种变量被称为 "自由变量",我们会在稍后的例子中看到这种变量),闭包的 "神奇" 之处是它可以 "cache" 或者说是持续的 "trace" 它所引用的这些变量.(从语言实现层面上解释就是:这些变量以及它们引用的对象不会被 GC 释放).同样是这件事情,换另一种说法就是:闭包是一个函数,但同时这个函数 "背后" 还自带了一个 "隐式" 的上下文保存了函数内部引用到的一些(自由)变量.
第一个例子
第二个例子
对两个例子的补充
上述两个例子的代码都在解释闭包的概念,但是解释的角度不太一样,相对而言第二个例子揭示地更为深刻一些,它揭示闭包会隐式地持续 trace(也就是不会被垃圾回收)它所使用的那些自由变量!
每当我们去调用一个闭包时,脑子里一定要意识到:闭包不单单是定义它的那段代码,同时还有一个绑定在它 "后面"(隐式的)的持续保持它所引用的所有自用变量的一个 "上下文"("环境")!
更透彻地理解:闭包产生的根源
某种角度上,我们可以说闭包是函数字面量的一个 "衍生品".函数字面量的存在使得函数的定义与普通变量无异,也就是 val 变量名 = 函数字面量,既然普通变量在赋值时可以引用另一个变量的值,那么定义函数时,在函数字面量里引用其他变量也变成非常自然的事情(而在传统的函数体内是没有办法直接引用函数体外部的变量的),比如, 像下面这样定义普通变量是非常常见的:
var a = 1;
var b = a + 1;
显然变量 b 的赋值过程中引用了变量 a. 同样的,在函数编程语言里,像下面这样定义函数:
var a = 1;
val b = () = >a + 1
又有何不可呢?这时 b 成了就成了典型的闭包,它所引用的变量的 a 是定义在上下文的.
为什么需要闭包
闭包被创造出来显然是因为有场景需要的.一个最为普遍和典型的使用场合是:推迟执行.我们可以把一段代码封装到闭包里,你可以等到 "时机" 成熟时去执行它.比如:在 Spark 里,针对 RDD 的计算任务都要分布到每个节点(准确的说是 executor)上并行处理,Spark 就需要封装一个闭包,把相关的操作(方法)和需要的变量引入到闭包中分发给节点执行.
来源: