前言
这是一篇 的学习笔记，详情请看原书。
一、let
（1）let 不存在变量提升
var 会发生“变量提升”现象，即变量可以在声明之前使用，值为undefined。
let 所声明的变量一定要在声明后使用，否则报错。
console.log(foo); // 输出undefinedvar foo = 2;console.log(bar); // 报错ReferenceErrorlet 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; // ReferenceErrorlet 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 // 1a = 2;window.a // 2复制代码
上面代码中，顶层对象的属性赋值与全局变量的赋值，是同一件事。
从 ES6 开始，全局变量将逐步与顶层对象的属性脱钩。
var a = 1;window.a // 1let b = 1;window.b // undefined复制代码
上面代码中，全局变量a由var命令声明，所以它是顶层对象的属性。
全局变量b由let命令声明，所以它不是顶层对象的属性，返回undefined。