js执行环境与作用域、函数的创建和调用
执行环境
执行环境：定义变量或函数有权访问的其他数据。
每个执行环境对应与之关联的变量对象。
变量对象：保存环境中定义的所有变量和函数。
全局执行环境：最外围的执行环境，在web浏览器中，全局执行环境为window对象。
全局变量对象：保存所有window对象下的属性和方法。
执行环境的销毁
某个执行环境在所有代码执行完毕后，这个执行环境就会被销毁，保存在其中的所有变量和函数定义也随之销毁。
全局执行环境直到应用退出，例如关闭网页或浏览器时销毁。
每个函数都有一个执行环境，当函数开始进入执行流时，会将此函数的执行环境推入环境栈中，当函数执行完后，会将此函数的执行环境从环境栈中弹出，将环境栈的控制权交还给之前的执行环境。
作用域链
当代码在一个执行环境中执行时，会创建变量对象的一个作用域链。
作用域链：保证对执行环境有权访问的所有变量和函数的有序访问；作用域链的前端始终是当前执行代码所在环境的变量对象。
如果执行的是一个函数，那么作用域链的前端就是函数的活动对象（activation object），在最初活动对象中只有一个变量arguments对象（该对象在全局环境中是不存在的），arguments对象是一个类数组对象，它包含着传入该函数的所有参数。
作用域链中的下一个变量对象则来自于包含（外部）环境；
下一个变量对象则来自下一个包含环境；
.........
这样一直延到全局执行环境（见下图）。（全局执行环境始终是作用域链中的最后一个变量对象）
js中的标识符解析就是沿着作用域链一级一级地搜索标识符的过程。搜索过程始终做作用域链的前端开始（如下图中的0级，如果是函数就是函数本身的活动对象），然后一级一级地向后回溯，直至找到标识符为止。（如果找不到通常出错）
《JavaScript高级程序设计中》例子来说明：
var color = "blue";
function changeColor() {
var anotherColor = "red";
function swapColors(){
var tempColor = anotherColor;
anotherColor = color;
color = tempColor;
// 这里可以访问tempColor、anothercolor、color
}
// 这里可以访问anothercolor、color
swapColors();
}
// 这里只能访问 color
changeColor();
这段代码中包括3个执行环境，分别是全局执行环境、changeColor()执行环境、swapColor（）执行环境。
swapColors（）可以访问tmpeColor、anotherColor、color所有变量，changeColor()可以访问anotherColor、color，changeColor只能访问color。
从这个例子可以看出内部环境可以通过作用域链访问所有外部环境，但是外部环境不能访问内部环境中的任何变量和函数。这些环境之间是有线性的、有次序的。
每个环境都是向上搜索作用域链来查询变量或者函数名，任何环境都不能向下搜索作用域链而进入另一个执行环境。
swapColors（）作用域中包含3个对象：它自身的变量对象、changeColor（）的变量对象和全局变量对象。swapColor（）局部执行环境开始时会先从自身的变量对象中搜索变量和函数名，如果搜索不到则搜索上一级作用域链。
函数执行过程
function compare(value1,value2) {
if(value1 < value2){
return -1;
}else if(value1 > vlue2){
return 1;
}else{
return 0;
}
}
var result = compare(2,5);
创建一个compare函数，调用函数。下面解释下函数创建和调用时候都做了哪些操作：
- 在创建compare（）函数时，会创建一个预先包含了全局变量对象的作用域链存在函数内部的[[scope]]属性中；（说明：全局环境的变量对象始终存在。）
- 在调用compare（）函数时，会为函数创建一个执行环境，然后通过复制函数内部的[[scope]]属性中的对象构建起执行环境中的作用域链；
- 函数本身的活动变量被创建，在这里作为变量对象推入到作用域链的前端；
当调用compare（）的时候，创建了执行环境，创建了作用域链，并创建了函数本身的活动对象，同时将此活动对象作为变量对象推入到了作用域的前端，在compare（）函数的作用域链中，自身的活动对象处在作用域链的第一位，全局变量对象处于作用域的第二位。在函数执行过程中，读取和写入变量值时，都需要在作用域链中查找变量，无论什么时候查找变量，都是在作用域链中搜索相应名字的变量。
作用域链本身是一个指向变量对象的指针列表，只包含引用不实际包含变量对象。
