开始正式介绍之前先看一个比较有难度的关于闭包的面试题:
function fun(n,o) { console.log(o) return { fun:function(m){ return fun(m,n); } }; } var a = fun(0); a.fun(1); a.fun(2); a.fun(3); var b = fun(0).fun(1).fun(2).fun(3); var c = fun(0).fun(1); c.fun(2); c.fun(3); //问:三行a,b,c的输出分别是什么?
(原文链接:http://www.cnblogs.com/xxcanghai/p/4991870.html)
这道题是个人拿到手都会感到棘手,尤其对于一些基础不扎实的新手,看着看着就看晕了,我大体解释一些这个fun函数干了一些什么事(文章最后再分析一下这个): 首先,打印了一下他的第二个参数,然后return了一个对象,这个对象有一个方法fun,然后这个方法return了fun(m,n)--最外层函数的执行结果;大体弄懂基本的流程,就可以大概分析一下了,不过讲闭包之前,还是讲一下js的作用域链:
(来自四年后的补充: 这个题看着有点难逐次递归也是一个方面,哈哈)
每一段js代码(全局代码或函数)(注意一下这里,敲黑板!!!)都有一个与之关联的作用域链(scope chain)。这个作用域链是一个对象列表或者链表,这组对象这组对象定义了这段代码作用域中的变量,当js需要查找变量x的值得时候,(这个过程叫做‘变量解析(varaible resolution)’),他会从链中的第一个对象查找,如果在第一个对象中找不到就会查找下一个,以此类推。 在js顶层代码中,作用域链由一个全局对象组成。在不包含嵌套的函数体内,作用域链上有两个对象第一个是该函数定义参数和局部变量的对象,第二个是全局对象。
--以上两段的内容来自js权威指南,就是那本犀牛书 ,当定义一个函数时,它实际上保存一个作用域链。当调用这个函数时,它创建一个新的对象来存储他的局部变量,并将这个对象添加至保存的那个作用域链上,同时创建一个新的更长的表示函数调用作用域的链。对于嵌套函数来讲每次调用外部函数时,作用域链都是不同的,内部函数又会重新定义一遍,每次调用外部函数时,内部函数的代码都是相同的,而关联这段代码的作用域链也不相同。
--以上内容也是来自js权威指南,就是那本犀牛书 大概概括一下就是每个函数会形成一条作用域链,作用域链不同,能访问到的内容也不尽相同,由于作用域链上对象的排序关系访问变量时,可以遵循一个原则--就是就近原则。
说完作用域之后,就来谈谈闭包吧。 简言之,混乱的(2022.1.22的补充,此处混乱的用词可能并不准确)作用域链就是形成闭包的元凶。 来一个极为简单的例子:
var d; function outter(){ var c = 0; console.log(c); d = function(){ c++; } } outter(); d();//0 d();//1
为什么会这样呢? 一般而言,每次调用js函数时,都会创建一个新的对象用来保存局部变量,并把这个对象添加至作用域链中,当函数返回之后,就从作用域链中将这个对象删除,如果不存在嵌套函数也没有其他引用指向这个绑定对象,他就会被当做garbage回收。如果定义了嵌套函数,每个嵌套函数都会形成自己的作用域链,并且这个作用域链指向一个变量绑定对象,如果这些嵌套的函数对象在外部函数中保存下来,那么他们也会和所指向的变量绑定对象一样被当做garbage回收。但是如果将这些嵌套函数作为返回值返回,或存储在某处的属性里,就会有一个外部的引用指向这个嵌套的函数。它就不会被当做garbage回收,并且所指向的变量绑定对象,也不会被当做garbage回收!
所以在上边的代码里当调用outter之后,由于外部变量d引用了嵌套的函数,故而在outter执行完毕之后,d指向的嵌套函数何其所指向的变量绑定对象是没有被回收的,所以c也没有回收,所以有了往后的故事。。。 来一个闭包的英文解释(以下摘自MDN的解释):
A closure is the combination of a function and the lexical environment within which that function was declared.
什么意思?上边话直接翻译过来就是:闭包是一个函数和这个函数被声明的词法作用域环境的组合。 再说一下开头说到的这道题:
function fun(n,o) { console.log(o) return { fun:function(m){ return fun(m,n); } }; } var b = fun(0).fun(1).fun(2).fun(3);
先从总体分析一下,就是每次fun函数调用之后都会产生一个新对象,这个对象会将传进来的第一个参数,用闭包的方式保存下来,接下来逐条解释一下这条语句执行时会发生的情况:
fun(0): fun(0) => n = 0,o = undefined; console.log(o); => o = undefined;打印undefined return { fun: function(m){ return fun(m,n ) } }; => 定义嵌套函数,形成作用域链, 并由return的对象的属性 fun引用,m = undefined,n =0 ,这条作用域链被保留 fun(0).fun(1): 实际上是调用返回对象的fun方法: function(m) => m = 1; return fun(m,n) => m=1,n=0; 再执行fun函数: fun(n,o) => n=1,o=0; console.log(o) => 打印0 return { fun: ...return fun(m,n) } => m = undefined,n =1; 同上,作用域链被保存 fun(0).fun(1).fun(2): 还是调用了返回对象的fun方法: function(m) => m=2 return fun(m,n) m=2,n=1 再调用fun(n,o) => n=2,o=1 然后再打印o就是打印1啦。。。 最后 fun(0).fun(1).fun(2).fun(3); 还是调用了返回对象的fun方法: function(m) => m=3 return fun(m,n) m=3,n=2 再调用fun(n,o) => n=3,o=2 然后再打印o就是打印2啦。。。 ... 最后的b是调用了返回对象的fun方法,fun执行的时候又返回了一个对象, 所以b是一个对象,里边有一个键为fun值函数的属性,这种属性我们一般叫他方法。
其实最后才是我要讲的重点,如果为了炫技或者条件必须得情况下,使用闭包外,闭包能避免就避免,因为只要你使用了闭包就意味着你在内存里划出了一块地方,你的程序可能不一定会用,而电脑在运行时其他的程序却一点不能利用的空间,对程序的性能无疑有影响。
20180917补充
最近在整理项目的时候,无意中发现以前技术用with写的语句,为了避免坑,决定研究一下with,其实with是被禁止的,并且是推荐不使用的,所以也没怎么上心。 这次机缘巧合之下,搞了一下with语句,感觉对作用域链的研究更深了。
with是这样的,with(obj) 会将obj对象添加至当前作用域链的最前头,这时候 with(obj){ console.log(key) } , 变量查找时会首先看obj上是否有key,然后才会查找上一级作用域链上的东西。
当然with这一特性,有时候虽然可以很骚,但是是非常不利于后期维护的,所以还是不会用的。