执行环境定义了变量或函数有权访问的其他数据，决定了它们各自的行为。每个执行环境都有一个与之关联的变量对象，环境中定义的所有变量和函数都保存在这个对象中。我们编写的代码是无法访问这个对象的，但解析器在处理数据时会在后台使用它。
全局执行环境是最外围的一个执行环境，在Web浏览器中，全局执行环境被认为是window对象，因此所有全局变量和函数都是作为window对象的属性和方法来创建的。某个执行环境中的所有代码执行完毕后，该环境就会被销毁，保存在其中的所有变量和函数定义也随之销毁。
每个函数都有自己的执行环境，当执行流进入一个函数时，函数的环境就会被推入一个环境栈中，在函数执行后，栈将其环境弹出，将控制权返回给之前的执行环境。ECMAScript程序中的执行流正是由这个方便的机制控制着。
当代码在一个环境中执行时，会创建变量对象的一个作用域链。作用域链的用途，是保证对执行环境有权访问的所有变量和函数进行的有序访问。作用域链的前端，始终都是当前执行的代码所在环境的变量对象，如果这个环境是函数，则将其活动对象作为变量对象。活动变量最开始时只包含一个变量，即arguments对象（这个对象在全局环境中是不存在的）。作用域链中的下一个变量对象来自包含（外部）环境，再下一个变量对象则来自于再下下个包含（外部）环境，这样一直延续到全局执行环境，全局执行环境的变量对象始终都是作用域链中的最后一个对象。
标识符解析是沿着作用域链一级一级向上(外)搜索标识符的过程。搜索过程始终从作用域链的前端开始，然后逐级向后回溯，直至找到标识符为止。（比如：在全局执行环境中定义了一个name属性，当在一个函数中使用了未声明的变量name，这时，js在预编译时，会向上回溯直到找到name属性位置。）
下图中矩形表示特定的环境。其中内部环境可以通过作用域链访问所有的外部环境，但外部环境不能访问内部变量环境中的任何变量和函数。这些环境之间的练习是线性的，有次序的。每个环境变量都可以向上搜索作用域链，以查询变量和函数名；反之则是不行。
注意，函数参数也被当作变量来对待，因此其访问规则与执行环境中的其他变量相同。
1、延长作用域链
虽然执行环境的类型总共只有两种——全局和局部（函数）。但还是可以通过其他方法来延长作用域链。因为有些语句在作用域链的前端临时增加了一个变量对象，该变量对象会在代码执行后被移除。当执行流进入下列任一语句时，作用域链就会得到加长：
- try-catch语句的catch块
- with语句
这两个语句都会在作用域链前端增加一个变量对象。对于with语句来说，会将指定的对象添加到作用域链中。对于catch语句来说，会创建一个新的变量对象，其中包含的是被抛出的错误对象的声明。
2、没有块级作用域
if(true)
{
var color = "blue";
}
alert(color);
注意：如果是在C#、java中，color会在if语句执行完毕后被销毁，但在JavaScript中，if语句中的变量声明会将变量添加到当前的执行环境中（在这里是全局执行环境）。在使用for语句时尤其要牢记这一差异，例如
for (var i=0;i<10;i++){
doSonmething(i);
}
alert(i); //10
对于C#，java语言来说，for语句初始化变量的表达式所定义的变量，最会存在于循环的环境中。而对JavaScript来说，for语句创建的变量i即使for循环结束后，也依旧会存在与循环外部的执行环境中。
在使用var关键字声明变量时，这个变量将被自动添加到最接近的环境中。在函数内部，最接近的环境就是函数的局部环境。在with语句中，最接近的环境是函数环境。所入初始化变量时没用用var声明，该变量会被自动添加到全局环境。
查询标识符(变量等)，当在某个环境中为了读取或写入为引入一个标识符时，就必须通过搜索来确定该标志符实际代表什么。搜索过程从作用域链的前端开始，向上逐级查询与给定名字匹配的标识符。如果局部变量中有，搜索停止，如果没有在逐级向上搜，直到全局环境。如果全局环境中也没有找到这个标识符，则意味着该变量没有声明过。
通过下面这个实例，可以理解查询标识符的过程：
var color="blue";
function getColor(){
return color;
}
alert(getColor()); //blue
调用本例中的函数getColor()时会引用变量color。为了确保变量color的值，将开始一个两步走的搜索过程。首先，搜索getColor()的变量对象，查找其中是否包含一个名为color的标识符。在没有找到的情况下，搜索到下一个变量对象（全局环境的变量对象），然后在那里找到了名为color的标识符。因为搜索到了定义这个变量对象，搜索过程也宣告结束。
在这个搜索过程中，如果存在一个局部的变量的定义，则搜索会自动停止，不会再进入外部环境进行搜索。
变量查询也不是没有代价。很明显，访问局部变量要比访问全局变量快的多，因为不用向上搜索作用域链，但这个差别在将来的优化下会变得可以忽略不计。
原文：https://www.cnblogs.com/zxj159/archive/2013/05/17/3084598.html