最近在看汤姆大叔的"深入理解JavaScript系列"，写得真的不错，对于我而言特别是12章到19章，因为大叔研究的点，就主要是从底层来研究JavaScript为什么会出现钟种特有的语言现象，所以学习了大叔的文章后，再结合《高程》，自己对JavaScript的认知也更明白了，以前好多地方是知其然而不知其所以然，你要问我JavaScript为什么会出现这些现象，我也只能说这是它语言本身的特性嘛。
以下是看了大叔Javascript系列（12到19章）的自我总结。
注：总结中掺杂了个人的观点以及理解层度，所以有什么错误的地方，还请不吝指教。
| 一、深入理解JavaScript系列（12）之变量对象： |
在大叔这章中，大叔提到了一个概念就是‘变量对象（varibale object）’。
‘变量对象’，是与执行上下文有关的，因为JavaScript在执行表达式时，总得知道相应的变量存储在哪吧？不然怎么获取或改变对应的变量值呢？
所以引入了一个‘变量对象’的概念。
都说了是对象嘛，就是以键值对的方式，存储到变量对象中咯。
1、 在进入执行上下文时，‘变量对象’VO：
（1）会将函数的所有形参（如果我们是在函数执行上下文），以形参名和其对应的值作为变量对象的属性，如果形参没有对应的值，就是undefined咯。
（2）会将所有函数声明，以函数名和对应的函数对象作为变量对象的属性。如果，变量对象中已经存在了相同名称的属性，就完全替代。
（3）会将所有变量声明，以变量名和其对应值（undefined）作为变量对象的属性。如果变量名称与上述（1）、（2）中的形参名或函数名撞车了，则变量声明不会去影响 存在的这类属性。
且，在上面提到，变量对象与执行上下文有关，那么它们究竟什么关系呢？
分两种情况:
一种情况就是在进入任何执行上下文之前就创建的对象，此乃全局对象（Global object）global;
另一种就是，我们都知道在JavaScript中作用域是以函数function为基准的，所以函数的变量对象其实就是执行上下文对象；
具体见以下两幅图：
图一
图二
注：函数中的变量对象是不能访问的。
那为什么全局中的变量对象能访问呢？
因为可以通过this或者window，因为window是全局变量global的一个属性，且引用了global。这也就是为什么在全局变量中访问标识符时，用this或者直接访问标识符时，会比用window快的原因。
2、 在执行代码时
变量对象VO，已经在进入上下文时，做了预处理。So，接下来就是根据具体的代码改变对应的值了。
| 二、深入理解JavaScript系列（13）之This： |
说到this，简单点嘛就是由调用者决定的，谁调用的就是谁。
如下：
function fn(){ console.log(this); }; var foo = { bar: fn }; //输出的this指向foo foo.bar();
但JavaScript底层到底是个怎样的处理机制呢？
在大叔的这章中，引入了一个‘引用类型（Reference type）’的概念。
引用类型（Reference type），使用伪代码可以将其表示为拥有两个属性的对象：
----base，即拥有属性的那个对象；
----propertyName，即属性名，从而可以获取相应的值。
如下：
且，要返回引用类型的值，只存在两种情况：
1、 处理一个标识符时;
2、 处理属性访问器( . 或 [ ] )时.
注意：只有两种情况哦，要从引用类型中得到一个属性值嘛，还需要一步，就是底层调用GetValue方法，从‘引用类型’对象中得到对应属性值的值。
咦，讲了这么多和this有什么相关？
直接摘至大叔：
好了，如果理解了上面的流程，下面的几个例子中this也就OK啦。
'use strict'; var foo = { bar: function(){ console.log(this); } }; foo.bar();//this为foo
(foo.bar)();//this为foo (foo.bar = foo.bar)();//this为undefined (false || foo.bar)();//this为undefined (foo.bar, foo.bar)();//this为undefined
| 三、深入理解JavaScript系列（14）之作用域链: |
作用域链是上下文所有‘变量对象（varibale object）’的列表，提到‘变量对象’，so此链用来变量查询。且函数上下文的作用域链在函数调用时创建，包含活动对象和这个函数内部的[[scope]]属性，而这个[[scope]]属性是所有父变量对象的层级链，在函数创建时存在其中，且不会改变，即，函数一旦创建了，无论你调或不调用，[[scope]]已存储在函数对象中了。
当函数被调用时，进入执行上下文activeExecutionContext，其中包含Scope属性，即作用域链。
作用域链（Scope）在上下文中具体见下：
activeExecutionContext = { VO:{...},//or AO this: thisValue, Scope/*Scope chain*/: [ AO + [[Scope]] ] }
Scope又包含变量对象和函数的 [[scope]]属性。
当我们解析一个标识符（标识符是变量名，函数名，函数参数名和全局对象中未识别的属性名）时，解析过程将沿着这条链（Scope）去查找，查到就返回它的值，如果在Scope这条链中，没有找到相应的值，就会沿着全局对象这条原型链去查找，因为函数活动对象没有原型。
例子如下：
'use strict'; function foo(){ function bar(){ console.log(x); };
bar(); }; Object.prototype.x = 10; this.__proto__.x = 200; foo();//x为200
另外：通过函构造函数创建的函数的[[scope]]属性总是唯一的全局对象.
| 四、深入理解Javascript系列（15）之函数: |
函数声明，在‘变量对象’章中已经知道，在进入执行上下文时，会将所有的函数声明以键值对的形式存储到变量对象VO中。
但，
函数表达式不会添加到变量对象VO中，且在代码执行阶段创建，用完后立刻销毁。命名函数表达式也一样哦，因为它是表达式嘛。
例如：
<!DOCTYPE html> <head> <title>JavaScript</title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> </head> <body> <script> 'use strict'; (function foo(x){ console.log(x); }(1)); foo(2);//此时会报错：foo is not defined </script> </body> </html>
执行以上代码，chrome效果图如下：
和函数表达式不一样么，用完即刻销毁。那命名函数表达式有什么用呢？
命名函数表达式，可以通过名称递归自己嘛。
但，刚才不是说命名函数表达式和函数表达式都不会添加到变量对象VO中吗？那它怎么通过名称自己调用自己的？
当解释器在代码执行阶段，遇到命名的函数表达式，解释器将创建一个辅助的特定对象，并添加到当前作用域链的最顶端。然后创建函数表达式，然后将命名函数表达式的名字添加到这个辅助的特定对象中，且值为该函数引用，当命名函数表达式在其自身调用时，它就在这个特定的对象中找到自己。最后，当命名函数表达式执行完成后，从父作用域链中移除那个辅助的特定对象。
具体算法见下：
| 五、深入理解JavaScript系列（16）之闭包： |
因为作用域链，从而使得所有的函数都是闭包。
但，有一类函数比较特殊，那就是通过Function构造器创建的函数，因为其[[Scope]]只包含全局对象。
ECMAScript中，闭包指的是：
1、从理论角度：所有的函数。
因为它们都在创建的时候，就将上层上下文的数据保存起来了。哪怕是最简单的全局变量也是如此，因为函数中访问的全局变量就相当于是访问自由变量，这个时候使用最外层 的作用域。
2、从实践角度：以下函数才算闭包：
（1）、即时创建它的上下文已经销毁，它任然存在（比如，内部函数从父函数中返回）;
（2）、在代码中引用了自由变量。
给出一段经典的代码：
var data = []; for( var k = 0; k < 3; k++){ data[k] = function(){ alert(k); }; }; data[0]();// 3，而不是0 data[1]();// 3，而不是1 data[2]();// 3，而不是2
常用的解决方法是，通过闭包，如下：
var data = []; for( var k = 0; k < 3; k++){ data[k] = (function _helper(x){ return function(){ alert(x); }; })(k);//传入"k"值 }; //现在结果正确了 data[0]();// 0 data[1]();// 1 data[2]();// 2
除了闭包，我们还可以怎么解决呢？
如下：
var data = []; for( var k = 0; k < 3; k++){ (data[k] = function(){ alert(arguments.callee.x); }).x = k;//将k作为函数的一个属性 }; //结果也是对的 data[0]();// 0 data[1]();// 1 data[2]();// 2
但是arguments.callee在ECMAScript5中的严格模式下是不能用的，所以我们可以用命名函数表达式来做。
如下：
var data = []; for( var k = 0; k < 3; k++){ (data[k] = function foo(){ alert(foo.x); }).x = k;//将k作为函数的一个属性 }; //结果也是对的 data[0]();// 0 data[1]();// 1 data[2]();// 2
| 六、其他: |
ECMAScript中将对象作为参数传递的策略——按共享传递：修改参数的属性将会影响到外部，而重新赋值将不会影响到外部对象。
其实不仅是参数传递，其他都是这样的策略（对象都是赋予地址值）。
如下：
var foo = {}; //b其实是添加到function对象中的，而不是foo.a中的，因为foo.a只是引用了function，即得到了它的地址而已 (foo.a = function(){ }).b = 10; //得到10 console.log(foo.a.b); //将foo.a赋值予变量c var c = foo.a; //改变foo.a的值，如一个空对象 foo.a = {}; //输出c.b，还是得到10 console.log(c.b);
数组也是一个对象，所以如果我将数组中的元素指向带有this的函数，那么其指向的是数组对象。
//声明变量arr，并赋值为数组 var arr = []; //给arr数组的第一二个元素赋值 arr[0] = function(){ console.log(this); //因为this指向的是arr对象，所以this['1']或this[1]，就相当于arr[1] this['1'](); }; arr[1] = function(){ console.log("I'm 1 "); }; //this指向的是arr对象 arr[0]();
好了，时间也不早了，晚安~