JavaScript运行原理分析
投稿：laozhang
JavaScript是一种基于对象的动态、弱类型脚本语言（以下简称JS），是一种解释型语言，和其他的编程语言不同，如java/C++等编译型语言，这些语言在代码执行前会进行通篇编译，先编译成字节码（机器码）。然后在执行。而JS不是这样做的，JS是不需要编译成中间码，而是可以直接在浏览器中运行，JS运行过程可分为两个阶段，编译和执行。(可参考你不知道的JS这本书），当JS控制器转到一段可执行的代码时（这段可执行代码就是编译阶段生成的），会创建与之对应的执行上下文(Excution Context简称EC)。执行上下文可以理解为执行环境（执行上下文只能由JS解释器创建，也只能由JS解释器使用，用户是不可以操作该‘对象'的）。
JS中的执行环境分为三类:
- 全局环境：当JS引擎进入一个代码块时，如遇到<script>xxx</script>标签，就是进入一个全局执行环境
- 函数环境：当一个函数被调用时，在函数内部就形成了一个函数执行环境
- eval()：把字符串单做JS代码执行，不推荐使用
在一段JS代码中可能会产生多个执行上下文，在JS中用栈这种数据结构来管理执行上下文，栈的特点是“先进后出，后进先出”,这种栈称之为函数调用栈。
执行上下文的特点
- 栈底永远是全局执行上下文，有且仅有一个
- 全局执行上下文只有在浏览器关闭时，才会弹出栈
- 其他的执行上下文的数量没有限制
- 栈顶永远是当前活动执行上下文，其余的都处于等待状态中，一旦执行完毕，立即弹出栈，然后控制权交回下一个执行上下文
- 函数只有在每次被调用时，才会为其创建执行上下文，函数被声明时是没有的。
执行上下文可以形象的理解为一个普通的JS对象，一个执行上下文的生命周期大概包含两个阶段：
创建阶段
此阶段主要完成三件事件，1、创建变量对象 2、建立作用域链 3、确定this指向
执行阶段
此阶段主要完成变量赋值、函数调用、其他操作
变量对象(VO)的创建过程
- 1、根据函数参数，创建并初始化arguments对象，给arguments对象添加属性"0","1","2","3"等属性，其初始值为undefined，并设置arguments.length值为实际传入参数的个数。
- 2、查找function函数声明，在变量对象上添加属性，属性名就是函数名，属性值就是函数的引用值，如果已经存在同名的，则直接覆盖
- 3、查找var变量声明(查找变量时，会把函数的参数等价于var声明，所以在VO中也会添加和参数名一样的属性，初始值也是undefined)，在变量对象添加属性，属性名就是变量名，属性值是undefined，如果已经存在同名的，则不处理
如果存在同名标识符（函数、变量），则函数可以覆盖变量，函数的优先级高于变量
变量对象（OV）和激活对象（AO）是同一个东西，在不同时期的两种叫法。在创建时期叫变量对象，在执行时期叫激活对象
以如下代码为例
var g_name="tom";
var g_age=20;
function g_fn(num){
var l_name="kity";
var l_age=18;
function l_fn(){
console.log(g_name + '===' + l_name + '===' + num);
}
}
g_fn(10);
编译阶段
当JS控制器转到这一段代码时，会创建一个执行上下文，G_EC
执行上下文的结构大概如下：
G_EC = {
VO : {},
Scope_chain : [],
this : {}
}
/* VO的结构大概 */
VO = {
g_name : undefined,
g_age : undefined,
g_fn : <函数在内存中引用值>
}
/* Scope_chain的大概结构如下 */
Scope_chain = [ G_EC.VO ] // 数组中第一个元素是当前执行上下文的VO，第二个是父执行上下文的VO,最后一个是全局执行上下文的VO,在执行阶段，会沿着这个作用域链一个一个的查找标识符，如果查到则返回，否知一直查找到全局执行上下文的VO
/* this */
this = undefined // 此时this的值是undefined
执行上下文一旦创建完毕，就立马被压入函数调用栈中，此时解释器会悄悄的做一件事情，就是给当前VO中的函数添加一个内部属性[[scope]],该属性指向上面的作用域链。
g_fn.scope = [ global_EC.VO ] // 该scope属性只能被JS解释器所使用，用户无法使用
执行阶段
一行一行执行代码，当遇到一个表达式时，就会去当前作用域链的中查找VO对象，如果找到则返回，如果找不到,则继续查找下一个VO对象，直至全局VO对象终止。
此阶段可以有变量赋值，函数调用等操作，当解释器遇到g_fn()时，就知道这是一个函数调用，然后立即为其创建一个函数执行上下文，fn_EC，该上下文fn_EC同样有两个阶段
分别是创建阶段和执行阶段。
在创建阶段，对于函数执行上下文，在创建变量对象时，会多创建一个arguments对象，然后为arguments对象添加属性:"0"，"1", "2"其初始值为undefined,
- 查找function函数声明
- 查找var变量声明