let和var聲明變量的區別：
1.let所聲明的變量只在let命令所在的代碼塊內有效。（塊級作用域）
for(let i=0;i<10;i++){ // ... } console.log(i); // ReferenceError: i is not defined
當前的i只在for循環中有效，當在全局環境中去尋找時是找不到的，所以程序報錯
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。
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時，就在上一輪循環的基礎上進行計算。
另外，for循環還有一個特別之處，就是設置循環變量的那部分是一個父作用域，而循環體內部是一個單獨的子作用域。
for (let i = 0; i < 3; i++) { let i = 'abc'; console.log(i); } // abc // abc // abc
上面代碼正確運行，輸出了 3 次abc。這表明函數內部的變量i與循環變量i不在同一個作用域，有各自單獨的作用域（重點記憶）
2.let命令不存在變量提升
var命令會發生“變量提升”現象，即變量可以在聲明之前使用，值為undefined。按照一般的邏輯，變量應該在聲明語句之后才可以使用，為了糾正這種現象，let命令改變了語法行為，它所聲明的變量一定要在聲明后使用，否則報錯。
// var 的情況 console.log(foo); // 輸出undefined var foo = 2; // let 的情況 console.log(bar); // 報錯ReferenceError let bar = 2;
3.let聲明變量存在暫時性死區（即變量會綁定某個區域，不受外部影響）
var tmp = 123; if (true) { tmp = 'abc'; // ReferenceError let tmp; }
//上面代碼中，存在全局變量tmp，但是塊級作用域內let又聲明了一個局部變量tmp，導致后者綁定這個塊級作用域，所以在let聲明變量前，對tmp賦值會報錯。
ES6 明確規定，如果區塊中存在let和const命令，這個區塊對這些命令聲明的變量，從一開始就形成了封閉作用域。凡是在聲明之前就使用這些變量，就會報錯。
總之，在代碼塊內，使用let命令聲明變量之前，該變量都是不可用的。這在語法上，稱為“暫時性死區”。（簡稱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;
console.log(typeof x) //undefiend
第一塊代碼，變量x使用let命令聲明，所以在聲明之前，都屬於x的“死區”，只要用到該變量就會報錯。因此，typeof運行時就會拋出一個ReferenceError。
第二塊代碼，x是一個不存在的變量名，結果返回“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]
4.let命令不允許重復定義但是var可以而且后定義的變量會覆蓋掉前面的變量
// 報錯
function func() { let a = 10; var a = 1; } // 報錯 function func() { let a = 10; let a = 1; }
因此，不能在函數內部重新聲明參數，但是可以在函數內部不同塊級作用域內聲明同名參數。
function func(arg) { let arg; } func() // 報錯 function func(arg) { { let arg; } } func() // 不報錯，因為這里let聲明的arg變量和函數參數arg參數屬於不同的塊級作用域
function bar(y) { var y=3; console.log(y); } bar(2);//使用var可以重復定義變量，而且后定義的變量會覆蓋前面的變量
const聲明變量
const聲明一個只讀的常量。一旦聲明，常量的值就不能改變。const聲明的變量不得改變值，這意味着，const一旦聲明變量，就必須立即初始化，不能留到以后賦值。
const PI = 3.1415; PI // 3.1415 PI = 3; // TypeError: Assignment to constant variable. const foo; // SyntaxError: Missing initializer in const declaration
const的作用域與let命令相同：只在聲明所在的塊級作用域內有效。
if (true) { const MAX = 5; } MAX // Uncaught ReferenceError: MAX is not defined
const命令聲明的常量也是不提升，同樣存在暫時性死區，只能在聲明的位置后面使用。
const聲明的常量，也與let一樣不可重復聲明。
const實際上保證的，並不是變量的值不得改動，而是變量指向的那個內存地址所保存的數據不得改動。對於簡單類型的數據（數值、字符串、布爾值），值就保存在變量指向的那個內存地址，因此等同於常量。但對於復合類型的數據（主要是對象和數組），變量指向的內存地址，保存的只是一個指向實際數據的指針，const只能保證這個指針是固定的（即總是指向另一個固定的地址），至於它指向的數據結構是不是可變的，就完全不能控制了。因此，將一個對象聲明為常量必須非常小心。（重點）
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']; // 報錯
//上面代碼中，常量a是一個數組，這個數組本身是可寫的，但是如果將另一個數組賦值給a，就會報錯。