一道JS前端闭包面试题解析
问题
代码A
functionfun(n,o){ console.log(o); return{ fun:function(m){//[2] returnfun(m,n);//[1] } } } vara=fun(0); a.fun(1); a.fun(2); a.fun(3); varb=fun(0).fun(1).fun(2).fun(3); varc=fun(0).fun(1); c.fun(2); c.fun(3);
求出程序输出
这是一个闭包测试题
转换为等价代码
return返回的对象的fun属性对应一个新建的函数对象,这个函数对象将形成一个闭包作用域,使其能够访问外层函数的变量n及外层函数fun,为了不将fun函数和fun属性搞混,我们将上述代码修改如下:
代码B
function_fun_(n,o){ console.log(o); return{ fun:function(m){ return_fun_(m,n); } } } vara=_fun_(0);//undefined a.fun(1);//0 a.fun(2);//0 a.fun(3);//0 varb=_fun_(0).fun(1).fun(2).fun(3); //undefined,0,1,2 varc=fun(0).fun(1);//undefined,0, c.fun(2);//1 c.fun(3);//1
那么就有同学问了,为什么可以这样改呢,你怎么能确定[1]处的fun不是[2]代码所在处的fun呢,要知道此处的fun属性可是指向一个函数对象哦~
这里就要说到JS的词法作用域,JS变量作用域存在于函数体中即函数体,并且变量的作用域是在函数定义声明的时候就是确定的,而非在函数运行时。
如下代码
varname="global"; functionfoo(){ console.log(name); } functionfooOuter1(){ varname="local"; foo(); } fooOuter1();//输出global而不是local,并且和闭包没有任何关系 functionfooOuter2(){ varname="local"; functionfoo(){ console.log(name); } foo(); } fooOuter2();//输出local而不是global,在函数声明是name变量作用域就在其外层函数中,嗯嗯就是闭包~
好了我们回到题目,在函数声明定义阶段,[2]处的匿名函数进行定义声明,发现在[1]处需要引用一个名为fun的函数对象,那么首先在当前函数体内寻找,发现没有,那么就到其外层函数-这个匿名函数的包裹函数中去查找,发现也没有,到外层函数中去,发现外面没有函数包裹了,那就到全局环境下去找,额偶终于找到了......就把fun函数指定为全局环境下的fun函数对象并加入到匿名函数的闭包中去。至此我们就知道代码B为什么和代码A是等价的了~~~
创建闭包作用域
JS在词法分析结束后,确定了1个闭包,就是返回的对象fun属性对应的匿名函数的闭包-访问全局环境下的_func_及其外层函数的函数内部变量n;
在每次_func_执行的时候,都会将闭包中变量的作用域信息传递到函数执行环境中,供函数执行时获取变量值时使用
执行输出
vara=_fun_(0);//undefined a.fun(1);//0 a.fun(2);//0 a.fun(3);//0
_fun_函数执行,因为第2个参数未定义,输出undefined。然后返回一个对象,带有fun属性,指向一个函数对象-带有闭包,能够访问到_fun_和变量n_
a.fun(1)执行返回的对象的fun方法,传入m的值1,调用返回_fun_(1,0)
所以输出为0,a.fun(2),a.fun(3)和a.fun(1)
varb=_fun_(0).fun(1).fun(2).fun(3);
等价代码:
varb=_fun_(0);
varb1=b.fun(1);
varb2=b1.fun(2);//[3]
varb3=b2.fun(3);//[4]
前2句和上面的输出相同undefined,0,当[3]被调用时,b1对象中有一个闭包,引用了_fun_函数及外层函数变量n=1,所以匿名函数执行的函数调用为_fun_(2,1),输出结果为1,并返回一个新的对象。
当[4]执行时,b2对象也有一个闭包,引用了_fun_函数及外层函数变量n=2,执行_fun_(3,2),输出结果为2
varc=fun(0).fun(1);//undefined,0, c.fun(2);//1 c.fun(3);//1
能看懂前面的代码执行解释,理解上面的代码执行输出就不会有问题了,希望大家喜欢。