javascript 作用域链及闭包,AO,VO,执行环境

下面的文章内容会根据理解程度不断修正。

js变量作用域：

定义：变量在它申明的函数体以及函数体内嵌套的任意函数体内有定义。

function AA(){

  var bb='我是AA内部变量';

   function TT(){
        alert(bb);
     }
   alert(bb);
    TT();
}
AA();

如上图，两次弹出的都是“我是AA内部变量”。

JS的变量作用域是函数级的，也就是在AA内部申明的变量，在AA内部任意位置，包括它嵌套的函数内也是有定义的。

在函数AA外面，bb就是没有定义的。当然如果去掉bb前面var，bb变量就会自动变成全局变量，此时bb在函数AA外也会有效。

JS变量提升：

定义：函数体内申明的变量，会被自动提前到最前面申明。

function AA(){
  alert(bb);//undefined
  alert(cc);//报错，变量未定义
  var bb='我是AA内部变量';
  alert(bb);//我是AA内部变量
}

如上，会依次 返回 undefined，报错，我是AA内部变量

第一次alert为什么没有报错呢？这就是变量提升的原因，js执行时会自动将变量申明提升到最前面，但是赋值并不会因此提升。

提升之后就等价于下面这样。

function AA(){
  var bb;  //定义自动提前，不赋值，
  alert(bb);
  bb='我是AA内部变量';
}

JS执行环境

执行环境或者叫执行上下文，我理解为代码执行时所处的环境，这个环境决定了它有权访问哪些变量或者函数。

var bb='全局变量'
function AA(){
  var bb='局部变量';
  var s=function(){
    alert(bb);
  }
  s();
  return s;
}
var cc=AA();//局部变量
cc();       //局部变量

如上，依次进入的执行环境是window，AA，s

window---全局执行环境

AA，s ---函数执行环境

变量对象VO[variable object]  活动对象AO[activation object]

每个执行环境都有一个变量对象，这个变量对象的属性绑定了在这个环境里定义的所有变量和函数，形参。VO理解为代码编译时产生。

VO绑定以下属性：

1.函数形参

2.函数申明

3.变量申明

函数被调用后，执行环境就切换成了对应的函数，此时活动对象就会产生。也就是说AO可以理解为函数执行时产生的。

进入函数执行环境后，实际上AO就相当于函数的VO，只是说在函数执行环境里 VO属性不能被直接访问，所以生成AO来替代访问。

var bb='全局变量'
function AA(y){
  var bb='局部变量';
  function s(){
    alert(bb);
  }
}
AA(5);

上面代码依次进入的执行环境有两个，首先window，然后是函数AA

全局执行环境window：VO绑定的属性依次，函数AA，变量bb

函数AA执行环境：VO绑定的属性依次是，形参y=5，函数s，变量bb

在全局执行环境中，VO属性是可以被访问的，而进入函数执行环境后VO属性不能被直接访问，此时会生成活动对象AO替代VO，可以访问AO属性。

VO/AO产生的过程也是变量提升的过程，优先提升函数，然后是变量。

此时VO[function]===AO

注：在函数执行环境中，用表达式的方式申明的函数,对应的函数表达式不会加入VO

function AA(){
var sub = function _sub(a, b){
    alert(typeof _sub);
    return a - b;
}

}

sub作为变量会加入VO，_sub作为函数表达式则不会加入。

JS作用域链

作用域链包含了执行环境有权访问的变量、函数的有序访问。它是一个由变量对象(VO/AO)组成的单向链表，主要用来进行变量查找。

JS内部有一个[[scope]]属性，这个属性就是指向作用域链的顶端。

var bb='全局变量'
function AA(y){
  var bb='局部变量';
  function s(){
    var z=0;
    alert(bb);
  }
  s();
}
AA(5);

暂且理解JS在代码编译时创建作用域链，分析上面的代码的 作用域链：

全局执行环境：[[scope]]----->VO[AA,bb]  只有全局VO，[[scope]]直接指向VO。

