ES6的let命令使用的全面详解

Pilot434_o
179 阅读6分钟

ES6的let命令使用的全面详解

前言

对ES6中新增的块级作用域let的注意点进行归纳总结。

一、let的基本用法

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

案例一：剖析let块级作用域

//例如在代码块中分别用let与var声明变量a与b
{
    let a = 10;
    var b = 1;
}
//在代码块外进行分别读取调用a与b
//读取a，引用错误：a是未定义的，a的作用域只在定义它的代码块中
a // ReferenceError: a is not defined
//读取b，正确读出b的值为1，b为全局变量
b // 1

案例二：剖析for循环中，使用var与let分别定义自增变量，异步打印结果不同的原因

//for循环中，使用var定义自增变量，异步输出打印结果
for (var i = 0; i < 5; i++) {
      setTimeout(() => {
        console.log(i);
      }, 10);
    }
 console.log("外部i", i);
//打印结果：
//外部i 5
//5 5 5 5 5

//for循环中，使用let定义自增变量，异步输出打印结果
for (let i = 0; i < 5; i++) {
      setTimeout(() => {
        console.log(i);
      }, 10);
    }
 console.log("外部i", i);
//打印结果:
//ReferenceError: i is not defined
//0 1 2 3 4

对比剖析原因：

注意：

  • 循环中，变量i若是var命令声明的，则其在全局范围内都有效，所以全局只有一个变量i；若变量i是let声明的，当前的i只在本轮循环有效，所以每一次循环的i其实都是一个新的变量，如果每一轮循环的变量i都是重新声明的，那它怎么知道上一轮循环的值，从而计算出本轮循环的值？这是因为 JavaScript 引擎内部会记住上一轮循环的值，初始化本轮的变量i时，就在上一轮循环的基础上进行计算。
  • 宏任务与微任务执行顺序：先执行同步代码，遇到异步宏任务则将异步宏任务放入宏任务队列中，遇到异步微任务则将异步微任务放入微任务队列中，当所有同步代码执行完毕后，再将异步微任务从队列中调入主线程执行，微任务执行完毕后再将异步宏任务从队列中调入主线程执行，一直循环直至所有任务执行完毕。

var定义自增变量的for循环中，因为var定义的自增变量存在变量提升，导致变量i成为全局变量，循环操作的变量相当于被重复定义后的同一个变量i，若在内部非异步执行的情况下，内部因为js引擎单线程执行程序的缘故，内部打印可以正常打印预期结果：0 1 2 3 4，外部取全局的i,则可以正确打印i的值：5；但若内部异步执行的情况下，以为程序的执行有先后顺序，所以外部取全局的i,则更快正确打印i的值：5，内部结果的打印为：5 5 5 5 5；

let定义自增变量的for循环中，相当于每个i被限制在其所在的每次循环的代码块{}中，所以无论内部程序是同步（执行快于异步，原因不在赘述）还是异步执行，其打印结果都是预期值：0 1 2 3 4，而在外部读取打印i，则会有报错：ReferenceError: i is not defined

案例三：for循环中，let声明变量的作用域的特别之处

for (let i = 0; i < 3; i++) {
    let i = 'abc';
    console.log(i);
}
// abc
// abc
// abc

循环变量的那部分是一个父作用域，而循环体内部是一个单独的子作用域。代码正确运行，输出了 3 次abc。这表明函数内部的变量i与循环变量i不在同一个作用域，有各自单独的作用域。

二、let不存在变量提升

var命令会发生“变量提升”现象，即变量可以在声明之前使用，值为undefined。为了更加规范代码，纠正这种现象，let命令改变了语法行为，它所声明的变量一定要在声明后使用，否则报错。

// var 的情况
console.log(foo); // 输出undefined
var foo = 2;

// let 的情况
console.log(bar); // 报错ReferenceError
let bar = 2;

三、let的暂时性死区

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

 var tmp = 123;
 if (true) {
     // TDZ开始
     tmp = 'abc'; // ReferenceError
     console.log(tmp); // ReferenceError
     
     let tmp;// TDZ结束
     console.log(tmp); // undefined
     
     tmp = 123; 
     console.log(tmp); // 123
 }

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

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

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

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

注意：

  • “暂时性死区”也意味着typeof不再是一个百分之百安全的操作。
//变量`x`使用`let`命令声明，所以在声明之前，都属于`x`的“死区”，只要用到该变量就会报错
typeof x; // ReferenceError
let x;

//如果一个变量根本没有被声明，使用`typeof`反而不会报错
typeof undeclared_variable // "undefined"
  • 有些“死区”比较隐蔽，不太容易发现
//例子1
//调用`bar`函数之所以报错（某些实现可能不报错），是因为参数`x`默认值等于
//另一个参数`y`，而此时`y`还没有声明，属于“死区”
function bar(x = y, y = 2) {
  return [x, y];
}
bar(); // 报错

//如果`y`的默认值是`x`，就不会报错，因为此时`x`已经声明
function bar(x = 2, y = x) {
   return [x, y];
}
bar(); // [2, 2]


//例子2
// 不报错
var x = x; 

// 报错
let x = x;
// ReferenceError: x is not defined
//报错，也是因为暂时性死区。使用`let`声明变量时，只要变量在还没有声明完成前使用，
//就会报错。上面这行就属于这个情况，在变量`x`的声明语句还没有执行完成前，
//就去取`x`的值，导致报错”x 未定义“。

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

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

四、不允许重复声明

let不允许在相同作用域内，重复声明同一个变量

//例子一：
// 报错
function func() {
let a = 10;
var a = 1;
}

// 报错
function func() {
let a = 10;
let a = 1;


//例子二：
//函数内部重新声明参数
function func(arg) {
        let arg;
}
func() // 报错

function func(arg) {
    {
        let arg;
    }
}
func() // 不报错

OK，完毕。

avatar
文章
阅读
粉丝