一，js中的作用域
js中除了全局作用域，还有函数作用域。
嗯，还有块级作用域。
二，函数作用域跟块级作用域的区别
当将代码看成一个IIFE时，全局作用域其实就是一个函数作用域。
那么函数作用域跟块级作用域的区别是什么呢？
函数作用域：变量在定义的函数内及嵌套的子函数内处处可见；
块级函数域：变量在离开定义的块级代码后马上被回收。
那么为什么两者会有这样的区别呢？
因为在函数作用域内，变量声明有一个提升hoisting的过程。
图2-1
let定义的变量具有块级作用域，待会讲。
如果var定义的变量跟let定义的变量一样没有hoisting的过程，那么两者应该都是ReferenceError，但是结果发现b是undefined，说明b发生了提升，其效果如下：
图2-2
三，hoisting
js中只有两种情况下会发生提升：声明了一个变量（如果是定义了一个变量，则分离成声明跟赋值，提取声明操作，函数也是一等变量），或者定义了一个函数声明。
图3-1
可见，单纯的声明会提升，
定义变量，则提取其声明操作提升，
函数声明会完全提升。
那如果在提升的时候发生重命名了怎么办？
如图3-2，照之前所说的提升，实际运行前的代码应该为图3-3
那么之后的var a为什么没有覆盖掉function a(){}这个定义，使第一个打印为undefined？
因为编译器在遇到变量声明时（函数表达式可以理解为包含了声明和赋值的操作），会先查看当前作用域，如果该变量不存在，则在该作用域中声明该变量；如果存在，则会忽略该声明。所以引擎实际接收的代码应该是图3-4：
图3-4
注意不要把a跟隐式全局变量混淆。
四，块级作用域
嗯，js中还是存在块级作用域的。
4.1 catch捕获的异常
图4-1，catch块捕获的异常只在catch块中可见，
但是catch块中定义的其他变量还是属于整个函数作用域的。
4.2 let关键字
如图4-2，let定义的变量遵从块级作用域，不会提升，不会在整个函数域内起作用。
图4-2
4.3 const关键字
const定义的变量是在let的基础上，如图4-3，增加了必须在声明时赋值为一个常量的限制，如图4-4。
图4-3
图4-4
五，其他
5.1 出现的error
ReferenceError：作用域判别错误，通过作用域链的搜寻找不到相应的变量。
TypeError：可以通过作用域搜索到变量，但是对变量的操作不合法。
SyntaxError：语法错误
5.2 hoisting中的函数声明
直接在函数体内定义的函数声明，整个都会提前；
但是在块中定义的函数声明，只会提升其声明部分，不分配实际的内存空间。如图5-1
图5-1