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