JavaScript let 与 const：块级作用域与暂时性死区

Let

用于声明一个变量

特点
- let 声明的变量只在自身的块级作用域有效，存在暂时性死区
- 不能重复声明（会报错提示已经定义）
- 不会预处理，不存在变量提升
应用
- 循环遍历监听
- 使用 let 替换 var 是趋势
- 主要是解决了块级作用域的需求
- 防止出现先使用（变量），后声明（变量）

简单示例

// 只在所在的代码块生效
{
  let a = 10;
  var b = 1;
}

a; // ReferenceError: a is not defined.
b; // 1

// ============

for (var i = 0; i < 5; i++) {
  console.log(i); // 0 1 2 3 4
}
console.log(i); // 5 i成了全局变量

// ==============

for (let j = 0; j < 5; j++) {
  console.log(j); // 0 1 2 3 4
}
// let定义的j变量只在for循环的块级作用域中生效，不存在变量提升
console.log(j); // Uncaught ReferenceError: j is not defined

var a = [];
for (let i = 0; i < 10; i++) {
  a[i] = function () {
    console.log(i);
  };
}
console.log(a[6]()); // 6
console.log(i); // Uncaught ReferenceError: i is not defined

// ===

var a = [];
for (var i = 0; i < 10; i++) {
  a[i] = function () {
    console.log(i);
  };
}
a[6](); // 10
a[1](); // 10
console.log(i); // 10

上面代码中，变量 i 是 var 命令声明的，在全局范围内都有效，所以全局只有一个变量 i。每一次循环，变量 i 的值都会发生改变，而循环内被赋给数组 a 的函数内部的 console.log(i)，里面的 i 指向的就是全局的 i。也就是说，所有数组 a 的成员里面的 i，指向的都是同一个 i，导致运行时输出的是最后一轮的 i 的值，也就是 10。
如果使用 let，声明的变量仅在块级作用域内有效，最后输出的是 6。
for 循环还有一个特别之处，就是设置循环变量的那部分是一个父作用域，而循环体内部是一个单独的子作用域。

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

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

不存在变量提升

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

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

暂时性死区

当你在一个块里面，利用 let 声明一个变量的时候，在块的开始部分到该变量的声明语句之间，我们称之为临时性死区，你不可以在这个区域内使用该变量，直到遇到其 let 语句为止
只要在同一作用域内存在 let 命令，他所声明的变量就“绑定”在这个作用域内，不管外部有没有声明
ES6 明确规定，如果区块中存在 let 和 const 命令，这个区块对这些命令声明的变量，从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量，就会报错。
总之，在代码块内，使用 let 命令声明变量之前，该变量都是不可用的。这在语法上，称为“暂时性死区”
暂时性死区的本质就是，只要一进入当前作用域，所要使用的变量就已经存在了，但是不可获取，只有等到声明变量的那一行代码出现，才可以获取和使用该变量。

var tmp = 123;

if (true) {
  tmp = 'abc'; // ReferenceError
  let tmp;
}

// ===============

var i = 5;
(function () {
  console.log(i); // undefined
  var i = 10;
})();

// ===============

let j = 55;
(function () {
  console.log(j); // ReferenceError: j is not defined
  let j = 77;
})()(
  // ===============

  function hhh() {
    console.log(j); // j的临时性死区 Uncaught ReferenceError: j is not defined
    let j = 77; // 从这个函数的开始部分到这里，都是新的j的临时性死区
  },
)();

调用 bar 函数之所以报错（某些实现可能不报错），是因为参数 x 默认值等于另一个参数 y，而此时 y 还没有声明，属于“死区”。

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

bar(); // 报错

下面的代码也会报错，与 var 的行为不同。

// 不报错
var x = x;

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

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

不能重复声明

let fx = 'fx is a great girl';
let fx = 'fx is 18 years old'; // Uncaught SyntaxError: Identifier 'fx' has already been declared

// =================

let fx3 = 'fx is a great girl';
var fx3 = 'fx is 18 years old'; // Uncaught SyntaxError: Identifier 'fx3' has already been declared

// ==============
{
  let fx3 = 'fx is a great girl';
  var fx4 = 'fx is 18 years old';
}

{
  let fx3 = 'fx is a good girl';
  var fx4 = 'fx is 8 years old';
}
// 不会报错，各个块级作用域之间不互相影响

不能在函数内部重新声明参数。

function func(arg) {
  let arg;
}

func(); // 报错

function func(arg) {
  {
    let arg;
  }
}

func(); // 不报错

const

声明一个常量，大部分特点和 let 一样
只在声明所在的块级作用域内有效。
声明的常量也是不提升，同样存在暂时性死区，只能在声明的位置后面使用。
不可重复声明

tip

声明的时候一定要赋值，否则会报错

const b; // Uncaught SyntaxError: Missing initializer in const declaration

对于基本的类型而言的话，比如 number,string,boolean 等来说，确实它就是声明一个不会变的常量，只要你修改了它，就会报错

const FX = 'fx is a great girl';
FX = 'NO'; // Uncaught TypeError: Assignment to constant variable.

不过，对于引用类型而言的话，它指的并不会对象的内容不变，而是对象的地址不变。也就是说，你可以修改对象的内部成员，但是你不可以修改该变量的地址。

const FX = {
  age: 18,
  name: 'fx'
}
FX == > { age: 18, name: "fx" }
FX.age = 8
{
  age: 8, name
:
  "fx"
}
FX.weight = 90
{
  age: 8, name
:
  "fx", weight
:
  90
}

FX = {} // Uncaught TypeError: Assignment to constant variable.
// 修改了FX的指针，这是不允许的

因为对象是引用类型的，FX 中保存的仅是对象的指针，这就意味着，const 仅保证指针不发生改变，修改对象的属性不会改变对象的指针，所以是被允许的。也就是说 const 定义的引用类型只要指针不发生改变，其他的不论如何改变都是允许的。

下面是另一个例子。

const a = [];
a.push('Hello'); // 可执行
a.length = 0; // 可执行
a = ['Dave']; // 报错

上面代码中，常量 a 是一个数组，这个数组本身是可写的，但是如果将另一个数组赋值给 a，就会报错。

const 声明的对象冻结方法

如果真的想将对象冻结，应该使用 Object.freeze 方法。

const foo = Object.freeze({});

// 常规模式时，下面一行不起作用；
// 严格模式时，该行会报错
foo.prop = 123;

上面代码中，常量 foo 指向一个冻结的对象，所以添加新属性不起作用，严格模式时还会报错。

除了将对象本身冻结，对象的属性也应该冻结。下面是一个将对象彻底冻结的函数。

var constantize = obj => {
  Object.freeze(obj);
  Object.keys(obj).forEach((key, i) => {
    if (typeof obj[key] === 'object') {
      constantize(obj[key]);
    }
  });
};

顶层对象的属性

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

window.a = 1;
a; // 1

a = 2;
window.a; // 2

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

ES6 规定，为了保持兼容性，var 命令和 function 命令声明的全局变量，依旧是顶层对象的属性；另一方面规定，let 命令、const 命令、class 命令声明的全局变量，不属于顶层对象的属性。也就是说，从 ES6 开始，全局变量将逐步与顶层对象的属性脱钩。

var a = 1;
// 如果在 Node 的 REPL 环境，可以写成 global.a
// 或者采用通用方法，写成 this.a
window.a; // 1

let b = 1;
window.b; // undefined

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