编译变量提升规则

(a) 函数内

 1、在代码定义之后执行之前生成活动对象AO（Activation Object ） 空对象{}

 2、查找函数体内的形参和变量，定义为AO的属性，赋值为undefined;

 3、将实参跟形参统一，即把实参赋值给AO[形参]

 4、查找函数里的函数声明，将函数声明赋值给AO 即 AO[函数名] = 函数

(b) 全局

 1、在代码定义之后执行之前生成全局环境对象GO（Global variable Object ） 空对象{}

 2、查找变量，定义为GO的属性，赋值为undefined;

 3、查找函数声明，将函数声明赋值给GO 即 GO[函数名] = 函数；

暂时性死区

ES6 明确规定，如果区块中存在let和const命令，这个区块对这些命令声明的变量，从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量，就会报错。

总之，在代码块内，使用let命令声明变量之前，该变量都是不可用的。这在语法上，称为“暂时性死区”（temporal dead zone，简称 TDZ

1、变量的提升

变量在声明提升的时候，是全部提升到作用域的最前面，一个接着一个的。但是在变量赋值的时候就不是一个接着一个赋值了，而是赋值的位置在变量原本定义的位置。原本js定义变量的地方，在js运行到这里的时候，才会进行赋值操作，而没有运行到的变量，不会进行赋值操作。

所以变量的提升，提升的其实是变量的声明，而不是变量的赋值。

2、函数的提升

函数的提升和变量的提升类似，都是提升到作用域的最开始的位置，只不过变量的提升是分两步的，第一步是变量声明的提升，第二步是变量的赋值。而函数的提升是直接将整个函数整体提升到作用域的最开始位置，相当于剪切过去的样子。

3、变量提升和函数提升的顺序

在作用域中，不管是变量还是函数，都会提升到作用域最开始的位置，不同的是，函数的提升后的位置是在变量提升后的位置之后的。

下面的代码输出什么？

function foo() {
  console.log(a);
  var a = 1;
  console.log(a);
  function a() {}
  console.log(a);
}
foo();

上面的代码在js眼中是这样解析的：

function foo() {
  var a;
  function a() {}
  console.log(a); // a()
  a = 1;
  console.log(a); // 1
  console.log(a); // 1
}
foo();

所以从上面的栗子可以看到，变量的提升是在函数提升之前的，但是变量赋值的部分是在js原型到变量定义的位置才给变量赋值的，而函数提升是相当于直接剪切到最前面的。

我们再看一个更加复杂一点的栗子????：

function foo() {
  console.log(a);
  var a = 1;
  console.log(a);
  function a() {}
  console.log(a);
  console.log(b);
  var b = 2;
  console.log(b);
  function b() {}
  console.log(b);
}

foo();

js是这样解析的：

function foo() {
  var a;
  var b;
  function a() {}
  function b() {}
  console.log(a); // a()
  a = 1;
  console.log(a); // 1
  console.log(a); // 1
  console.log(b); // b()
  b = 2;
  console.log(b); // 2
  console.log(b);// 2
}
foo();

最后，注意：只有声明的变量和函数才会进行提升，隐式全局变量不会提升。

下面的栗子中，b不会进行变量提升。

function foo() {
  console.log(a);
  console.log(b); // 报错
  b = 'aaa';
  var a = 'bbb';
  console.log(a);
  console.log(b);
}
foo();