关于 typeof 的暂时性死区，了解一下

将知识转化为能力，核心是掌握20%行业核心技能，把学习培养成习惯，持续深耕，用能力解决问题，方能持续成长！那么基础好，就是必须条件。

最近看 数据类型，知道数据类型判断有三种方式，typeof 是其中一种，主要用来判断基础类型（8中，string, number, boolean, undefined, object, function, symbol, bigint），可是也有缺点，“暂时性死区”。

“暂时性死区”？这是什么？了解一下。下面进入正题。

暂时性死区

只要块级做用域内存在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]

另外，下面的代码也会报错，与var的行为不一样。

// 不报错
var x = x;
 
// 报错
let x = x;
// ReferenceError: x is not defined

上面代码报错，也是由于暂时性死区。使用let声明变量时，只要变量在尚未声明完成前使用，就会报错。上面这行就属于这个状况，在变量x的声明语句尚未执行完成前，就去取x的值，致使报错”x 未定义“。

总结

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

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