ES6入門之let 和 const 命令

時間 2019-12-11

原文原文鏈接

1.let 命令

基本用法

ES6 新增了let命令，用來聲明變量。它的用法相似於var，可是所聲明的變量，只在let命令所在的代碼塊內有效。javascript

{ let a = 10; var b = 1; } a // ReferenceError: a is not defined. b // 1 { let a = 10; var b = 1; } a // ReferenceError: a is not defined. b // 1

上面代碼在代碼塊之中，分別用let和var聲明瞭兩個變量。而後在代碼塊以外調用這兩個變量，結果let聲明的變量報錯，var聲明的變量返回了正確的值。這代表，let聲明的變量只在它所在的代碼塊有效。html

for循環的計數器，就很合適使用let命令。java

for (let i = 0; i < 10; i++) {  // ... } console.log(i); // ReferenceError: i is not defined for (let i = 0; i < 10; i++) {  // ... } console.log(i); // ReferenceError: i is not defined

上面代碼中，計數器i只在for循環體內有效，在循環體外引用就會報錯。git

下面的代碼若是使用var，最後輸出的是10。程序員

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

上面代碼中，變量i是var命令聲明的，在全局範圍內都有效，因此全局只有一個變量i。每一次循環，變量i的值都會發生改變，而循環內被賦給數組a的函數內部的console.log(i)，裏面的i指向的就是全局的i。也就是說，全部數組a的成員裏面的i，指向的都是同一個i，致使運行時輸出的是最後一輪的i的值，也就是 10。es6

若是使用let，聲明的變量僅在塊級做用域內有效，最後輸出的是 6。github

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

上面代碼中，變量i是let聲明的，當前的i只在本輪循環有效，因此每一次循環的i其實都是一個新的變量，因此最後輸出的是6。你可能會問，若是每一輪循環的變量i都是從新聲明的，那它怎麼知道上一輪循環的值，從而計算出本輪循環的值？這是由於 JavaScript 引擎內部會記住上一輪循環的值，初始化本輪的變量i時，就在上一輪循環的基礎上進行計算。web

另外，for循環還有一個特別之處，就是設置循環變量的那部分是一個父做用域，而循環體內部是一個單獨的子做用域。編程

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

上面代碼正確運行，輸出了 3 次abc。這代表函數內部的變量i與循環變量i不在同一個做用域，有各自單獨的做用域。數組

不存在變量提高

var命令會發生」變量提高「現象，即變量能夠在聲明以前使用，值爲undefined。這種現象多多少少是有些奇怪的，按照通常的邏輯，變量應該在聲明語句以後纔可使用。

爲了糾正這種現象，let命令改變了語法行爲，它所聲明的變量必定要在聲明後使用，不然報錯。

// var 的狀況 console.log(foo); // 輸出undefined var foo = 2;  // let 的狀況 console.log(bar); // 報錯ReferenceError let bar = 2; // var 的狀況 console.log(foo); // 輸出undefined var foo = 2;  // let 的狀況 console.log(bar); // 報錯ReferenceError let bar = 2;

上面代碼中，變量foo用var命令聲明，會發生變量提高，即腳本開始運行時，變量foo已經存在了，可是沒有值，因此會輸出undefined。變量bar用let命令聲明，不會發生變量提高。這表示在聲明它以前，變量bar是不存在的，這時若是用到它，就會拋出一個錯誤。

暫時性死區

只要塊級做用域內存在let命令，它所聲明的變量就「綁定」（binding）這個區域，再也不受外部的影響。

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

上面代碼中，存在全局變量tmp，可是塊級做用域內let又聲明瞭一個局部變量tmp，致使後者綁定這個塊級做用域，因此在let聲明變量前，對tmp賦值會報錯。

ES6 明確規定，若是區塊中存在let和const命令，這個區塊對這些命令聲明的變量，從一開始就造成了封閉做用域。凡是在聲明以前就使用這些變量，就會報錯。

總之，在代碼塊內，使用let命令聲明變量以前，該變量都是不可用的。這在語法上，稱爲「暫時性死區」（temporal dead zone，簡稱 TDZ）。

if (true) {  // TDZ開始  tmp = 'abc'; // ReferenceError  console.log(tmp); // ReferenceError  let tmp; // TDZ結束  console.log(tmp); // undefined  tmp = 123; console.log(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 }

上面代碼中，在let命令聲明變量tmp以前，都屬於變量tmp的「死區」。

「暫時性死區」也意味着typeof再也不是一個百分之百安全的操做。

typeof x; // ReferenceError let x; typeof x; // ReferenceError let x;

上面代碼中，變量x使用let命令聲明，因此在聲明以前，都屬於x的「死區」，只要用到該變量就會報錯。所以，typeof運行時就會拋出一個ReferenceError。

做爲比較，若是一個變量根本沒有被聲明，使用typeof反而不會報錯。

typeof undeclared_variable // "undefined" typeof undeclared_variable // "undefined"

上面代碼中，undeclared_variable是一個不存在的變量名，結果返回「undefined」。因此，在沒有let以前，typeof運算符是百分之百安全的，永遠不會報錯。如今這一點不成立了。這樣的設計是爲了讓你們養成良好的編程習慣，變量必定要在聲明以後使用，不然就報錯。

有些「死區」比較隱蔽，不太容易發現。

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

上面代碼中，調用bar函數之因此報錯（某些實現可能不報錯），是由於參數x默認值等於另外一個參數y，而此時y尚未聲明，屬於」死區「。若是y的默認值是x，就不會報錯，由於此時x已經聲明瞭。

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

另外，下面的代碼也會報錯，與var的行爲不一樣。

// 不報錯 var x = x;  // 報錯 let x = x; // ReferenceError: x is not defined // 不報錯 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() { let a = 10; var a = 1; }  // 報錯 function func() { let a = 10; let a = 1; }

所以，不能在函數內部從新聲明參數。

function func(arg) { let arg; // 報錯 } function func(arg) { { let arg; // 不報錯  } } function func(arg) { let arg; // 報錯 } function func(arg) { { let arg; // 不報錯  } }

2.塊級做用域

爲何須要塊級做用域？

ES5 只有全局做用域和函數做用域，沒有塊級做用域，這帶來不少不合理的場景。

第一種場景，內層變量可能會覆蓋外層變量。

var tmp = new Date(); function f() { console.log(tmp); if (false) { var tmp = 'hello world'; } } f(); // undefined var tmp = new Date(); function f() { console.log(tmp); if (false) { var tmp = 'hello world'; } } f(); // undefined

上面代碼的原意是，if代碼塊的外部使用外層的tmp變量，內部使用內層的tmp變量。可是，函數f執行後，輸出結果爲undefined，緣由在於變量提高，致使內層的tmp變量覆蓋了外層的tmp變量。

第二種場景，用來計數的循環變量泄露爲全局變量。

var s = 'hello'; for (var i = 0; i < s.length; i++) { console.log(s[i]); } console.log(i); // 5 var s = 'hello'; for (var i = 0; i < s.length; i++) { console.log(s[i]); } console.log(i); // 5

上面代碼中，變量i只用來控制循環，可是循環結束後，它並無消失，泄露成了全局變量。

ES6 的塊級做用域

let實際上爲 JavaScript 新增了塊級做用域。

function f1() { let n = 5; if (true) { let n = 10; } console.log(n); // 5 } function f1() { let n = 5; if (true) { let n = 10; } console.log(n); // 5 }

上面的函數有兩個代碼塊，都聲明瞭變量n，運行後輸出 5。這表示外層代碼塊不受內層代碼塊的影響。若是兩次都使用var定義變量n，最後輸出的值纔是 10。

ES6 容許塊級做用域的任意嵌套。

{{{{{let insane = 'Hello World'}}}}}; {{{{{let insane = 'Hello World'}}}}};

上面代碼使用了一個五層的塊級做用域。外層做用域沒法讀取內層做用域的變量。

{{{{ {let insane = 'Hello World'} console.log(insane); // 報錯 }}}}; {{{{ {let insane = 'Hello World'} console.log(insane); // 報錯 }}}};

內層做用域能夠定義外層做用域的同名變量。

{{{{ let insane = 'Hello World'; {let insane = 'Hello World'} }}}}; {{{{ let insane = 'Hello World'; {let insane = 'Hello World'} }}}};

塊級做用域的出現，實際上使得得到普遍應用的當即執行函數表達式（IIFE）再也不必要了。

// IIFE 寫法 (function () { var tmp = ...; ... }());  // 塊級做用域寫法 { let tmp = ...; ... } // IIFE 寫法 (function () { var tmp = ...; ... }());  // 塊級做用域寫法 { let tmp = ...; ... }

塊級做用域與函數聲明

函數能不能在塊級做用域之中聲明？這是一個至關使人混淆的問題。

ES5 規定，函數只能在頂層做用域和函數做用域之中聲明，不能在塊級做用域聲明。

// 狀況一 if (true) { function f() {} }  // 狀況二 try { function f() {} } catch(e) {  // ... } // 狀況一 if (true) { function f() {} }  // 狀況二 try { function f() {} } catch(e) {  // ... }

上面兩種函數聲明，根據 ES5 的規定都是非法的。

可是，瀏覽器沒有遵照這個規定，爲了兼容之前的舊代碼，仍是支持在塊級做用域之中聲明函數，所以上面兩種狀況實際都能運行，不會報錯。

ES6 引入了塊級做用域，明確容許在塊級做用域之中聲明函數。ES6 規定，塊級做用域之中，函數聲明語句的行爲相似於let，在塊級做用域以外不可引用。

function f() { console.log('I am outside!'); } (function () { if (false) {  // 重複聲明一次函數f  function f() { console.log('I am inside!'); } } f(); }()); function f() { console.log('I am outside!'); } (function () { if (false) {  // 重複聲明一次函數f  function f() { console.log('I am inside!'); } } f(); }());

上面代碼在 ES5 中運行，會獲得「I am inside!」，由於在if內聲明的函數f會被提高到函數頭部，實際運行的代碼以下。

// ES5 環境 function f() { console.log('I am outside!'); } (function () { function f() { console.log('I am inside!'); } if (false) { } f(); }()); // ES5 環境 function f() { console.log('I am outside!'); } (function () { function f() { console.log('I am inside!'); } if (false) { } f(); }());

ES6 就徹底不同了，理論上會獲得「I am outside!」。由於塊級做用域內聲明的函數相似於let，對做用域以外沒有影響。可是，若是你真的在 ES6 瀏覽器中運行一下上面的代碼，是會報錯的，這是爲何呢？

原來，若是改變了塊級做用域內聲明的函數的處理規則，顯然會對老代碼產生很大影響。爲了減輕所以產生的不兼容問題，ES6 在附錄 B裏面規定，瀏覽器的實現能夠不遵照上面的規定，有本身的行爲方式。

容許在塊級做用域內聲明函數。
函數聲明相似於var，即會提高到全局做用域或函數做用域的頭部。
同時，函數聲明還會提高到所在的塊級做用域的頭部。

注意，上面三條規則只對 ES6 的瀏覽器實現有效，其餘環境的實現不用遵照，仍是將塊級做用域的函數聲明看成let處理。

根據這三條規則，在瀏覽器的 ES6 環境中，塊級做用域內聲明的函數，行爲相似於var聲明的變量。

// 瀏覽器的 ES6 環境 function f() { console.log('I am outside!'); } (function () { if (false) {  // 重複聲明一次函數f  function f() { console.log('I am inside!'); } } f(); }()); // Uncaught TypeError: f is not a function // 瀏覽器的 ES6 環境 function f() { console.log('I am outside!'); } (function () { if (false) {  // 重複聲明一次函數f  function f() { console.log('I am inside!'); } } f(); }()); // Uncaught TypeError: f is not a function

上面的代碼在符合 ES6 的瀏覽器中，都會報錯，由於實際運行的是下面的代碼。

// 瀏覽器的 ES6 環境 function f() { console.log('I am outside!'); } (function () { var f = undefined; if (false) { function f() { console.log('I am inside!'); } } f(); }()); // Uncaught TypeError: f is not a function // 瀏覽器的 ES6 環境 function f() { console.log('I am outside!'); } (function () { var f = undefined; if (false) { function f() { console.log('I am inside!'); } } f(); }()); // Uncaught TypeError: f is not a function

考慮到環境致使的行爲差別太大，應該避免在塊級做用域內聲明函數。若是確實須要，也應該寫成函數表達式，而不是函數聲明語句。

// 函數聲明語句 { let a = 'secret'; function f() { return a; } }  // 函數表達式 { let a = 'secret'; let f = function () { return a; }; } // 函數聲明語句 { let a = 'secret'; function f() { return a; } }  // 函數表達式 { let a = 'secret'; let f = function () { return a; }; }

另外，還有一個須要注意的地方。ES6 的塊級做用域容許聲明函數的規則，只在使用大括號的狀況下成立，若是沒有使用大括號，就會報錯。

// 不報錯 'use strict'; if (true) { function f() {} }  // 報錯 'use strict'; if (true) function f() {} // 不報錯 'use strict'; if (true) { function f() {} }  // 報錯 'use strict'; if (true) function f() {}

3.const 命令

基本用法

const聲明一個只讀的常量。一旦聲明，常量的值就不能改變。

const PI = 3.1415; PI // 3.1415  PI = 3; // TypeError: Assignment to constant variable. const PI = 3.1415; PI // 3.1415  PI = 3; // TypeError: Assignment to constant variable.

上面代碼代表改變常量的值會報錯。

const聲明的變量不得改變值，這意味着，const一旦聲明變量，就必須當即初始化，不能留到之後賦值。

const foo; // SyntaxError: Missing initializer in const declaration const foo; // SyntaxError: Missing initializer in const declaration

上面代碼表示，對於const來講，只聲明不賦值，就會報錯。

const的做用域與let命令相同：只在聲明所在的塊級做用域內有效。

if (true) { const MAX = 5; } MAX // Uncaught ReferenceError: MAX is not defined if (true) { const MAX = 5; } MAX // Uncaught ReferenceError: MAX is not defined

const命令聲明的常量也是不提高，一樣存在暫時性死區，只能在聲明的位置後面使用。

if (true) { console.log(MAX); // ReferenceError  const MAX = 5; } if (true) { console.log(MAX); // ReferenceError  const MAX = 5; }

上面代碼在常量MAX聲明以前就調用，結果報錯。

const聲明的常量，也與let同樣不可重複聲明。

var message = "Hello!"; let age = 25;  // 如下兩行都會報錯 const message = "Goodbye!"; const age = 30; var message = "Hello!"; let age = 25;  // 如下兩行都會報錯 const message = "Goodbye!"; const age = 30;

本質

const實際上保證的，並非變量的值不得改動，而是變量指向的那個內存地址不得改動。對於簡單類型的數據（數值、字符串、布爾值），值就保存在變量指向的那個內存地址，所以等同於常量。但對於複合類型的數據（主要是對象和數組），變量指向的內存地址，保存的只是一個指針，const只能保證這個指針是固定的，至於它指向的數據結構是否是可變的，就徹底不能控制了。所以，將一個對象聲明爲常量必須很是當心。

const foo = {};  // 爲 foo 添加一個屬性，能夠成功 foo.prop = 123; foo.prop // 123  // 將 foo 指向另外一個對象，就會報錯 foo = {}; // TypeError: "foo" is read-only const foo = {};  // 爲 foo 添加一個屬性，能夠成功 foo.prop = 123; foo.prop // 123  // 將 foo 指向另外一個對象，就會報錯 foo = {}; // TypeError: "foo" is read-only

上面代碼中，常量foo儲存的是一個地址，這個地址指向一個對象。不可變的只是這個地址，即不能把foo指向另外一個地址，但對象自己是可變的，因此依然能夠爲其添加新屬性。

下面是另外一個例子。

const a = []; a.push('Hello'); // 可執行 a.length = 0;  // 可執行 a = ['Dave'];  // 報錯 const a = []; a.push('Hello'); // 可執行 a.length = 0;  // 可執行 a = ['Dave'];  // 報錯

上面代碼中，常量a是一個數組，這個數組自己是可寫的，可是若是將另外一個數組賦值給a，就會報錯。

若是真的想將對象凍結，應該使用Object.freeze方法。

const foo = Object.freeze({});  // 常規模式時，下面一行不起做用； // 嚴格模式時，該行會報錯 foo.prop = 123; 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] ); } }); }; var constantize = (obj) => { Object.freeze(obj); Object.keys(obj).forEach( (key, i) => { if ( typeof obj[key] === 'object' ) { constantize( obj[key] ); } }); };

ES6 聲明變量的六種方法

ES5 只有兩種聲明變量的方法：var命令和function命令。ES6 除了添加let和const命令，後面章節還會提到，另外兩種聲明變量的方法：import命令和class命令。因此，ES6 一共有 6 種聲明變量的方法。

4.頂層對象的屬性

頂層對象，在瀏覽器環境指的是window對象，在 Node 指的是global對象。ES5 之中，頂層對象的屬性與全局變量是等價的。

window.a = 1; a // 1  a = 2; window.a // 2 window.a = 1; a // 1  a = 2; window.a // 2

上面代碼中，頂層對象的屬性賦值與全局變量的賦值，是同一件事。

頂層對象的屬性與全局變量掛鉤，被認爲是 JavaScript 語言最大的設計敗筆之一。這樣的設計帶來了幾個很大的問題，首先是無法在編譯時就報出變量未聲明的錯誤，只有運行時才能知道（由於全局變量多是頂層對象的屬性創造的，而屬性的創造是動態的）；其次，程序員很容易不知不覺地就建立了全局變量（好比打字出錯）；最後，頂層對象的屬性是處處能夠讀寫的，這很是不利於模塊化編程。另外一方面，window對象有實體含義，指的是瀏覽器的窗口對象，頂層對象是一個有實體含義的對象，也是不合適的。

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 var a = 1; // 若是在 Node 的 REPL 環境，能夠寫成 global.a // 或者採用通用方法，寫成 this.a window.a // 1  let b = 1; window.b // undefined

上面代碼中，全局變量a由var命令聲明，因此它是頂層對象的屬性；全局變量b由let命令聲明，因此它不是頂層對象的屬性，返回undefined。

5.global 對象

ES5 的頂層對象，自己也是一個問題，由於它在各類實現裏面是不統一的。

瀏覽器裏面，頂層對象是window，但 Node 和 Web Worker 沒有window。
瀏覽器和 Web Worker 裏面，self也指向頂層對象，可是 Node 沒有self。
Node 裏面，頂層對象是global，但其餘環境都不支持。

同一段代碼爲了可以在各類環境，都能取到頂層對象，如今通常是使用this變量，可是有侷限性。

全局環境中，this會返回頂層對象。可是，Node 模塊和 ES6 模塊中，this返回的是當前模塊。
函數裏面的this，若是函數不是做爲對象的方法運行，而是單純做爲函數運行，this會指向頂層對象。可是，嚴格模式下，這時this會返回undefined。
無論是嚴格模式，仍是普通模式，new Function('return this')()，老是會返回全局對象。可是，若是瀏覽器用了 CSP（Content Security Policy，內容安全政策），那麼eval、new Function這些方法均可能沒法使用。

綜上所述，很難找到一種方法，能夠在全部狀況下，都取到頂層對象。下面是兩種勉強可使用的方法。

// 方法一 (typeof window !== 'undefined' ? window : (typeof process === 'object' && typeof require === 'function' && typeof global === 'object') ? global : this);  // 方法二 var getGlobal = function () { if (typeof self !== 'undefined') { return self; } if (typeof window !== 'undefined') { return window; } if (typeof global !== 'undefined') { return global; } throw new Error('unable to locate global object'); }; // 方法一 (typeof window !== 'undefined' ? window : (typeof process === 'object' && typeof require === 'function' && typeof global === 'object') ? global : this);  // 方法二 var getGlobal = function () { if (typeof self !== 'undefined') { return self; } if (typeof window !== 'undefined') { return window; } if (typeof global !== 'undefined') { return global; } throw new Error('unable to locate global object'); };

如今有一個提案，在語言標準的層面，引入global做爲頂層對象。也就是說，在全部環境下，global都是存在的，均可以從它拿到頂層對象。

墊片庫system.global模擬了這個提案，能夠在全部環境拿到global。

// CommonJS 的寫法 require('system.global/shim')();  // ES6 模塊的寫法 import shim from 'system.global/shim'; shim(); // CommonJS 的寫法 require('system.global/shim')();  // ES6 模塊的寫法 import shim from 'system.global/shim'; shim();

上面代碼能夠保證各類環境裏面，global對象都是存在的。

// CommonJS 的寫法 var global = require('system.global')();  // ES6 模塊的寫法 import getGlobal from 'system.global'; const global = getGlobal(); // CommonJS 的寫法 var global = require('system.global')();  // ES6 模塊的寫法 import getGlobal from 'system.global'; const global = getGlobal();