对执行上下文和作用域的理解

转自执行上下文和作用域的理解
参考深入理解javascript原型和闭包（完结）

执行上下文

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

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 = 5
4      fn(x + b) // 3、进入fn函数上下文环境
5    }
6 fn = function(y) {
7  let c = 5
8  console.log(y + c)
9 }
10
11 bar(10) // 2、进入bar函数上下文环境

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

// 全局上下文环境
a: undefined
fn: undefined
bar: undefined
this: window

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

// 全局上下文环境
a: 10
fn: function
bar: function
this: window

（2）然后执行到11行，调用bar函数。
跳转到bar函数内部，执行函数体语句之前，会创建一个新的执行上下文环境。

// bar执行上下文环境
b: undefined
x: 10
arguments: [10]
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() // 5
f2() // 10

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

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

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

作用域链

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

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

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

let x = fn(), b = 200
x()   

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

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