我们知道了js是弱类型语言，在运行时才确定变量类型。js引擎在执行js代码时，也会从上到下进行 词法分析、语法分析、语义分析 等处理，并在代码解析完成后生成AST（抽象语法树），最终根据AST生成CPU可以执行的机器码并执行。
除此之外，JS引擎在执行代码时还会进行其它处理，如 V8 中还有两个阶段：
编译阶段：该阶段会进行执行上下文的创建，包括创建变量对象(VO)(此时会被初始化为undefined)、建立作用域链、确定 this 指向等。每进入一个不同的运行环境。V8 都会创建一个新的执行上下文。执行阶段：将编译阶段中创建的执行上下文压入调用栈，并成为正在运行的执行上下文。代码执行结束后，将其弹出调用栈。（这里有一个VO – AO的过程：JavaScript对变量赋值时变量被用到，此时变量对象会转为活动对象，转换后的活动对象才可被访问）
这就引出了两个概念：“执行上下文” 和 “作用域链”。
JavaScript执行上下文
由上面我们可以知道：当js代码执行一段可执行代码时，会创建对应的执行上下文。
首先，js中可执行代码对应着有一个概念：“执行环境” —— 全局环境、函数环境 和 eval。
其次，对于每个执行上下文，都有三个重要属性：
变量对象（即“VO”）作用域链this
我们来看两段代码：
var scope="global scope";function checkscope(){ var scope="local scope"; function f(){ return scope; } return f();}checkscope();var scope="global scope";function checkscope(){ var scope="local scope"; function f(){ return scope; } return f;}checkscope()();它们会打印什么？
为什么？答案是它们的执行上下文栈不一样！
我们定义一个EStack，首先
EStack=[globalContext];
然后来模拟第一段代码：
EStack.push( functionContext);EStack.push( functionContext);EStack.pop();EStack.pop();
而第二段代码是这样的：
EStack.push( functionContext);EStack.pop();EStack.push( functionContext);EStack.pop();
究其原因，你可能需要先研究一下“闭包”的概念了！
JavaScript作用域和作用域链
首先，作用域是指程序中定义变量的区域。作用域规定了如何查找变量，也就是确定了当前执行代码对变量的访问权限。
作用域有两种：静态作用域 和 动态作用域。
JS采用的静态作用域，也叫“词法作用域”。函数的作用域在函数定义的时候就确定了。
由上，词法作用域中的变量，在编译过程中会产生一个确定的作用范围。这个作用范围即“当前的执行上下文”。在ES5后我们用“词法环境”替代作用域来描述该执行上下文。词法环境由两个成员组成：
自身词法环境记录：用于记录自身词法环境中的变量对象外部词法环境引用：用于记录外层词法环境中存在的引用
我们依然来看一个例子：
var value=1;function foo(){ console.log(value);}function bar(){ var value=2; foo();}bar();回看上面的定义，该打印什么？
让我们分析下执行过程：
执行foo()函数，先从foo函数内部查找是否有局部变量value。如果没有，就根据定义时的位置，查找上面一层的代码，也就是value=1.所以结果会打印1。
这里面当然不是如此简单能概括的，你可以从执行上下文的角度分析一下。
建立作用域链
上面我们说了词法环境（作用域）的两个组成。再结合执行上下文，我们不难发现：通过外部词法环境的引用，作用域可以顺着栈层层拓展，建立起从当前环境向外延伸的一条链式结构。
再来看一个例子：
function foo(){ console.dir(bar); var a=1; function bar(){ a=2; }}console.dir(foo);foo();由静态作用域，全局函数foo创建了一个自身对象的 [[scope]] 属性
foo[[scope]]=[globalContext];
而当我们执行foo()时，也会先后进入foo函数的定义期和执行期。在foo函数的定义期时，函数bar的 [[scope]] 将会包含全局内置scope和foo的内置scope
bar[[scope]]=[fooContext,globalContext];
这证明了这一点：“JS会通过外部词法环境引用来创建变量对象的一个作用域链，从而保证对执行环境有权访问的变量和函数的有序访问。”
让我们再回头看看执行上下文中的那道题，在前面我们说了它们有什么不同，这里说下为什么它们相同地打印了“local scope”：还是那句话“JS采用的是词法作用域，函数的作用域取决于函数创建的位置” —— JS函数的执行用到了作用域链，这个作用域链是在函数定义的时候创建的。嵌套的函数 f() 定义在这个作用域链里，其中的变量scope一定是指局部变量，不管何时何地执行 f() ，这种绑定在执行 f() 时依然有效。
基于作用域链的变量查询
当某个变量无法在自身词法环境记录中找到时，可以根据外部词法环境引用向外层进行寻找，直到最外层的词法环境中外部词法环境引用为null。
与此相似的是“对象中基于原型链的查找”：
原型：每一个JS对象（null 除外）在创建时就会与另一个对象关联，这个对象就是我们说的原型。每一个对象都会从原型中“继承”属性。当读取实例的属性时，如果找不到，就会查找与对象关联的原型中的属性，如果还找不到，就去找原型的原型，一直到最顶层（__proto__为null）为止
它们的区别也显而易见：原型链是通过 prototype 属性建立对象继承的链接；而作用域链是指内部函数能访问到外部函数的闭包。不管直接还是间接，所有函数的作用域链最终都链接到全局上下文。
javascript学习教学