ES2015 ——let命令的暂时性死区

ES6新增了let命令，用来声明变量。它的用法相似于var，可是所声明的变量，只在let命令所在的代码块内有效。

和var不一样的还有，let命令不存在变量提高，因此声明前调用变量，都会报错，这就涉及到一个概念——暂时性死区。

 

暂时性死区：

只要块级做用域内存在let命令，它所声明的变量就“绑定”（binding）这个区域，再也不受外部的影响。

var tmp = 123;

if (true) {
   tmp = 'abc'; // ReferenceError
   let tmp;
}

上面代码中，存在全局变量tmp，可是块级做用域内let又声明了一个局部变量tmp，致使后者绑定这个块级做用域，因此在let声明变量前，对tmp赋值会报错。

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

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

if (true) {
  // TDZ开始
  tmp = 'abc'; // ReferenceError
  console.log(tmp); // ReferenceError

  let tmp; // TDZ结束
  console.log(tmp); // undefined

  tmp = 123;
  console.log(tmp); // 123
}

上面代码中，在let命令声明变量tmp以前，都属于变量tmp的“死区”。

“暂时性死区”也意味着typeof再也不是一个百分之百安全的操做。

typeof x; // ReferenceError
let x;

上面代码中，变量x使用let命令声明，因此在声明以前，都属于x的“死区”，只要用到该变量就会报错。所以，typeof运行时就会抛出一个ReferenceError。

做为比较，若是一个变量根本没有被声明，使用typeof反而不会报错。

typeof undeclared_variable // "undefined"

上面代码中，undeclared_variable是一个不存在的变量名，结果返回“undefined”。因此，在没有let以前，typeof运算符是百分之百安全的，永远不会报错。如今这一点不成立了。这样的设计是为了让你们养成良好的编程习惯，变量必定要在声明以后使用，不然就报错。

有些“死区”比较隐蔽，不太容易发现。

function bar(x = y, y = 2) {
  return [x, y];
}

bar(); // 报错

上面代码中，调用bar函数之因此报错（某些实现可能不报错），是由于参数x默认值等于另外一个参数y，而此时y尚未声明，属于”死区“。若是y的默认值是x，就不会报错，由于此时x已经声明了。

function bar(x = 2, y = x) {
  return [x, y];
}
bar(); // [2, 2]

ES6规定暂时性死区和let、const语句不出现变量提高，主要是为了减小运行时错误，防止在变量声明前就使用这个变量，从而致使意料以外的行为。这样的错误在ES5是很常见的，如今有了这种规定，避免此类错误就很容易了。

总之，暂时性死区的本质就是，只要一进入当前做用域，所要使用的变量就已经存在了，可是不可获取，只有等到声明变量的那一行代码出现，才能够获取和使用该变量。

 

其余易错点：

let b = 1;

function test4() {
    console.log(b);  //1
    let a = 2;
}
test4()


let b = 1;

function test4() {
    console.log(b);  //not defined
    let b = 2;
}
test4()

我猜测大概第二种状况是由于变量就近原则和暂时性死区的综合缘由。

 

 

 

参考资料：阮一峰的ES2015