前言

《ECMAScript入門》是一本開源的JavaScript語言教程，全面介紹ECMAScript6新引入的語法特性。
let和const命令，是第一章開始介紹，也是比較基礎的知識。我在學習之后，把它總結記錄下來，以便自己以后復習查看。
以下代碼，于Chrome57 DevTools運行
node為6.3版本

先總結

先總結區別，再分別闡述

let 與 const 相同點和區別

1：let命令用來聲明變量，用法類似于var，但是所聲明的變量。
const聲明一個只讀的常量，一旦聲明，常量的值就不能改變。
const保證的是內存地址不得改動。常量（內存地址保存的是值），復合類型的數據（內存地址保存的是指針）
2：兩者都不存在變量提升。
3：兩者都有暫時性死區(TDZ)。
4：兩者都不允許重復聲明。
5：兩者為JavaScript新增了塊級作用域。兩者作用域，只在聲明所在的塊級作用域有效。

基本用法

let命令介紹

let命令，用來聲明變量。它的用法類似于var, 但是所聲明的變量，只在let命令所在的代碼塊內有效。
瀏覽器中的結果

let命令

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

let實用舉例

for循環的計數器

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

for循環的計數器

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

下面的代碼如果使用var, 最后輸出的是10。

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

var- for循環

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

如果使用let, 聲明的變量僅在塊級作用域內有效，最后輸出的是6。

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

let-for循環

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

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

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

let-for循環-父子作用域

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

不存在變量提升

var命令會發生變量提升現象，即變量可以在聲明之前使用，值為undefined。這種現象多多少少是有些奇怪的，按照一般的邏輯，變量應該在聲明語句之后才可以使用。

為了糾正這種現象，let命令改變了語法行為，它所聲明的變量一定要在聲明后使用，否則報錯。

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

不存在變量提升

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

暫時性死區（TDZ）

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

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

暫時性死區(TDZ)

上面代碼中，存在全局變量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
} 

瀏覽器結果

ReferenceError

ReferenceError

正常情況

上面代碼中，在let命令聲明變量tmp之前，都屬于變量tmp的“死區”。

“暫時性死區”也意味著typeof不再是一個百分之百安全的操作。

typeof x; // ReferenceError
let x;
 

typeof不再是一個百分之百安全的操作

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

作為比較，如果一個變量根本沒有被聲明，使用typeof反而不會報錯。

typeof undeclared_variable // "undefined"
 

typeof對未聲明的變量有用

上面代碼中，undeclared_variable是一個不存在的變量名，結果返回“undefined”。所以，在沒有let之前，typeof運算符是百分之百安全的，永遠不會報錯。現在這一點不成立了。這樣的設計是為了讓大家養成良好的編程習慣，變量一定要在聲明之后使用，否則就報錯。

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

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

函數參數TDZ

上面代碼中，調用bar函數之所以報錯（某些實現可能不報錯），是因為參數x默認值等于另一個參數y，而此時y還沒有聲明，屬于”死區“。如果y的默認值是x，就不會報錯，因為此時x已經聲明了。

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

另外，下面的代碼也會報錯，與var的行為不同。

// 不報錯
var x = x;
 
// 報錯
let x = x;
// ReferenceError: x is not defined
 

let定義變量的TDZ

上面代碼報錯，也是因為暫時性死區。使用let聲明變量時，只要變量在還沒有聲明完成前使用，就會報錯。上面這行就屬于這個情況，在變量x的聲明語句還沒有執行完成前，就去取x的值，導致報錯”x 未定義“。

ES6 規定暫時性死區和let、const語句不出現變量提升，主要是為了減少運行時錯誤，防止在變量聲明前就使用這個變量，從而導致意料之外的行為。這樣的錯誤在 ES5 是很常見的，現在有了這種規定，避免此類錯誤就很容易了。

總之，暫時性死區的本質就是，只要一進入當前作用域，所要使用的變量就已經存在了，但是不可獲取，只有等到聲明變量的那一行代碼出現，才可以獲取和使用該變量。

