let

基本用法

let命令驻谆，用來聲明變量卵凑。用法類似于var，但聲明的變量胜臊，只在let命令所在的代碼塊內有效勺卢。

{
  let a = 10;
  var b = 1;
}
a // ReferenceError: a is not defined.
b // 1

for循環(huán)的計數(shù)器，就很合適使用let命令象对。

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

計數(shù)器i只在for循環(huán)體內有效黑忱，在循環(huán)體外引用就會報錯。

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

上面代碼中勒魔，變量i是var聲明的甫煞，在全局范圍內都有效。每一次循環(huán)冠绢，變量i的值都會發(fā)生改變抚吠，而循環(huán)內被賦給數(shù)組a的函數(shù)內部的console.log(i)，里面的i指向的就是全局的i弟胀。也就是說楷力，所有數(shù)組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只在本輪循環(huán)有效剪勿，所以每一次循環(huán)的i都是一個新的變量，所以最后輸出6方庭。
for循環(huán)還有一個特別之處厕吉，就是設置循環(huán)變量的那部分是一個父作用域酱固，而循環(huán)體內部是一個單獨的子作用域。

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

上面代碼輸出了3次abc头朱。這表明函數(shù)內部的變量i與循環(huán)變量i不在同一個作用域运悲，有各自單獨的作用域。

不存在變量提升

var命令會發(fā)生“變量提升”現(xiàn)象项钮，即變量可以在聲明之前使用班眯，值為undefined。而let不會發(fā)生“變量提升”現(xiàn)象烁巫。所以署隘，變量一定要在聲明后使用，否則報錯亚隙。

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

暫時性死區(qū)

只要塊級作用域內存在let命令磁餐，它所聲明的變量就“綁定”這個區(qū)域，不再受外部的影響阿弃。

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

ES6明確規(guī)定诊霹，如果區(qū)塊中存在let和const命令，這個區(qū)塊對這些命令聲明的變量渣淳，從一開始就形成了封閉作用域脾还。凡是在聲明之前就使用這些變量，就會報錯入愧。
總之鄙漏，在代碼塊內，使用let命令聲明變量之前棺蛛，該變量都是不可用的泥张。這在語法上，稱為“暫時性死區(qū)”鞠值。

if (true) {
  tmp = 'abc'; // ReferenceError
  console.log(tmp); // ReferenceError
  let tmp; 
  console.log(tmp); // undefined
  tmp = 123;
  console.log(tmp); // 123
}

上面代碼中媚创，在let命令聲明變量tmp之前，都屬于變量tmp的“死區(qū)”彤恶。
“暫時性死區(qū)”也意味著typeof不再是一個百分之百安全的操作钞钙。

typeof x; // ReferenceError
let x;

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

typeof undeclared_variable // "undefined"

所以，在沒有let之前术徊，typeof運算符是百分之百安全的本刽，永遠不會報錯。現(xiàn)在這一點不成立了。
有些“死區(qū)”比較隱蔽子寓，不太容易發(fā)現(xiàn)暗挑。

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

上面代碼中，調用bar函數(shù)之所以報錯（某些實現(xiàn)可能不報錯）斜友，是因為參數(shù)x默認值等于另一個參數(shù)y炸裆，而此時y還沒有聲明，屬于”死區(qū)“鲜屏。如果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

上面代碼報錯土思，也是因為暫時性死區(qū)。使用let聲明變量時毕源，只要變量在還沒有聲明完成前使用浪漠，就會報錯陕习。上面這行就屬于這個情況霎褐，在變量x的聲明語句還沒有執(zhí)行完成前，就去取x的值该镣，導致報錯”x 未定義“冻璃。
ES6規(guī)定暫時性死區(qū)和let、const語句不出現(xiàn)變量提升损合，主要是為了減少運行時錯誤省艳，防止在變量聲明前就使用這個變量，從而導致意料之外的行為嫁审。
總之跋炕，暫時性死區(qū)的本質就是，只要一進入當前作用域律适，所要使用的變量就已經存在了辐烂，但是不可獲取，只有等到聲明變量的那一行代碼出現(xiàn)捂贿，才可以獲取和使用該變量纠修。

不允許重復聲明

let不允許在相同作用域內，重復聲明同一個變量厂僧。

