ES6 学习笔记 ( let 和 const ）-CSDN博客

前言

这是一篇 ECMAScript 6 入门（阮一峰）的学习笔记，详情请看原书。

一、let

（1）let 不存在变量提升

var 会发生“变量提升”现象，即变量可以在声明之前使用，值为undefined。

let 所声明的变量一定要在声明后使用，否则报错。

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

console.log(bar); // 报错ReferenceError
let bar = 2;
复制代码

（2）暂时性死区

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

var tmp = 123;
if (true) {
  tmp = 'abc'; // ReferenceError
  let tmp;
}
复制代码

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

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

总之，在代码块内，使用let命令声明变量之前，该变量都是不可用的。这在语法上，称为“暂时性死区”（temporal dead zone，简称 TDZ）。暂时性死区的本质是：只要一进入当前作用域，所要使用的变量就已经存在，但不可获取，只有等到声明之后，才可以获取和使用该变量。

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

typeof x; // ReferenceError
let x;

typeof undeclared_variable // "undefined"
复制代码

上面代码中，变量 x 使用 let 声明，所以在声明之前，都属于x的“死区”，只要用到该变量就会报错。因此，typeof运行时就会抛出一个ReferenceError。如果一个变量根本没有被声明，使用typeof反而不会报错,结果返回 undefined。

隐蔽死区

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

bar(); // 报错
复制代码

上面代码中，调用 bar 函数报错，是因为参数 x 默认值等于另一个参数 y ，而此时 y 还没有声明，属于“死区”。如果 y 的默认值是 x ，就不会报错，因为此时 x 已经声明了。

var x = x;// 不报错

let x = x;// 报错 ReferenceError: x is not defined
复制代码

上面代码报错，也是因为暂时性死区。

let 总结

不存在变量提升
暂时性死区
不允许重复声明
块级作用域（内层作用域可以定义外层作用域的同名变量。块级作用域的出现，实际上使得获得广泛应用的立即执行函数表达式（IIFE）不再必要了。）

二、const

const一旦声明变量，就必须立即初始化，不能留到以后赋值。只声明不赋值就会报错。
只在声明所在的块级作用域内有效。
存在暂时性死区，只能在声明的位置后面使用。
不可重复声明。

const 本质

const实际上保证的，并不是变量的值不得改动，而是变量指向的那个内存地址所保存的数据不得改动。对于简单类型的数据（数值、字符串、布尔值），值就保存在变量指向的那个内存地址，因此等同于常量。但对于复合类型的数据（主要是对象和数组），变量指向的内存地址，保存的只是一个指向实际数据的指针，const只能保证这个指针是固定的（即总是指向另一个固定的地址），至于它指向的数据结构是不是可变的，就完全不能控制了。因此，将一个对象声明为常量必须非常小心。

杂记

（1）for循环有一个独特之处，设置循环变量的那部分是一个父作用域，而循环体内部是一个单独的子作用域。

for (let i = 0; i < 3; i++) {
  console.log(i);
}
// 0
// 1
// 2
复制代码

（2）顶层对象的属性

顶层对象，在浏览器环境指的是window对象，在 Node 指的是global对象。ES5 之中，顶层对象的属性与全局变量是等价的。

window.a = 1;
a // 1

a = 2;
window.a // 2
复制代码

上面代码中，顶层对象的属性赋值与全局变量的赋值，是同一件事。

从 ES6 开始，全局变量将逐步与顶层对象的属性脱钩。

var a = 1;
window.a // 1

let b = 1;
window.b // undefined
复制代码

上面代码中，全局变量a由var命令声明，所以它是顶层对象的属性。

全局变量b由let命令声明，所以它不是顶层对象的属性，返回undefined。