不允許重復聲明

let不允許在相同作用域內，重復聲明同一個變量。
瀏覽器結果

let不允許重復聲明1

let不允許重復聲明2

let不允許重復聲明3

因此，不能在函數內部重新聲明參數。

function func(arg) {
  let arg; //在chrome瀏覽器下，不報錯。使用node執行，會報錯。
}

function func(arg) {
  {
    let arg;//在chrome瀏覽器下，不報錯。使用node執行，也不報錯。
  }
}

瀏覽器環境和node執行情況

瀏覽器環境下執行

node6.3環境下執行

塊級作用域

塊級作用域，沒有返回值。

為什么需要塊級作用域?

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

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

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

用來計數的循環變量泄露為全局變量

上面代碼中，變量i只用來控制循環，但是循環結束后，它并沒有消失，泄露成了全局變量。

ES6的塊級作用域

let實際上為 JavaScript 新增了塊級作用域。

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

let塊級作用域

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

let塊級作用域

ES6 允許塊級作用域的任意嵌套。

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

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

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

let塊級作用域

內層作用域可以定義外層作用域的同名變量。

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

塊級作用域的出現，實際上使得獲得廣泛應用的立即執行函數表達式（IIFE）不再必要了。

// IIFE 寫法
(function () {
  var tmp = ...;
  ...
}());

// 塊級作用域寫法
{
  let tmp = ...;
  ...
}

塊級作用域與函數聲明

• 允許在塊級作用域內聲明函數。
• 函數聲明類似于var，即會提升到全局作用域或函數作用域的頭部。
• 同時，函數聲明還會提升到所在的塊級作用域的頭部。

const命令

基本用法

const也是用來聲明變量，但是聲明的是一個只讀的常量。一旦聲明，常量的值就不能改變。

const PI = 3.1415;
PI // 3.1415

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

const聲明之后不可變

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

const聲明的變量不得改變值，這意味著，const一旦聲明變量，就必須立即初始化，不能留到以后賦值。

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

const聲明之后需要立即初始化

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

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

if (true) {
  const MAX = 5;
}

MAX // Uncaught ReferenceError: MAX is not defined

const聲明只在塊級作用域有效

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

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

const命令聲明的常量不提升

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

const聲明的常量，也與let一樣不可重復聲明。

var message = "Hello!";
let age = 25;

// 以下兩行都會報錯
const message = "Goodbye!";
const age = 30;

瀏覽器結果

const聲明的常量不可重復聲明1

const聲明的常量不可重復聲明2

對于復合類型的變量，變量名不指向數據，而是指向數據所在的地址。 const命令只是保證變量名指向的地址不變，并不保證該地址的數據不變，所以，將一個對象聲明為常量必須非常小心。

const foo = {};

// 為 foo 添加一個屬性，可以成功
foo.prop = 123;
foo.prop // 123

// 將 foo 指向另一個對象，就會報錯
foo = {}; // TypeError:  Assignment to constant variable.

瀏覽器結果

將一個對象聲明為常量需要小心

上面代碼中，常量foo儲存的是一個地址，這個地址指向一個對象。不可變的只是這個地址，即不能把foo指向另一個地址，但對象本身是可變的，所以依然可以為其添加新屬性。

跨模塊常量

上面說過，const聲明的常量只在當前代碼塊有效。如果想設置跨模塊的常量，可以采用下面的寫法。

// 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

這里其實用到了Module（模塊）的導入導出功能。以后會講到。

全局對象的屬性

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

window.a = 1;
a //1

a = 2;
window.a //2

全局對象屬性

上面代碼中，全局對象的屬性賦值與全局變量的賦值，是同一件事。（對于Node.js來說，這一條只對REPL環境適用，模塊環境中，全局變量必須顯示聲明成global對象的屬性。）這種規定被市委JavaScript語言的一大問題。因為很容易不知不覺就創建了全局變量。
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

全局對象屬性看由誰定義

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

參考

let 和 const 命令