关于JavaScript的执行域,标识符解析,闭包的研究

· 作者:laruence( http://www.laruence.com/)
· 本文地址: http://www.laruence.com/2008/07/28/210.html
· 转载请注明出处

  在js中，作用域的概念和其他语言差不多， 在每次调用一个函数的时候 ，就会进入一个函数内的作用域，当从函数返回以后，就返回调用前的作用域，但js的实现方式却和一般语言不同，并非用“堆栈”方式，而是使用列表，具体过程如下(ECMA262中所述):
   在一个函数对象被创建的时候， 会创建一个活动对象（也就是一个对象），然后对于每一个函数的形参，都命名为该活动对象的命名属性：

var func = function(lps, rps){
             ........
}

    对于上面的列子，会创建一个活动对象(假设为aObj)，给这个对象添加俩个命名属性aObj.lps, aObj.rps; 然后还会创建一个arguments对象，这个对象以数组的方式保存调用参数，还有callee等其他参数；然后将arguments也作为活动对象(假设为aObj)的一个同名命名属性(arguments)；还有就是，对于每一个这个函数申明，或者定义的变量，都作为该活动对象的同名命名属性。内部函数也是一样。
 
    在真正的调用时刻，会做一个叫做变量实例化的过程，也就是将调用参数赋值给形参数，对于缺少的调用参数，赋值为undefined。

    接下来，谈谈作用域， 在js中，作用域的实现，是通过一个列表[[scope]]。对于每一个js的函数对象，都维护一个内部的对象列表[[scope]]，这个列表由上面提到的一个个活动对象组成。
   
    当调用一个函数的时候，这个函数的活动对象列表，将保存该函数作用域（调用者的作用域）列表，然后将对于这个被调用函数所生成的活动对象，置于[[scope]]的最前端。

    当发生标识符解析的时候， 会逆向查询这个[[scope]]列表的每一个活动对象的属性，如果找到同名的就返回。找不到，那就是这个标识符没有被定义。

  

function a(){
  ....
}

function b(){
 a();
}

对于上面的列子，当调用b()的时候， b的[[scope]]由: 全局活动对象->b的活动对象组成。
而当b()在内部调用a()的时候，a()的[[scope]]由:全局活动对象->b的活动对象->a的活动对象组成。

这样，就构成了js自己的作用域的机制。。


接下来谈谈闭包，ECMA262没有规定垃圾回收机制的具体实现，但一般来说，垃圾回收机制的原理都是，如果一个对象没有再
被引用，那么这个对象就会成为垃圾回收的目标。

接下来结合前面讲的，分析如下代码：
 

function a(){

  return funtion  b(){
   .....};;
}

var ref = a();

当调用a()的时候，a返回了一个叫做b的函数对象的引用。 当从a调用返回以后，因为ref引用了b()，所以在b()的[[scope]]上的，已经被变量实例化了的a的活动对象就不会被垃圾回收，那么这样，当在外部直接调用ref所引用的b时，就可以访问到b()函数外层的a()函数对象已经被实例化了的各个参数。

这样就形成了一个闭包。也可以理解为一个不会被回收的函数对象列表，不过要注意的时候，在这个列表中的a()的活动对象是已经被实例化了的。

现在根据前面所讲的这些，讨论一个问题，就是对于js对象编程中所实现的"私有成员":
 

function class(){
  var private;
  this.public;
}

做过Javascript面对对象编程的朋友一定知道，对于上面的代码，private变量是一个私有的变量，而public变量是共有的，那么他们具体是怎么实现的呢？

结合上面的讨论，我们来分析一下，
 对于private, 它会被作为class函数对象的活动对象的一个属性，那么当class函数对象（构造函数）执行结束以后，该活动对像就会被回收，那么自然，这个private也就不能再被外部访问了，也就是模拟了私有变量。
 而对于this.public，我们知道this在js中是一个关键字，而不是一个标识符，它指向调用者的引用， 比如：

var objRef = new Class();

这个时候，this指向的是 objRef，所以，，，，，，很显然，这个时候public就可以通过objRef来访问了，公有的属性了。。。

当然，你也许会发现，如果是这样的话，每次new一个对象的时候，这种形式的共有对象，每次都会new一个新的对象，会很浪费资源，所以，最好还是通过函数对象的原型来创建公有的属性。