前言
《ECMAScript入門》是一本開源的JavaScript語(yǔ)言教程，全面介紹ECMAScript6新引入的語(yǔ)法特性。
let和const命令，是第一章開始介紹，也是比較基礎(chǔ)的知識(shí)。我在學(xué)習(xí)之后，把它總結(jié)記錄下來(lái)，以便自己以后復(fù)習(xí)查看。
以下代碼，于Chrome57 DevTools運(yùn)行
node為6.3版本
先總結(jié)
先總結(jié)區(qū)別，再分別闡述
let 與 const 相同點(diǎn)和區(qū)別
1：let命令用來(lái)聲明變量，用法類似于var，但是所聲明的變量。
const聲明一個(gè)只讀的常量，一旦聲明，常量的值就不能改變。
const保證的是內(nèi)存地址不得改動(dòng)。常量（內(nèi)存地址保存的是值），復(fù)合類型的數(shù)據(jù)（內(nèi)存地址保存的是指針）
2：兩者都不存在變量提升。
3：兩者都有暫時(shí)性死區(qū)(TDZ)。
4：兩者都不允許重復(fù)聲明。
5：兩者為JavaScript新增了塊級(jí)作用域。兩者作用域，只在聲明所在的塊級(jí)作用域有效。
基本用法
let命令介紹
let命令，用來(lái)聲明變量。它的用法類似于var, 但是所聲明的變量，只在let命令所在的代碼塊內(nèi)有效。
瀏覽器中的結(jié)果
上面代碼在代碼塊之中，分別用let和var聲明了兩個(gè)變量。然后在代碼塊之外調(diào)用這兩個(gè)變量，結(jié)果let聲明的變量報(bào)錯(cuò)，var聲明的變量返回了正確的值。這表明，let聲明的變量只在它所在的代碼塊有效。上面代碼在代碼塊之中，分別用let和var聲明了兩個(gè)變量。然后在代碼塊之外調(diào)用這兩個(gè)變量，結(jié)果let聲明的變量報(bào)錯(cuò)，var聲明的變量返回了正確的值。這表明，let聲明的變量只在它所在的代碼塊有效。
let實(shí)用舉例
for循環(huán)的計(jì)數(shù)器
for (let i =0; i < 10; i++) {}
console.log(i) // ReferenceError: i is not defined
上面代碼中，計(jì)數(shù)器i只在for循環(huán)體內(nèi)有效，在循環(huán)體外引用就會(huì)報(bào)錯(cuò)。
下面的代碼如果使用var, 最后輸出的是10。
var a = [];
for (var i = 0; i < 10; i++) {
a[i] = function () {
console.log(i);
};
}
a[6](); // 10
上面代碼中，變量i是var命令聲明的，在全局范圍內(nèi)都有效，所以全局只有一個(gè)變量i。每一次循環(huán)，變量i的值都會(huì)發(fā)生改變，而循環(huán)內(nèi)被賦給數(shù)組a的函數(shù)內(nèi)部的console.log(i)，里面的i指向的就是全局的i。也就是說(shuō)，所有數(shù)組a的成員里面的i，指向的都是同一個(gè)i，導(dǎo)致運(yùn)行時(shí)輸出的是最后一輪的i的值，也就是10。
如果使用let, 聲明的變量?jī)H在塊級(jí)作用域內(nèi)有效，最后輸出的是6。
var a = [];
for (var i = 0; i < 10; i++) {
a[i] = function () {
console.log(i);
};
}
a[6](); // 6
上面代碼中，變量i是let聲明的，當(dāng)前的i只在本輪循環(huán)有效，所以每一次循環(huán)的i其實(shí)都是一個(gè)新的變量，所以最后輸出的是6。你可能會(huì)問(wèn)，如果每一輪循環(huán)的變量i都是重新聲明的，那它怎么知道上一輪循環(huán)的值，從而計(jì)算出本輪循環(huán)的值？這是因?yàn)?JavaScript 引擎內(nèi)部會(huì)記住上一輪循環(huán)的值，初始化本輪的變量i時(shí)，就在上一輪循環(huán)的基礎(chǔ)上進(jìn)行計(jì)算。
另外，for循環(huán)還有一個(gè)特別之處，就是設(shè)置循環(huán)變量的那部分是一個(gè)父作用域，而循環(huán)體內(nèi)部是一個(gè)單獨(dú)的子作用域。
for (let i = 0; i < 3; i++) {
let i = 'abc';
console.log(i);
}
// abc
// abc
// abc
上面代碼正確運(yùn)行，輸出了3次abc。這表明函數(shù)內(nèi)部的變量i與循環(huán)變量i不在同一個(gè)作用域，有各自單獨(dú)的作用域。
不存在變量提升
var命令會(huì)發(fā)生變量提升現(xiàn)象，即變量可以在聲明之前使用，值為undefined。這種現(xiàn)象多多少少是有些奇怪的，按照一般的邏輯，變量應(yīng)該在聲明語(yǔ)句之后才可以使用。
為了糾正這種現(xiàn)象，let命令改變了語(yǔ)法行為，它所聲明的變量一定要在聲明后使用，否則報(bào)錯(cuò)。
// var 的情況
console.log(foo); // 輸出undefined
var foo = 2;
// let 的情況
console.log(bar); // 報(bào)錯(cuò)ReferenceError
let bar = 2;
上面代碼中，變量foo用var命令聲明，會(huì)發(fā)生變量提升，即腳本開始運(yùn)行時(shí)，變量foo已經(jīng)存在了，但是沒有值，所以會(huì)輸出undefined。變量bar用let命令聲明，不會(huì)發(fā)生變量提升。這表示在聲明它之前，變量bar是不存在的，這時(shí)如果用到它，就會(huì)拋出一個(gè)錯(cuò)誤。
暫時(shí)性死區(qū)（TDZ）
只要塊級(jí)作用域內(nèi)存在let命令，它所聲明的變量就“綁定”（binding）這個(gè)區(qū)域，不再受外部的影響。
var tmp = 123;
if (true) {
tmp = 'abc'; // ReferenceError
let tmp;
}
上面代碼中，存在全局變量tmp,但是塊級(jí)作用域內(nèi)let又聲明了一個(gè)局部變量tmp,導(dǎo)致后者綁定這個(gè)塊級(jí)作用域，所以在let聲明變量前，對(duì)tmp賦值會(huì)報(bào)錯(cuò)。
ES6明確規(guī)定，如果區(qū)塊中存在let和const命令，這個(gè)區(qū)塊對(duì)這些命令聲明的變量，從一開始就形成了封閉作用域。凡是在聲明之前就使用這些變量，就會(huì)報(bào)錯(cuò)。
總之，在代碼塊內(nèi)，使用let命令聲明變量之前，該變量都是不可用的。這在語(yǔ)法上，稱為“暫時(shí)性死區(qū)”（temporal dead zone，簡(jiǎn)稱 TDZ）。
if (true) {
// TDZ開始
tmp = 'abc'; // ReferenceError
console.log(tmp); // ReferenceError
let tmp; // TDZ結(jié)束
console.log(tmp); // undefined
tmp = 123;
console.log(tmp); // 123
}
瀏覽器結(jié)果
上面代碼中，在let命令聲明變量tmp之前，都屬于變量tmp的“死區(qū)”。
“暫時(shí)性死區(qū)”也意味著typeof不再是一個(gè)百分之百安全的操作。
typeof x; // ReferenceError
let x;
上面代碼中，變量x使用let命令聲明，所以在聲明之前，都屬于x的“死區(qū)”，只要用到該變量就會(huì)報(bào)錯(cuò)。因此，typeof運(yùn)行時(shí)就會(huì)拋出一個(gè)ReferenceError。
作為比較，如果一個(gè)變量根本沒有被聲明，使用typeof反而不會(huì)報(bào)錯(cuò)。
typeof undeclared_variable // "undefined"
上面代碼中，undeclared_variable是一個(gè)不存在的變量名，結(jié)果返回“undefined”。所以，在沒有let之前，typeof運(yùn)算符是百分之百安全的，永遠(yuǎn)不會(huì)報(bào)錯(cuò)。現(xiàn)在這一點(diǎn)不成立了。這樣的設(shè)計(jì)是為了讓大家養(yǎng)成良好的編程習(xí)慣，變量一定要在聲明之后使用，否則就報(bào)錯(cuò)。
有些“死區(qū)”比較隱蔽，不太容易發(fā)現(xiàn)。
function bar(x = y, y = 2) {
return [x, y];
}
bar(); // 報(bào)錯(cuò)
上面代碼中，調(diào)用bar函數(shù)之所以報(bào)錯(cuò)（某些實(shí)現(xiàn)可能不報(bào)錯(cuò)），是因?yàn)閰?shù)x默認(rèn)值等于另一個(gè)參數(shù)y，而此時(shí)y還沒有聲明，屬于”死區(qū)“。如果y的默認(rèn)值是x，就不會(huì)報(bào)錯(cuò)，因?yàn)榇藭r(shí)x已經(jīng)聲明了。
function bar(x = 2, y = x) {
return [x, y];
}
bar(); // [2, 2]
另外，下面的代碼也會(huì)報(bào)錯(cuò)，與var的行為不同。
// 不報(bào)錯(cuò)
var x = x;
// 報(bào)錯(cuò)
let x = x;
// ReferenceError: x is not defined
上面代碼報(bào)錯(cuò)，也是因?yàn)闀簳r(shí)性死區(qū)。使用let聲明變量時(shí)，只要變量在還沒有聲明完成前使用，就會(huì)報(bào)錯(cuò)。上面這行就屬于這個(gè)情況，在變量x的聲明語(yǔ)句還沒有執(zhí)行完成前，就去取x的值，導(dǎo)致報(bào)錯(cuò)”x 未定義“。
ES6 規(guī)定暫時(shí)性死區(qū)和let、const語(yǔ)句不出現(xiàn)變量提升，主要是為了減少運(yùn)行時(shí)錯(cuò)誤，防止在變量聲明前就使用這個(gè)變量，從而導(dǎo)致意料之外的行為。這樣的錯(cuò)誤在 ES5 是很常見的，現(xiàn)在有了這種規(guī)定，避免此類錯(cuò)誤就很容易了。
總之，暫時(shí)性死區(qū)的本質(zhì)就是，只要一進(jìn)入當(dāng)前作用域，所要使用的變量就已經(jīng)存在了，但是不可獲取，只有等到聲明變量的那一行代碼出現(xiàn)，才可以獲取和使用該變量。
不允許重復(fù)聲明
let不允許在相同作用域內(nèi)，重復(fù)聲明同一個(gè)變量。
瀏覽器結(jié)果
因此，不能在函數(shù)內(nèi)部重新聲明參數(shù)。
function func(arg) {
let arg; //在chrome瀏覽器下，不報(bào)錯(cuò)。使用node執(zhí)行，會(huì)報(bào)錯(cuò)。
}
function func(arg) {
{
let arg;//在chrome瀏覽器下，不報(bào)錯(cuò)。使用node執(zhí)行，也不報(bào)錯(cuò)。
}
}
瀏覽器環(huán)境和node執(zhí)行情況
塊級(jí)作用域
塊級(jí)作用域，沒有返回值。
為什么需要塊級(jí)作用域?
ES5 只有全局作用域和函數(shù)作用域，沒有塊級(jí)作用域，這帶來(lái)很多不合理的場(chǎng)景。
第一種場(chǎng)景，內(nèi)層變量可能會(huì)覆蓋外層變量。
var tmp = new Date();
function f() {
console.log(tmp);
if (false) {
var tmp = 'hello world';
}
}
f(); // undefined
上面代碼的原意是，if代碼塊的外部使用外層的tmp變量，內(nèi)部使用內(nèi)層的tmp變量。但是，函數(shù)f執(zhí)行后，輸出結(jié)果為undefined，原因在于變量提升，導(dǎo)致內(nèi)層的tmp變量覆蓋了外層的tmp變量。
第二種場(chǎng)景，用來(lái)計(jì)數(shù)的循環(huán)變量泄露為全局變量。
var s = 'hello';
for (var i = 0; i < s.length; i++) {
console.log(s[i]);
}
console.log(i); // 5
上面代碼中，變量i只用來(lái)控制循環(huán)，但是循環(huán)結(jié)束后，它并沒有消失，泄露成了全局變量。
ES6的塊級(jí)作用域
let實(shí)際上為 JavaScript 新增了塊級(jí)作用域。
function f1() {
let n = 5;
if (true) {
let n = 10;
}
console.log(n); // 5
}
上面的函數(shù)有兩個(gè)代碼塊，都聲明了變量n，運(yùn)行后輸出5。這表示外層代碼塊不受內(nèi)層代碼塊的影響。如果兩次都使用var定義變量n，最后輸出的值才是10。
ES6 允許塊級(jí)作用域的任意嵌套。
{{{{{let insane = 'Hello World'}}}}};
上面代碼使用了一個(gè)五層的塊級(jí)作用域。外層作用域無(wú)法讀取內(nèi)層作用域的變量。
{{{{
{let insane = 'Hello World'}
console.log(insane); // 報(bào)錯(cuò)
}}}};
內(nèi)層作用域可以定義外層作用域的同名變量。
{{{{
let insane = 'Hello World';
{let insane = 'Hello World'}
}}}};
塊級(jí)作用域的出現(xiàn)，實(shí)際上使得獲得廣泛應(yīng)用的立即執(zhí)行函數(shù)表達(dá)式（IIFE）不再必要了。
// IIFE 寫法
(function () {
var tmp = ...;
...
}());
// 塊級(jí)作用域?qū)懛?{
let tmp = ...;
...
}
塊級(jí)作用域與函數(shù)聲明
- 允許在塊級(jí)作用域內(nèi)聲明函數(shù)。
- 函數(shù)聲明類似于
var，即會(huì)提升到全局作用域或函數(shù)作用域的頭部。 - 同時(shí)，函數(shù)聲明還會(huì)提升到所在的塊級(jí)作用域的頭部。
const命令
基本用法
const也是用來(lái)聲明變量，但是聲明的是一個(gè)只讀的常量。一旦聲明，常量的值就不能改變。
const PI = 3.1415;
PI // 3.1415
PI = 3;
// TypeError: Assignment to constant variable.
上面代碼表明改變常量的值會(huì)報(bào)錯(cuò)。
const聲明的變量不得改變值，這意味著，const一旦聲明變量，就必須立即初始化，不能留到以后賦值。
const foo;
// SyntaxError: Missing initializer in const declaration
上面代碼表示，對(duì)于const來(lái)說(shuō)，只聲明不賦值，就會(huì)報(bào)錯(cuò)。
const的作用域與let命令相同：只在聲明所在的塊級(jí)作用域內(nèi)有效。
if (true) {
const MAX = 5;
}
MAX // Uncaught ReferenceError: MAX is not defined
const命令聲明的常量也是不提升，同樣存在暫時(shí)性死區(qū)，只能在聲明的位置后面使用。
if (true) {
console.log(MAX); // ReferenceError
const MAX = 5;
}
上面代碼在常量MAX聲明之前就調(diào)用，結(jié)果報(bào)錯(cuò)。
const聲明的常量，也與let一樣不可重復(fù)聲明。
var message = "Hello!";
let age = 25;
// 以下兩行都會(huì)報(bào)錯(cuò)
const message = "Goodbye!";
const age = 30;
瀏覽器結(jié)果
對(duì)于復(fù)合類型的變量，變量名不指向數(shù)據(jù)，而是指向數(shù)據(jù)所在的地址。 const命令只是保證變量名指向的地址不變，并不保證該地址的數(shù)據(jù)不變，所以，將一個(gè)對(duì)象聲明為常量必須非常小心。
const foo = {};
// 為 foo 添加一個(gè)屬性，可以成功
foo.prop = 123;
foo.prop // 123
// 將 foo 指向另一個(gè)對(duì)象，就會(huì)報(bào)錯(cuò)
foo = {}; // TypeError: Assignment to constant variable.
瀏覽器結(jié)果
上面代碼中，常量foo儲(chǔ)存的是一個(gè)地址，這個(gè)地址指向一個(gè)對(duì)象。不可變的只是這個(gè)地址，即不能把foo指向另一個(gè)地址，但對(duì)象本身是可變的，所以依然可以為其添加新屬性。
跨模塊常量
上面說(shuō)過(guò)，const聲明的常量只在當(dāng)前代碼塊有效。如果想設(shè)置跨模塊的常量，可以采用下面的寫法。
// constants.js 模塊
export const A = 1;
export const B = 3;
export const C = 4;
//test1.js 模塊
import * as constans from './constants';
console.log(constants.A); // 1
console.log(constants.B); // 3
// test2.js 模塊
import {A, B} from './constants';
console.log(A); //1
console.log(B); //3
這里其實(shí)用到了Module（模塊）的導(dǎo)入導(dǎo)出功能。以后會(huì)講到。
全局對(duì)象的屬性
全局對(duì)象是最頂層的對(duì)象，在瀏覽器環(huán)境指的是window對(duì)象，在Node指的是global對(duì)象。ES5之中，頂層對(duì)象的屬性與全局變量是等價(jià)的。
window.a = 1;
a //1
a = 2;
window.a //2
上面代碼中，全局對(duì)象的屬性賦值與全局變量的賦值，是同一件事。（對(duì)于Node.js來(lái)說(shuō)，這一條只對(duì)REPL環(huán)境適用，模塊環(huán)境中，全局變量必須顯示聲明成global對(duì)象的屬性。）這種規(guī)定被市委JavaScript語(yǔ)言的一大問(wèn)題。因?yàn)楹苋菀撞恢挥X就創(chuàng)建了全局變量。
ES6為了改變這一點(diǎn)，一方面規(guī)定，為了保持兼容性，var命令和function命令聲明的全局變量，依舊是全局對(duì)象的屬性；另一方面規(guī)定，let命令、const命令和class命令聲明的全局變量，不屬于全局對(duì)象的屬性。也就是說(shuō)，從ES6開始，全局變量將逐步與頂層對(duì)象的屬性脫鉤。
var a = 1;
// 如果在Node的REPL環(huán)境，可以寫成global.a
// 或者采用通用方法，寫成this.a
window.a // 1
let b = 1;
window.b // undefined
上面代碼中，全局變量a由var命令聲明，所以它是全局對(duì)象的屬性；全局變量b由let命令聲明，所以它不是全局對(duì)象的屬性，返回undefined。
