let命令
基本用法
ES6新增了let命令,用來聲明變量。它的用法類似於var,但是所聲明的變量,只在let命令所在的代碼塊內有效。
{ let a = 10; var b = 1; } a // ReferenceError: a is not defined. b // 1
上面代碼在代碼塊之中,分別用let和var聲明瞭兩個變量。然後在代碼塊之外調用這兩個變量,結果let聲明的變量報錯,var 聲明的變量返回了正確的值。這表明,let 聲明的變量只在它所在的代碼塊有效。
for循環的計數器,就很合適使用let命令。
for (let i = 0; i <10; i++) {} console.log(i); //ReferenceError: i is not defined
上面代碼中,計數器只在for循環體內有效,在循環體外引用就會報錯;
下面的代碼如果使用了var,最後輸出的是10;
var a = []; for (var i = 0; i <10; i++) { a[i] = function () { console.log(i); }; } a[6](); // 10
上面代碼中,變量i是var聲明的,在全局範圍內都有效。所以每一次循環,新的i值都會覆蓋舊值,導致最後輸出的是最後一輪的i的值。
如果使用let,聲明的變量僅在塊級作用域內有效,最後輸出的是6。
var a = []; for (let i = 0; i < 10; i++) { a[i] = function () { console.log(i); }; } a[6](); // 6
上面代碼中,變量i是let聲明的,當前的i只在本輪循環有效,所以每一次循環的i其實都是一個新的變量,所以最後輸出的是6。
不存在變量提升
let不像var那樣會發生“變量提升”現象。所以,變量一定要在聲明後使用,否則報錯。
console.log(foo); // 輸出undefined console.log(bar); // 報錯ReferenceError var foo = 2; let bar = 2;
上面代碼中,變量foo用var命令聲明,會發生變量提升,即腳本開始運行時,變量foo已經存在了,但是沒有值,所以會輸出undefined。變量bar用let命令聲明,不會發生變量提升。這表示在聲明它之前,變量bar是不存在的,這時如果用到它,就會拋出一個錯誤。
暫時性死區
只要塊級作用域內存在let命令,它所聲明的變量就“綁定”(binding)這個區域,不再受外部的影響。
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 }
上面代碼中,在let命令聲明變量tmp之前,都屬於變量tmp的“死區”。
“暫時性死區”也意味着typeof不再是一個百分之百安全的操作。
typeof x; // ReferenceError let x;
上面代碼中,變量x使用let命令聲明,所以在聲明之前,都屬於x的“死區”,只要用到該變量就會報錯。因此,typeof運行時就會拋出一個ReferenceError。
作爲比較,如果一個變量根本沒有被聲明,使用typeof反而不會報錯。
typeof undeclared_variable // "undefined"
上面代碼中,undeclared_variable是一個不存在的變量名,結果返回“undefined”。所以,在沒有let之前,typeof運算符是百分之百安全的,永遠不會報錯。現在這一點不成立了。這樣的設計是爲了讓大家養成良好的編程習慣,變量一定要在聲明之後使用,否則就報錯。
有些“死區”比較隱蔽,不太容易發現。
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]
ES6規定暫時性死區和let、const語句不出現變量提升,主要是爲了減少運行時錯誤,防止在變量聲明前就使用這個變量,從而導致意料之外的行爲。這樣的錯誤在ES5是很常見的,現在有了這種規定,避免此類錯誤就很容易了。
總之,暫時性死區的本質就是,只要一進入當前作用域,所要使用的變量就已經存在了,但是不可獲取,只有等到聲明變量的那一行代碼出現,纔可以獲取和使用該變量。
不允許重複聲明
let不允許在相同作用域內,重複聲明同一個變量。
// 報錯 function () { let a = 10; var a = 1; } // 報錯 function () { let a = 10; let a = 1; }
因此,不能在函數內部重新聲明參數。
function func(arg) { let arg; // 報錯 } function func(arg) { { let arg; // 不報錯 } }
塊級作用域
爲什麼需要塊級作用域?
ES5只有全局作用域和函數作用域,沒有塊級作用域,這帶來很多不合理的場景。
第一種場景,內層變量可能會覆蓋外層變量。
var tmp = new Date(); function f() { console.log(tmp); if (false) { var tmp = "hello world"; } } f(); // undefined
上面代碼中,函數f執行後,輸出結果爲undefined,原因在於變量提升,導致內層的tmp變量覆蓋了外層的tmp變量。
第二種場景,用來計數的循環變量泄露爲全局變量。
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 }
上面的函數有兩個代碼塊,都聲明瞭變量n,運行後輸出5。這表示外層代碼塊不受內層代碼塊的影響。如果使用var定義變量n,最後輸出的值就是10。
ES6允許塊級作用域的任意嵌套。
{{{{{let insane = 'Hello World'}}}}}; //上面代碼使用了一個五層的塊級作用域。外層作用域無法讀取內層作用域的變量。 {{{{ {let insane = 'Hello World'} console.log(insane); // 報錯 }}}}; //內層作用域可以定義外層作用域的同名變量。 {{{{ let insane = 'Hello World'; {let insane = 'Hello World'} }}}};
塊級作用域的出現,實際上使得獲得廣泛應用的立即執行函數表達式(IIFE)不再必要了。
// IIFE 寫法 (function () { var tmp = ...; ... }()); // 塊級作用域寫法 { let tmp = ...; ... }
塊級作用域與函數聲明
函數能不能在塊級作用域之中聲明,是一個相當令人混淆的問題。
ES5規定,函數只能在頂層作用域和函數作用域之中聲明,不能在塊級作用域聲明。
// 情況一 if (true) { function f() {} } // 情況二 try { function f() {} } catch(e) { }
上面代碼的兩種函數聲明,根據ES5的規定都是非法的。
但是,瀏覽器沒有遵守這個規定,爲了兼容以前的舊代碼,還是支持在塊級作用域之中聲明函數,因此上面兩種情況實際都能運行,不會報錯。不過,“嚴格模式”下還是會報錯。
// ES5嚴格模式 'use strict'; if (true) { function f() {} } // 報錯 //ES6 引入了塊級作用域,明確允許在塊級作用域之中聲明函數。 // ES6嚴格模式 'use strict'; if (true) { function f() {} } // 不報錯
ES6 規定,塊級作用域之中,函數聲明語句的行爲類似於let,在塊級作用域之外不可引用。
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(); }()); //ES6 的運行結果就完全不一樣了,會得到“I am outside!”。因爲塊級作用域內聲明的函數類似於let,對作用域之外沒有影響,實際運行的代碼如下。 // ES6版本 function f() { console.log('I am outside!'); } (function () { f(); }());
很顯然,這種行爲差異會對老代碼產生很大影響。爲了減輕因此產生的不兼容問題,ES6在附錄B裏面規定,瀏覽器的實現可以不遵守上面的規定,有自己的行爲方式。
允許在塊級作用域內聲明函數。
函數聲明類似於var,即會提升到全局作用域或函數作用域的頭部。
同時,函數聲明還會提升到所在的塊級作用域的頭部。
注意,上面三條規則只對ES6的瀏覽器實現有效,其他環境的實現不用遵守,還是將塊級作用域的函數聲明當作let處理。