// 報錯
function () {
  let a = 10;
  var a = 1;
}
// 報錯
function () {
  let a = 10;
  let a = 1;
}

因此扣草，不能在函數(shù)內部重新聲明參數(shù)。

function func(arg) {
  let arg; // 報錯
}
function func(arg) {
  {
    let arg; // 不報錯
  }
}

塊級作用域

為什么需要塊級作用域

ES5只有全局作用域和函數(shù)作用域，沒有塊級作用域辰妙，這帶來很多不合理的場景鹰祸。
第一種場景，內層變量可能會覆蓋外層變量上岗。

var tmp = new Date();
function f() {
  console.log(tmp);
  if (false) {
    var tmp = "hello world";
  }
}
f(); // undefined

上面代碼中福荸，函數(shù)f執(zhí)行后，輸出結果為undefined肴掷，原因在于變量提升敬锐，導致內層的tmp變量覆蓋了外層的tmp變量。
第二種場景呆瞻，用來計數(shù)的循環(huán)變量泄露為全局變量台夺。

var s = 'hello';
for (var i = 0; i < s.length; i++) {
  console.log(s[i]);
}
console.log(i); // 5

上面代碼中，變量i只用來控制循環(huán)痴脾，但是循環(huán)結束后颤介，它并沒有消失，泄露成了全局變量赞赖。

ES6的塊級作用域

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

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

上面的函數(shù)有兩個代碼塊，都聲明了變量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'}
}}}};

塊級作用域的出現(xiàn)届榄，實際上使得獲得廣泛應用的立即執(zhí)行匿名函數(shù)(IIFE)不再必要了浅乔。

// IIFE寫法
(function () {
  var tmp = ...;
  ...
}());
// 塊級作用域寫法
{
  let tmp = ...;
  ...
}

塊級作用域與函數(shù)聲明

ES5規(guī)定，函數(shù)只能在頂層作用域和函數(shù)作用域之中聲明铝条，不能在塊級作用域聲明靖苇。

// 情況一
if (true) {
  function f() {}
}
// 情況二
try {
  function f() {}
} catch(e) {
}

上面代碼的兩種函數(shù)聲明，根據(jù)ES5的規(guī)定都是非法的攻晒。
但是顾复，瀏覽器沒有遵守這個規(guī)定，還是支持在塊級作用域之中聲明函數(shù)鲁捏，因此上面兩種情況實際都能運行芯砸，不會報錯萧芙。不過，“嚴格模式”下還是會報錯假丧。

// ES5嚴格模式
'use strict';
if (true) {
  function f() {}
}
// 報錯

ES6引入了塊級作用域双揪，明確允許在塊級作用域之中聲明函數(shù)。

// ES6嚴格模式
'use strict';
if (true) {
  function f() {}
}
// 不報錯

并且ES6規(guī)定包帚，塊級作用域之中渔期，函數(shù)聲明語句的行為類似于let，在塊級作用域之外不可引用渴邦。

function f() { console.log('I am outside!'); }
(function () {
  if (false) {
    // 重復聲明一次函數(shù)f
    function f() { console.log('I am inside!'); }
  }
  f();
}());

上面代碼在ES5中運行疯趟，會得到“I am inside!”，因為在if內聲明的函數(shù)f會被提升到函數(shù)頭部谋梭，實際運行的代碼如下信峻。

// ES5版本
function f() { console.log('I am outside!'); }
(function () {
  function f() { console.log('I am inside!'); }
  if (false) {
  }
  f();
}());

ES6的運行結果就完全不一樣了，會得到“I am outside!”瓮床。因為塊級作用域內聲明的函數(shù)類似于let盹舞，對作用域之外沒有影響颓帝，實際運行的代碼如下挠说。

// ES6版本
function f() { console.log('I am outside!'); }
(function () {
  f();
}());

很顯然枣申，這種行為差異會對老代碼產生很大影響嗓化。為了減輕因此產生的不兼容問題，ES6規(guī)定谷浅，瀏覽器的實現(xiàn)可以不遵守上面的規(guī)定足绅，有自己的行為方式析既。

• 允許在塊級作用域內聲明函數(shù)吼鱼。
• 函數(shù)聲明類似于var蓬豁，即會提升到全局作用域或函數(shù)作用域的頭部绰咽。
• 同時菇肃，函數(shù)聲明還會提升到所在的塊級作用域的頭部。