函数AA执行环境：[[scope]]---->VO[[y,s,bb]VO[[AA,bb]]，首先全局VO压入栈，然后函数AA VO压入栈顶，[[scope]]属性指向栈顶，变量、函数搜索就从栈顶开始。

函数s执行环境:[[scope]]--->VO[[z]]VO[[y,s,bb]VO[[AA,bb]]，首先全局VO压入栈，然后依次AA，s压入栈，s处于栈顶，[[scope]]属性直接指向s的VO。

应用：比如调用s，进入s执行环境，在执行alert时，首先会去查找bb的申明，会先在作用域链的顶端查找，没查到就会沿着链继续往下查找，直到查到就停止。

总结：

函数执行时，将当前的函数的VO放在链表开头，后面依次是上层函数，最后是全局对象。变量查找则依次从链表的顶端开始。JS有个内部属性[[scope]]，这个属性包含了

函数的作用域对象的集合，这个集合就称为函数的作用域链。它决定了，哪些变量或者函数能在当前函数中被访问，以及它的访问顺序。

闭包

我理解为，函数能够访问另一个函数中的变量，这样就构成了一个闭包。只要某个变量在另外一个函数中还存在引用，那么这个变量的值在内存中就不会被释放，除非这个函数不会再执行。

function getvalue(){
 for(var i=0;i<10;i++){
     var yy=i;
      setTimeout(
      function(){
      var zz=document.getElementById('tt').innerText;
      zz+=',';
      zz+=yy;
      document.getElementById('tt').innerText=zz;
      }
      ,
      100)
    }
}

定时器中的匿名函数会在for结束之后依次执行，匿名函数中引用了变量yy，根据作用域链规则查找，首先在匿名函数中寻找yy的定义，没有找到，然后去它的上层查找。

yy定义在getvalue中，又yy被其他函数引用着，所以它的结果不会被释放。

而for循环执行结束之后yy的结果是9，所以最后的输出会是：,9,9,9,9,9,9,9,9,9,9

那如果我们想要输出0123456789怎么办呢？看下面的代码

function getvalue(){
for(var i=0;i<10;i++){
 var yy=i;
(
 function(yy)
 {
 setTimeout(
  function(){
  var zz=document.getElementById('tt').innerText;
  zz+=',';
  zz+=yy;
  document.getElementById('tt').innerText=zz;
  }
  ,
  100)
  }
  )(yy)
}
}

上面在定时器外面套了一个立即执行函数

(function(yy){

....

})(yy)

代码执行到这个匿名函数时，这个匿名函数会自动执行，也就是for循环，每次循环到这里这个函数就会立即执行掉，并把参数yy传入匿名函数中。

现在来看定时器中的匿名函数的作用域链。

[[scope]]--->VO[[变量z]] VO[[形参yy,匿名function]] VO[[匿名function,变量yy]] VO[[函数getvalue]]

此时，定时中的匿名函数引用的变量yy，从作用域链中查找可以发现，它来自于上层立即执行函数的形参，而立即执行函数是每次

for循环都会立即执行并把参数传入。我们知道，只要某个变量在另外一个函数中还存在引用，那么这个变量的值在内存中就不会被释放，

系统会每次把立即函数执行的形参传入值保存起来，所以定时器的中的匿名函数在执行结果就会是下面这样。

,0,1,2,3,4,5,6,7,8,9

每个函数都是一个执行环境，每个执行环境的[[scope]]都会指向一条作用域链。

可以认为，定时器外的函数会执行10次，函数每次执行，系统都会给他分配一个空间，这个空间保存了它的作用域链[[scope]]，变量对象VO/AO[形参，函数申明，变量申明]等信息，

如果它的变量还会被其他函数继续引用，比如定时器中的匿名函数，那么它就不会销毁,等待被使用，反之执行完就会销毁。

既然没有销毁，那么定时器中的匿名函数在执行时，就能获取到想要的值。

这个例子中，定时器中的匿名函数与定时器外的立即执行函数构成闭包。

浅谈this

一般而言，this指向执行环境所处的环境，也就是函数被调用时所处的环境。看到资料说：函数调用f(x,y)其实内部是f.call(this, x, y)这样执行的，所以this是在调用的时候传入的。

如果函数是直接执行的那么this指向window，如果有调用者，那么this指向调用者。

var a=1;
var BB=function(){
  alert(this.a);
}

var DD={
   a:4,
   f:BB
}
BB();//1 this 指向window
var zz=DD.f;
zz(); //1 this指向window
DD.f(); //4 this指向f的调用者DD

上面的例子说明，作为对象方法时，this指向的是函数的调用者，直接调用或者在一般函数中调用时，this指向的就是全局对象

var a=1;
var BB=function(){
this.a=2;
}
var zz=new BB();//this 指向new出来的对象
alert(a); //1 所以this.a赋值不会影响全局变量中的a，此时的this指向的不是全局对象
alert(zz.a);//2
BB();//直接执行，this指向window，执行之后，全局变量a的值被改变
alert(a); //2 

上面说明，作为构造函数时，函数里的this指向的是new出来的对象。

var a=1;
function BB(){
 alert(this.a);
}
function CC(){
this.a=3;
}
BB();  //
var dd=new CC();
BB.apply(dd); //3 实际上this指向dd
BB.call(dd);//3   实际上this指向dd

上面说明，call和apply可以改变this的指向，使用call、apply时，传入的第一个参数就会成为this的指向对象。