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 = ...;
...
}
塊級作用域與函數聲明
函數能不能在塊級作用域之中聲明，是一個相當令人混淆的問題。
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處理。
前面那段代碼，在 Chrome 環境下運行會報錯。
// 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 () {
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;
};
}
另外，還有一個需要注意的地方。ES6的塊級作用域允許聲明函數的規則，只在使用大括號的情況下成立，如果沒有使用大括號，就會報錯。
// 不報錯
'use strict';
if (true) {
function f() {}
}
// 報錯
'use strict';
if (true)
function f() {}
do 表達式
本質上，塊級作用域是一個語句，將多個操作封裝在一起，沒有返回值。
{
let t = f();
t = t * t + 1;
}
上面代碼中，塊級作用域將兩個語句封裝在一起。但是，在塊級作用域以外，沒有辦法得到t的值，因為塊級作用域不返回值，除非t是全局變量。
現在有一個提案，使得塊級作用域可以變為表達式，也就是說可以返回值，辦法就是在塊級作用域之前加上do，使它變為do表達式。
let x = do {
let t = f();
t * t + 1;
};
上面代碼中，變量x會得到整個塊級作用域的返回值。
JavaScript ES6 的 let 和 var 的比較
在javascript 1.7中， let 關鍵詞被添加進來， 我聽說它聲明之後類似於”本地變量“， 但是我仍然不確定它和 關鍵詞 var 的具體區別。
回答：
不同點在於作用域， var關鍵詞的作用域是最近的函數作用域（如果在函數體的外部就是全局作用域）， let 關鍵詞的作用域是最接近的塊作用域（如果在任何塊意外就是全局作用域），這將會比函數作用域更小。
同樣， 像var 一樣， 使用let 聲明的變量也會在其被聲明的地方之前可見。
下面是Demo 例子。
全局（Global）
當在函數體之外它們是平等的。
let me = 'go'; //globally scoped var i = 'able'; //globally scoped
函數（Function）
當瞎下面這種， 也是平等的。
function ingWithinEstablishedParameters() {
let terOfRecommendation = 'awesome worker!'; //function block scoped
var sityCheerleading = 'go!'; //function block scoped
};
塊（Block）
這是不同點， let 只是在 for 循環中， var 卻是在整個函數都是可見的。
function allyIlliterate() {
//tuce is *not* visible out here
for( let tuce = 0; tuce < 5; tuce++ ) {
//tuce is only visible in here (and in the for() parentheses)
};
//tuce is *not* visible out here
};
function byE40() {
//nish *is* visible out here
for( var nish = 0; nish < 5; nish++ ) {
//nish is visible to the whole function
};
//nish *is* visible out here
};