注意取募，上面三條規(guī)則只對ES6的瀏覽器實現(xiàn)有效琐谤，其他環(huán)境的實現(xiàn)不用遵守，還是將塊級作用域的函數(shù)聲明當作let處理玩敏。
根據(jù)這三條規(guī)則斗忌，在瀏覽器的ES6環(huán)境中，塊級作用域內聲明的函數(shù)旺聚，行為類似于var聲明的變量织阳。

// ES6的瀏覽器環(huán)境
function f() { console.log('I am outside!'); }
(function () {
  if (false) {
    // 重復聲明一次函數(shù)f
    function f() { console.log('I am inside!'); }
  }
  f();
}());
// Uncaught TypeError: f is not a function

上面的代碼報錯，是因為實際運行的是下面的代碼砰粹。

// ES6的瀏覽器環(huán)境
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

考慮到環(huán)境導致的行為差異太大唧躲，應該避免在塊級作用域內聲明函數(shù)。如果確實需要，也應該寫成函數(shù)表達式弄痹，而不是函數(shù)聲明語句饭入。

// 函數(shù)聲明語句
{
  let a = 'secret';
  function f() {
    return a;
  }
}
// 函數(shù)表達式
{
  let a = 'secret';
  let f = function () {
    return a;
  };
}

另外，還有一個需要注意的地方肛真。ES6的塊級作用域允許聲明函數(shù)的規(guī)則谐丢，只在使用大括號的情況下成立，如果沒有使用大括號蚓让，就會報錯乾忱。

// 不報錯
'use strict';
if (true) {
  function f() {}
}
// 報錯
'use strict';
if (true)
  function f() {}

const命令

const聲明一個只讀的常量。一旦聲明历极，常量的值就不能改變饭耳，改變常量的值會報錯。

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

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

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

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

if (true) {
  const MAX = 5;
}
MAX // Uncaught ReferenceError: MAX is not defined

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

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

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

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

對于復合類型的變量，變量名不指向數(shù)據(jù)萝风，而是指向數(shù)據(jù)所在的地址嘀掸。const命令只是保證變量名指向的地址不變，并不保證該地址的數(shù)據(jù)不變规惰，所以將一個對象聲明為常量必須非常小心睬塌。

const foo = {};
foo.prop = 123;
foo.prop // 123
foo = {}; // TypeError: "foo" is read-only

上面代碼中，常量foo儲存的是一個地址歇万，這個地址指向一個對象揩晴。不可變的只是這個地址，即不能把foo指向另一個地址贪磺，但對象本身是可變的硫兰，所以依然可以為其添加新屬性。
下面是另一個例子寒锚。

const a = [];
a.push('Hello'); // 可執(zhí)行
a.length = 0;    // 可執(zhí)行
a = ['Dave'];    // 報錯

上面代碼中劫映，常量a是一個數(shù)組呻粹，這個數(shù)組本身是可寫的，但是如果將另一個數(shù)組賦值給a苏研，就會報錯等浊。
如果真的想將對象凍結，應該使用Object.freeze方法摹蘑。

const foo = Object.freeze({});
// 常規(guī)模式時筹燕，下面一行不起作用；
// 嚴格模式時衅鹿，該行會報錯
foo.prop = 123;

上面代碼中撒踪，常量foo指向一個凍結的對象，所以添加新屬性不起作用大渤，嚴格模式時還會報錯制妄。
除了將對象本身凍結，對象的屬性也應該凍結泵三。下面是一個將對象徹底凍結的函數(shù)耕捞。

var constantize = (obj) => {
  Object.freeze(obj);
  Object.keys(obj).forEach( (key, value) => {
    if ( typeof obj[key] === 'object' ) {
      constantize( obj[key] );
    }
  });
};

ES5只有兩種聲明變量的方法：var命令和function命令。ES6除了添加let和const命令俺抽，另外兩種聲明變量的方法：import命令和class命令。所以较曼，ES6一共有6種聲明變量的方法磷斧。

頂層對象的屬性

頂層對象，在瀏覽器環(huán)境指的是window對象捷犹，在Node指的是global對象弛饭。ES5中，頂層對象的屬性與全局變量是等價的萍歉。

