JS作用域理解

什么是作用域（执行环境）？

作用域可以看成是一种规则，这种规则定义了变量是如何存储以及如何访问的。作用域也可以称为执行环境，每个执行环境都有一个变量对象，全局执行环境的变量对象为window，变量对象中保存了该环境中的所有的变量和函数。

作用域是什么时候定义的？

作用域有两种工作模型：词法作用域和动态作用域，JS中的作用域属于词法作用域，即作用域是由代码写在哪里决定的，词法作用域就是定义在词法阶段的作用域。

作用域分类：

• 全局作用域：
  全局执行环境是最外层的执行环境，在环境栈的底部，当代码一执行，引擎就进入全局执行环境，全局执行环境只有程序退出后才会被销毁。
• 函数作用域：
  当函数运行时，引擎就会进入函数执行环境，并把当前的函数执行环境推入环境栈，直到函数运行完毕，该环境就会被销毁，保存到其中的变量和函数定义也就会被销毁，执行环境重新返回到全局作用域。
• 块作用域：
  JS中并没有块作用域的概念，但是可以实现块作用域的功能。比如try catch中的catch就会创建块作用域，还有ES6中的let关键字，为声明的变量劫持了所在的块作用域。

一个实例：

<script>
var a=12;
var b=2;
function hello(){
  var b="hello";
  console.log(a,b);
}
hello();
console.log(a,b);
</script>

在JS代码执行的时候会有一个环境栈，这个栈中一开始会将全局环境塞入栈中，当遇到hello()这一代码时又会将hello的局部环境塞入栈中，执行函数中的代码，当执行完后，将hello环境弹出栈，把当前的执行环境交还给全局环境，接着执行刚刚的全局代码。

作用域链

当代码在环境中执行的时候，会创建变量对象的一个作用域链，作用域链可以保证执行环境对变量和函数的有序访问。作用域链的最前端的变量对象是当前执行环境的变量对象，后面依次为其外层的执行环境的变量对象，最后为全局执行环境的变量对象。
标识符解析可以沿着作用域链一层一层的查找，先从作用域链的最前端的变量对象开始查找，依次查找，直到找到标识符为止，或者找不到标识符，则抛出错误。

一个实例：

<script>
var a=12;
var b=2;
function hello(){
  var b="hello";
  console.log(a,b);
}
hello();
console.log(a,b);
</script>

如上述例子，当执行hello()代码时，console.log(a,b)时，由于当前的作用域为hello函数，所以作用域链的前端为hello函数的变量对象，引擎会先在该变量对象中查找a,b，查找a时发现该变量对象没有，则往其外层，也就是全局变量对象查找，发现了a，取得其值，再查找变量b，发现该变量对象中就存在变量b，所以在当前作用域中就取得了b的值。