网上经典闭包面试题解析

对自己学习的扩展

问题

代码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

能看懂前面的代码执行解释，理解上面的代码执行输出就不会有问题了