在es6中，let關鍵字用于聲明變量；但是所聲明的變量，只在let命令所在的代碼塊內有效。let不會發生“變量提升”現象，所以變量一定要在聲明后使用，否則報錯。只要塊級作用域內存在let命令，它所聲明的變量就“綁定”（binding）這個區域，不再受外部的影響。

本教程操作環境：windows7系統、ECMAScript 6版、Dell G3電腦。

es6 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

上面代碼中，計數器i只在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 = ...;   ... }

【