window.a = 1;
a // 1
a = 2;
window.a // 2

頂層對象的屬性與全局變量掛鉤侣颂，被認為是JavaScript最大的設計敗筆之一。這樣的設計帶來了幾個很大的問題翠桦，首先是沒法在編譯時就報出變量未聲明的錯誤横蜒，只有運行時才能知道（因為全局變量可能是頂層對象的屬性創(chuàng)造的胳蛮，而屬性的創(chuàng)造是動態(tài)的）销凑；其次，很容易不知不覺地就創(chuàng)建了全局變量（比如打字出錯）仅炊；最后斗幼，頂層對象的屬性是到處可以讀寫的，這非常不利于模塊化編程抚垄。另一方面蜕窿，window對象有實體含義谋逻，指的是瀏覽器的窗口對象，頂層對象是一個有實體含義的對象桐经，也是不合適的毁兆。
ES6為了改變這一點，一方面規(guī)定阴挣，為了保持兼容性气堕，var命令和function命令聲明的全局變量，依舊是頂層對象的屬性畔咧；另一方面規(guī)定茎芭，let命令、const命令誓沸、class命令聲明的全局變量梅桩，不屬于頂層對象的屬性。也就是說拜隧，從ES6開始宿百，全局變量將逐步與頂層對象的屬性脫鉤。

var a = 1;
// 如果在 Node的REPL環(huán)境洪添，可以寫成global.a
// 或者采用通用方法犀呼，寫成 this.a
window.a // 1
let b = 1;
window.b // undefined

global對象

ES5的頂層對象，本身也是一個問題薇组，因為它在各種實現(xiàn)里面是不統(tǒng)一的外臂。

• 瀏覽器里面，頂層對象是window律胀，但Node和Web Worker沒有window宋光。
• 瀏覽器和Web Worker里面，self也指向頂層對象炭菌，但是Node沒有self罪佳。
• Node里面，頂層對象是global黑低，但其他環(huán)境都不支持赘艳。

同一段代碼為了能夠在各種環(huán)境，都能取到頂層對象克握，現(xiàn)在一般是使用this變量蕾管，但是有局限性。

• 全局環(huán)境中菩暗，this會返回頂層對象掰曾。但是，Node模塊和ES6模塊中停团，this返回的是當前模塊旷坦。
• 函數(shù)里面的this掏熬，如果函數(shù)不是作為對象的方法運行，而是單純作為函數(shù)運行秒梅，this會指向頂層對象旗芬。但是，嚴格模式下捆蜀，這時this會返回undefined岗屏。
• 不管是嚴格模式，還是普通模式漱办，new Function('return this')()这刷，總是會返回全局對象。但是娩井，如果瀏覽器用了CSP（Content Security Policy暇屋，內容安全政策），那么eval洞辣、new Function這些方法都可能無法使用咐刨。

綜上所述，很難找到一種方法扬霜，可以在所有情況下定鸟，都取到頂層對象。下面是兩種勉強可以使用的方法著瓶。

// 方法一
(typeof window !== 'undefined'
   ? window
   : (typeof process === 'object' &&
      typeof require === 'function' &&
      typeof global === 'object')
     ? global
     : this);
// 方法二
var getGlobal = function () {
  if (typeof self !== 'undefined') { return self; }
  if (typeof window !== 'undefined') { return window; }
  if (typeof global !== 'undefined') { return global; }
  throw new Error('unable to locate global object');
};

現(xiàn)在有一個提案联予，在語言標準的層面，引入global作為頂層對象材原。也就是說沸久，在所有環(huán)境下，global都是存在的余蟹，都可以從它拿到頂層對象卷胯。
墊片庫system.global模擬了這個提案，可以在所有環(huán)境拿到global威酒。

// CommonJS 的寫法
require('system.global/shim')();
// ES6 模塊的寫法
import shim from 'system.global/shim'; shim();

上面代碼可以保證各種環(huán)境里面窑睁，global對象都是存在的。

// CommonJS 的寫法
var global = require('system.global')();
// ES6 模塊的寫法
import getGlobal from 'system.global';
const global = getGlobal();

上面代碼將頂層對象放入變量global葵孤。