暂时性死区
只要块级作用域内存在let命令,它所声明的变量就“绑定”这个区域,不再受外部的影响。
var tmp = 123 ;
if ( true ) {
tmp = 'abc' ;
let tmp;
}
上述代码存在全局变量tmp,但是块级作用域内let又声明了一个局部变量tmp,导致后者绑定这个块级作用域,所以在let声明变量前,对tmp赋值会报错。 如果区块中存在let和const命令,这个区块对这些命令声明的变量,从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量,就会报错。 总之,在代码块内,使用let命令声明变量之前,该变量都是不可用的。这在语法上,称为“暂时性死区”。
if ( true ) {
tmp = 'abc' ;
console. log ( tmp) ;
let tmp;
console. log ( tmp) ;
tmp = 123 ;
console. log ( tmp) ;
}
上面代码中,在let命令声明变量tmp之前,都属于变量tmp的“死区”。 “暂时性死区”也意味着typeof不再是一个百分之百安全的操作。
typeof x;
let x;
变量x使用let命令声明,所以在声明之前,都属于x的“死区”,只要用到该变量就会报错。因此,typeof运行时就会抛出一个ReferenceError。 作为比较,如果一个变量根本没有被声明,使用typeof反而不会报错。 在没有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] ;
}
console. log ( bar ( ) ) ;
var x = x;
let x = x;
上面代码报错,也是因为暂时性死区。使用let声明变量时,只要变量在还没有声明完成前使用,就会报错。上面这行就属于这个情况,在变量x的声明语句还没有执行完成前,就去取x的值,导致报错”x 未定义“。 ES6 规定暂时性死区和let、const语句不出现变量提升,主要是为了减少运行时错误,防止在变量声明前就使用这个变量,从而导致意料之外的行为。 总之,暂时性死区的本质就是,只要一进入当前作用域,所要使用的变量就已经存在了,但是不可获取,只有等到声明变量的那一行代码出现,才可以获取和使用该变量。