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


在js中,作用域的概念和其他语言差不多, 在每次调用一个函数的时候 ,就会进入一个函数内的作用域,当从函数返回以后,就返回调用前的作用域,但js的实现方式却和一般语言不同,并非用“堆栈”方式,而是使用列表,具体过程如下(ECMA262中所述):

  在一个函数对象被创建的时候, 会创建一个活动对象(也就是一个对象),然后对于每一个函数的形参,都命名为该活动对象的命名属性:

view plaincopy to clipboardprint?
var func = function(lps, rps){ 
       ........ 
}<PRE></PRE> 
  
var func = function(lps, rps){
       ........
}

  对于上面的列子,会创建一个活动对象(假设为aObj),给这个对象添加俩个命名属性aObj.lps, aObj.rps; 然后还会创建一个arguments对象,这个对象以数组的方式保存调用参数,还有callee等其他参数;然后将arguments也作为活动对象(假设为aObj)的一个同名命名属性(arguments);还有就是,对于每一个这个函数申明,或者定义的变量,都作为该活动对象的同名命名属性。内部函数也是一样。

  在真正的调用时刻,会做一个叫做变量实例化的过程,也就是将调用参数赋值给形参数,对于缺少的调用参数,赋值为undefined。

  接下来,谈谈作用域, 在js中,作用域的实现,是通过一个列表[[scope]]。对于每一个js的函数对象,都维护一个内部的对象列表[[scope]],这个列表由上面提到的一个个活动对象组成。

  当调用一个函数的时候,这个函数的活动对象列表,将保存该函数作用域(调用者的作用域)列表,然后将对于这个被调用函数所生成的活动对象,置于[[scope]]的最前端
当发生标识符解析的时候, 会逆向查询这个[[scope]]列表的每一个活动对象的属性,如果找到同名的就返回。找不到,那就是这个标识符没有被定义。

view plaincopy to clipboardprint?
function a(){ 
 .... 
} 
 
function b(){ 
a(); 
} 
<PRE></PRE> 
  
function a(){
 ....
}
  
function b(){
a();
}

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

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

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

  接下来谈谈闭包,ECMA262没有规定垃圾回收机制的具体实现,但一般来说,垃圾回收机制的原理都是,如果一个对象没有再

  被引用,那么这个对象就会成为垃圾回收的目标。

  接下来结合前面讲的,分析如下代码:

view plaincopy to clipboardprint?
function a(){ 
 
 return funtion b(){ 
  .....};; 
} 
 
var ref = a();<PRE></PRE> 
  
function a(){
  
 return funtion b(){
  .....};;
}
  
var ref = a();
当调用a()的时候,a返回了一个叫做b的函数对象的引用。 当从a调用返回以后,因为ref引用了b(),所以在b()的[[scope]]上的,已经被变量实例化了的a的活动对象就不会被垃圾回收,那么这样,当在外部直接调用ref所引用的b时,就可以访问到b()函数外层的a()函数对象已经被实例化了的各个参数。


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

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

view plaincopy to clipboardprint?
function class(){ 
 var private; 
 this.public; 
}<PRE></PRE> 
  
function class(){
 var private;
 this.public;
}

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

  结合上面的讨论,我们来分析一下,

  对于private, 它会被作为class函数对象的活动对象的一个属性,那么当class函数对象(构造函数)执行结束以后,该活动对像就会被回收,那么自然,这个private也就不能再被外部访问了,也就是模拟了私有变量。

  而对于this.public,我们知道this在js中是一个关键字,而不是一个标识符,它指向调用者的引用, 比如:view plaincopy to clipboardprint?

  var objRef = new Class();<PRE></PRE> 

  var objRef = new Class();这个时候,this指向的是 objRef,所以,,,,,,很显然,这个时候public就可以通过objRef来访问了,公有的属性了。。。

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


« 
» 
快速导航

Copyright © 2016 phpStudy | 豫ICP备2021030365号-3