本文参考引自：

不得不说，这个系列文章是真的给人恍然顿悟的感觉，写的非常好，强烈推荐。感谢大佬！

执行上下文

函数每调用一次，都会产生一个新的执行上下文环境。因为不同的调用可能就有不同的参数。

function fn(x) {  console.log(arguments)  console.log(x)}fn(20)fn(10) // 不同的调用可能有不同的参数

执行上下文栈

执行全局代码时，会产生一个执行上下文环境，每次调用函数都又会执行上下文环境。当函数调用完成时，这个上下文环境以及其中的数据都会被消除（当然了闭包并不会乖乖就范），处于活动状态的执行上下文环境只有一个。

// 这是一个压栈出栈的过程--执行上下文栈1 let a = 10, fn, // 1、进入全局上下文环境2    bar = function(x) {3      let b = 54      fn(x + b) // 3、进入fn函数上下文环境5    }6 fn = function(y) {7  let c = 58  console.log(y + c)9 }1011 bar(10) // 2、进入bar函数上下文环境

（1）执行代码之前，首先创建全局上下文环境。（活动状态）

// 全局上下文环境a: undefinedfn: undefinedbar: undefinedthis: window

然后执行代码，代码到10行之前，上下文环境中的变量都在执行过程中被赋值。

// 全局上下文环境a: 10fn: functionbar: functionthis: window

（2）然后执行到11行，调用bar函数。

跳转到bar函数内部，执行函数体语句之前，会创建一个新的执行上下文环境。

// bar执行上下文环境b: undefinedx: 10arguments: [10]this: window

然后将bar执行上下文环境压栈，设置为活动状态（当前唯一）

（3）然后执行到第4行，调用fn函数。

调到fn函数内部，执行函数体语句之前，会创建一个新的执行上下文环境

// fn执行上下文环境c: undefinedy: 15arguments: [15]this: window

然后将fn执行上下文环境压栈，设置为活动状态（当前唯一）

（4）fn执行完毕后，调用fn函数生成的fn上下文环境出栈，被销毁。

然后bar执行完毕后，调用bar函数生成的上下文环境出栈，被销毁。然后剩下全局上下文环境，出栈销毁。

作用域

JS没有块级作用域，除了全局作用域，函数会创建自己的作用域。作用域在函数定义时就已经确定了，不是在函数调用确定（区别于执行上下文环境，当然this也是上下文环境里的成分）

// 全局作用域let x = 100    // fn作用域    function fn(x) {        // bar作用域        function bar(x) {          console.log(x)        }    }let f1 = fn(5)let f2 = fn(10)f1() // 5f2() // 10

作用域只是一个“地盘”，其中没有变量。变量是通过作用域对应的执行上下文环境中的变量对象来实现的。所以作用域是静态观念的，而执行上下文环境是动态上的，两者并不一样。有闭包存在时，一个作用域存在两个上下文环境也是有的。

同一个作用域下，对同一个函数的不同的调用会产生不同的执行上下文环境，继而产生不同的变量的值，所以，作用域中变量的值是在执行过程中确定的，而作用域是在函数创建时就确定的。

如果要查找一个作用域下某个变量的值，就需要找到这个作用域对应的执行上下文环境，再在其中找到变量的值。

作用域链

函数在定义的时候（不是调用的时候）就已经确定了函数体内部自由变量的作用域。

自由变量：比如a，是在fn作用域使用，但是并没有在fn作用域定义，这就是自由变量。

let a = 100function fn() {  let b = 20  function bar() {    console.log(a + b) // a是自由变量  }  return bar}let x = fn(), b = 200x()

那么自由变量是如何得到的呢？这就引出了作用域链。

bar要取得a的值，就要到创建bar这个函数的作用域中取值（这里是fn作用域），fn作用域也没有a，就到创建fn这个函数的作用域中取值（这里是全局作用域），找到了就结束了。这就是作用域链。