ES6 中 let 暂时性死区详解

一、从现象讲起

要讨论暂时性死区，不要着急，我们先从两段代码讲起。

请思考下面这段代码，结果会是什么？

console.log(a)
var a

如果你了解变量提升，那么很容易就会知道，这段代码相当于

var a
console.log(a) // undefined

因此，会输出 undefined

而在 ES6 中，使用 let 命令，会产生什么样的结果呢，我们来尝试修改第一段代码：

console.log(a) // ReferenceError: a is not defined
let a

我们看到，在第一段代码中，只把 var 改成 let 代码就会报错： ReferenceError: a is not defined

原因就是我们忽略了 let 的 暂时性死区 （ temporal dead zone，简称TDZ ）

二、为什么会出现暂时性死区

先来看看 ES6 标准中对 let/const 声明中的解释 第13章，有如下一段文字：

The variables are created when their containing Lexical Environment is instantiated but may not be accessed inany way until the variable’s LexicalBinding is evaluated.

当然这段话我看完也很懵，查阅了一些帖子，翻译成人话就是：

当程序的控制流程在新的作用域（module function 或 block 作用域）进行实例化时，在此作用域中用let/const声明的变量会先在作用域中被创建出来，但因此时还未进行词法绑定，所以是不能被访问的，如果访问就会抛出错误。因此，在这运行流程进入作用域创建变量，到变量可以被访问之间的这一段时间，就称之为暂时死区。

如果你还是记不住，那么只需理解下面这句话即可：

ES6规定，let/const 命令会使区块形成封闭的作用域。若在声明之前使用变量，就会报错。
总之，在代码块内，使用 let 命令声明变量之前，该变量都是不可用的。
这在语法上，称为 “暂时性死区”（ temporal dead zone，简称 TDZ）。

三、其它影响

TDZ 也意味着 typeof 不再是一个百分之百安全的操作。

我们看下面这段代码，

typeof a // ReferenceError: a is not defined
let a

在没有 let 之前，typeof 运算符是百分之百安全的，不会报错。
现在这一点不成立了。
因此，大家应该养成良好的编程习惯，变量一定要在声明之后使用，否则就报错。

😊
欢迎纠错，欢迎补充