【great】js函数闭包学习贴

前几天看了《javascript语言精髓与编程实践》对函数闭包的讲解，很有感触，跟大家分享一下。



  其实js支持函数闭包的主要原因是因为js需要函数能够保存数据。这里的 保存数据 是指函数在运行结束以后函数内变量的值也会进行保存。至于为什么js需要在函数内可以保存数据，那就是js是一种函数式语言。在函数内保存数据是函数式语言的一大特征。上代码：

JScript code

   
   

    
    

    
    var
    
     getValue,setValue;   
 
    
    function
    
     test(){

    
    var
    
     value
    
    =
    
    100
    
    ;
getValue
    
    =
    
    function
    
     (){
   
    
    return
    
     value;
}
setValue 
    
    =
    
    function
    
     (x){
  value
    
    =
    
    x;
}                                                                                                                                                                               
   }
test();
alert(getValue());
    
    //
    
    输出100
    
    

    
    
setValue(
    
    200
    
    );
    
    //
    
    设置value
    
    

    
    
alert(getValue());
    
    //
    
    输出200
    
    

    
    

   
   

上例表明函数内部可以保存数据，而这是通过函数闭包实现的。



函数闭包是一个 运行时的概念。函数闭包对应函数实例。而一个函数定义可能会对应多个函数实例。那么在什么情况下会返回不同的函数实例呢？

JScript code

   
   

    
    

    
    function
    
      getFunction(){


    
    return
    
     
    
    function
    
     (){

  alert(value);

}

}


    
    var
    
     func1
    
    =
    
    getFunction();


    
    var
    
     func2
    
    =
    
    getFunction();

alert(func1
    
    ==
    
    func2)
    
    //
    
    输出false，表示是两个不同的函数应用。
    
    

    
    


   
   

很多情况下使用的都是不同的函数实例。比如在使用函数作为构造函数时。其实在不同情况下返回不同的函数实例也是可以解释的。后面我们会说到。



每一个函数实例对应至少一个函数闭包。对应一个闭包居多。故先说明对应一个函数闭包。

基本一个函数运行一次就会建立函数闭包。

闭包的实现其实很类似于js对象的实现。函数闭包建立时会将函数内声明的变量登记进一个表中。当函数内存取值时就会查阅此表，表中没有相关变量时就会去父类的闭包中寻找，直至最上层闭包，即最外层所在的闭包。

JScript code

   
   

    
    

    
    var
    
     value
    
    =
    
    1
    
    ；


    
    function
    
     test(){

   
    
    var
    
     value
    
    =
    
    7
    
    ;


    
    function
    
      inline(){


    
    var
    
     value
    
    =
    
    4
    
    ;

alert(value);

}

inline（）；

}

test();
    
    //
    
    输出4
    
    

    
    


   
   

上面总共有三个闭包。一个全局闭包，该闭包中仅登记了一个变量value。test实例一个闭包，该闭包中也登记了一个value变量。inline实例一个闭包，该闭包同样也是只登记了一个value变量。三个闭包间的关系：全局闭包是test实例闭包的父闭包，test实例闭包是inline实例闭包的父闭包。所以输出4。

稍加修改

JScript code

   
   

    
    

    
    var
    
     value
    
    =
    
    1
    
    ;


    
    function
    
     test(){

   
    
    function
    
     inline(){

   alert(value);

}

}

test();
    
    //
    
    输出1
    
    

    
    


   
   

以上面的说明同样是可以解释的。上面的说明同样可以解释js函数中的一个规定。 当在函数内不用var声明变量时，该变量被认为是全局变量。因为不使用var，函数内部先在自己的闭包内寻找变量，直至最上层闭包也没有寻找到，故在最上层（全局）声明该变量。
闭包的生存周期：当前闭包内没有任何值被应用，该闭包即销毁。

JScript code

   
   

    
    

    
    var
    
     getFunc;

    
    function
    
      test(){
  
    
    var
    
     func
    
    =
    
     
    
    function
    
     (){

     alert(‘
    
    new
    
     
    
    function
    
     ’); 
}
    getFunc
    
    =
    
    function
    
     (){

         
    
    return
    
      func;
}
}
test();


    
    var
    
     func1
    
    =
    
    getFunc();


    
    var
    
     func2
    
    =
    
    getFunc();

alert(func1
    
    ==
    
    func2)
    
    //
    
    输出true；
    
    

   
   

上例中运行test，为test函数实例建立闭包。并对全局变量getFunc赋值。 因为getFunc中含有对test实例函数闭包func的引用， 所以该闭包不会被销毁，所以返回的总是同一个函数func的引用。还有一个更为典型的例子：

JScript code

   
   

    
    

    
    var
    
     checkre;

    
    function
    
     myFunc(){

   
    
    if
    
    (checker){

        checker();

}
alert(‘myFunc:’
    
    +
    
    str);

    
    var
    
     str
    
    =
    
    ’  test’;

    
    if
    
    (
    
    !
    
    checker){
checker
    
    =
    
    function
    
     (){
   alert(‘checker:’
    
    +
    
    str);
}
}

    
    return
    
     arguemnts.callee;
    
    //
    
    返回当前运行函数的引用
    
    

    
    }
myFunc()();
    
    //
    
    myFunc连续运行两次。
    
    

   
   

结果是

myFunc :undefined

checker: test

myFunc:undefined

上面提到函数每（）运行一次，就会建立一个函数闭包。故上例总共为myFunc先后建立了两个函数闭包。第一个函数运行结束后，输出结果第一行，checker被赋值，str登记在此闭包中，因为checker引用str，故第一个函数闭包不会销毁。当函数第二次运行时，checker有值，故运行，但是checker内引用的是第一个闭包内的str=‘test’,故会输出第二行的内容。然后myFunc输出结果第三行，因为此时str引用的当前闭包内的str，故为undefined。

最上面的getFunction的例子。每次都返回一个函数实例，是因为每次都建立一个闭包。

运行时存在函数闭包链，提供对函数外定义的变量的访问。
第一次写，有点散，希望对大家有帮助。