你的位置:首页 > Java教程

[Java教程]谈谈自己对js闭包,执行上下文,作用域链,活动对象AO,变量对象VO的理解


引子:关于闭包
什么是闭包呢?
  从定义上来看,所有的函数都可以是闭包。当一个函数在调用时,引用了不是自己作用域内定义的变量(通常称其为自由变量),则形成了闭包;闭包是代码块和创建该代码块的上下文中数据的结合。


例子:   function mytest( ){                     
           var test=10;
          return function( ){ 
                 test++;
               alert(test);
      } 
}
var atest = new mytest( ); //引用返回的函数
atest( );  // 11
atest( ); //  12
ps:注意运用闭包的常见错误-->for(var i,len=xx.length;i<len;i++)循环;当我们所引用的自由变量为i时,由于i一直在内存中没有释放,所以函数每次alert(i)时,其值均为最终的i;(例子很多,就不写了)
    通过测试结果我们可以发现, 闭包会使该函数引用的变量一直在内存中,原因是什么呢?
简单的解释就是因为这个返回的函数引用了变量test;当浏览器解析到var atest=new mytest();这一行且mytes()函数执行完毕,准备内存释放时,发现所返回的函数引用了test变量。从而该出栈的并没有出去;
    想完全弄清楚这个问题,我们还需要进一步理解AO(活动对象)和VO(变量对象)以及作用域链、执行上下文的问题。
    那么这整个机制浏览器到底是怎么解析的呢?
    不急,我们来看看执行上下文、作用域链、活动对象和变量对象;
写在前面的执行上下文:
 a:定义:

  每次当控制器转到ECMAScript可执行代码的时候,即会进入到一个执行上下文。执行上下文(简称-EC)是ECMA-262标准里的一个抽象概念,用于同可执行代码(executable code)概念进行区分。
活动的执行上下文组在逻辑上组成一个堆栈。堆栈底部永远都是全局上下文(global context),而顶部就是当前(活动的)执行上下文。堆栈在EC类型进入和退出上下文的时候被修改(进栈或出栈)。
b:若我们定义执行上下文堆栈是一个数组:
ECStack = [];
//GlobalContext始终在堆栈底部,其余的FunctionContext按激活顺序被压入,结束时被弹出
ECStack = [
  globalContext
];
ECStack = [  FunctionAaContext,//函数A内部函数a可执行代码 
FunctionAContext,//函数A可执行代码(不包含内部函数代码,只能对其声明,就像在全局中只能对函数A声明一样,需要内部函数激活时,创建   GlobalContext                                                     出新的执行上下文环境,才能执行相应的代码)      调用结束后出栈  
];


 

   ps:
每次进入function (即使function被递归调用或作为构造函数) 的时候或者内置的eval函数工作的时候,当前的执行上下文都会被压入堆栈;

 

 

1、作用域链
     首先,我们如何创建一个作用域呢,function()。函数是javascript中唯一一个能创建出作用域的,也就是说for、if、while的{}是不能创建出作用域的。区别c++中的块作用域{}。
     一个函数的作用域创建后,将贯穿他的始“{”,终“}”,作用域

在函数创建时被存储,与函数共存亡

。这句话就应该着重理解贯穿2字了,若函数内部嵌套着多个函数,那么从最内层函数作用域依次往外就形成了作用链。
ps:需要我们理解作用域链的变量查找机制是由内往外的。先找自身作用域,再一次往外,若没有,则等同没有var时的声明(为全局添加了一个属性);

作用域链正是内部上下文所有变量对象(包括父变量对象)的列表


2、变量对象(Variable Object)、活动对象(Activation Object)
     浏览器在对代码进行解析时,会先进行变量声明和函数声明以及函数形参声明;
(全局作用域下)那么这些优先声明的变量储存在哪里呢? 
没错,就在变量对象中(抽象概念);活动对象怎么理解呢?

     抽象变量对象VO (变量初始化过程的一般行为)
    
      --> 全局上下文变量对象GlobalContextVO
          (VO === this === global)

      --> 函数上下文变量对象FunctionContextVO
           (VO === AO, 并且添加了<arguments>(形参类数组)和<formal parameters>(形参的值))

ps:在函数执行上下文中,VO是不能直接访问的,此时由活动对象扮演VO的角色。Arguments对象是活动对象的一个属性,它包括如下属性:

  1. callee — 指向当前函数的引用

  2. length — 真正传递的参数个数

  3. properties-indexes (字符串类型的整数) 属性的值就是函数的参数值(按参数列表从左到右排列)。 properties-indexes内部元素的个数等于arguments.length. properties-indexes 的值和实际传递进来的参数之间是共享的。

 

 

现在让我们来串一下

 

1、全局执行上下文

创建global.VO

2、全局变量的赋值 | 调用函数()(激活)

激活函数后,会得到当前的AO,其中有内部函数的声明、内部变量的声明、形参

3、进入所激活的函数的上下文

进行所在作用域链上的变量的赋值 各种运算 (作用域链包含全局的VO,和当前执行上下文的AO)

4.a、若在函数中有内部函数调用(或自执行),重复3;

4.b  若返回一个函数(或其引用),且该函数有对自由变量的引用-->形成闭包-->作用域链机制依然有效-->当前已压入执行上下文堆栈的FunctionContext不会出栈;-->回到2;

4.c  正常return或正常结束,FunctionContext出栈;-->回到2;

5.所有代码执行完毕,程序关闭,释放内存。

 

恳请大牛老鸟指出错误和理解不对的地方;大二学生一枚,努力学习中。。。   见谅见谅

纯手打,转载收藏不用注明出处,(估计也不会有,请忽略)。

 

写在最后:

  如果你是刚开始接触javascript,如果你也相信博客园能够让你的学习更加规划与深入,我推荐你看看王福鹏老师和汤姆大叔的博文,自己仔细揣摩,记录下自己的感想,一定会有收获的。加油。我正在努力看深入系列的设计模式,感觉看着不是很顺,有些不好理解,希望有经验的博主们能指点指点。这是我的第一篇博文,真心希望能够在博客园中寻到良师益友。

另贴上汤姆大叔深入javascript系列博文的地址,

http://www.cnblogs.com/TomXu/archive/2011/12/15/2288411.html