let 命令
基本用法
ES6 新增了let命令，用來聲明變量净宵。它的用法類似于var，但是所聲明的變量，只在let命令所在的代碼塊內(nèi)有效承粤。
{leta=10;varb=1;}a// ReferenceError: a is not defined.b// 1
上面代碼在代碼塊之中，分別用let和var聲明了兩個變量闯团。然后在代碼塊之外調(diào)用這兩個變量辛臊，結(jié)果let聲明的變量報錯，var聲明的變量返回了正確的值房交。這表明彻舰，let聲明的變量只在它所在的代碼塊有效。
for循環(huán)的計數(shù)器，就很合適使用let命令刃唤。
for(leti=0;i<10;i++){// ...}console.log(i);// ReferenceError: i is not defined
上面代碼中口猜，計數(shù)器i只在for循環(huán)體內(nèi)有效，在循環(huán)體外引用就會報錯透揣。
下面的代碼如果使用var济炎，最后輸出的是10。
vara=[];for(vari=0;i<10;i++){a[i]=function(){console.log(i);};}a[6]();// 10
上面代碼中辐真，變量i是var命令聲明的须尚，在全局范圍內(nèi)都有效，所以全局只有一個變量i侍咱。每一次循環(huán)耐床，變量i的值都會發(fā)生改變，而循環(huán)內(nèi)被賦給數(shù)組a的函數(shù)內(nèi)部的console.log(i)楔脯，里面的i指向的就是全局的i撩轰。也就是說，所有數(shù)組a的成員里面的i昧廷，指向的都是同一個i堪嫂，導致運行時輸出的是最后一輪的i的值，也就是10木柬。
如果使用let皆串，聲明的變量僅在塊級作用域內(nèi)有效，最后輸出的是6眉枕。
vara=[];for(leti=0;i<10;i++){a[i]=function(){console.log(i);};}a[6]();// 6
上面代碼中恶复，變量i是let聲明的，當前的i只在本輪循環(huán)有效速挑，所以每一次循環(huán)的i其實都是一個新的變量谤牡，所以最后輸出的是6。你可能會問姥宝，如果每一輪循環(huán)的變量i都是重新聲明的翅萤，那它怎么知道上一輪循環(huán)的值，從而計算出本輪循環(huán)的值伶授？這是因為 JavaScript 引擎內(nèi)部會記住上一輪循環(huán)的值断序，初始化本輪的變量i時流纹，就在上一輪循環(huán)的基礎(chǔ)上進行計算糜烹。
另外，for循環(huán)還有一個特別之處漱凝，就是設(shè)置循環(huán)變量的那部分是一個父作用域疮蹦，而循環(huán)體內(nèi)部是一個單獨的子作用域。
for(leti=0;i<3;i++){leti='abc';console.log(i);}// abc// abc// abc
上面代碼正確運行茸炒，輸出了3次abc愕乎。這表明函數(shù)內(nèi)部的變量i與循環(huán)變量i不在同一個作用域阵苇，有各自單獨的作用域。
不存在變量提升
var命令會發(fā)生”變量提升“現(xiàn)象感论，即變量可以在聲明之前使用绅项，值為undefined。這種現(xiàn)象多多少少是有些奇怪的比肄，按照一般的邏輯快耿，變量應(yīng)該在聲明語句之后才可以使用。
為了糾正這種現(xiàn)象芳绩，let命令改變了語法行為掀亥，它所聲明的變量一定要在聲明后使用，否則報錯妥色。
// var 的情況console.log(foo);// 輸出undefinedvarfoo=2;// let 的情況console.log(bar);// 報錯ReferenceErrorletbar=2;
上面代碼中搪花，變量foo用var命令聲明，會發(fā)生變量提升嘹害，即腳本開始運行時撮竿，變量foo已經(jīng)存在了，但是沒有值笔呀，所以會輸出undefined倚聚。變量bar用let命令聲明，不會發(fā)生變量提升凿可。這表示在聲明它之前惑折，變量bar是不存在的，這時如果用到它枯跑，就會拋出一個錯誤惨驶。
暫時性死區(qū)
只要塊級作用域內(nèi)存在let命令，它所聲明的變量就“綁定”（binding）這個區(qū)域敛助，不再受外部的影響粗卜。
vartmp=123;if(true){tmp='abc';// ReferenceErrorlettmp;}
上面代碼中，存在全局變量tmp纳击，但是塊級作用域內(nèi)let又聲明了一個局部變量tmp续扔，導致后者綁定這個塊級作用域，所以在let聲明變量前焕数，對tmp賦值會報錯纱昧。
ES6明確規(guī)定，如果區(qū)塊中存在let和const命令堡赔，這個區(qū)塊對這些命令聲明的變量识脆，從一開始就形成了封閉作用域。凡是在聲明之前就使用這些變量，就會報錯灼捂。
總之离例，在代碼塊內(nèi)，使用let命令聲明變量之前悉稠，該變量都是不可用的宫蛆。這在語法上，稱為“暫時性死區(qū)”（temporal dead zone的猛，簡稱 TDZ）洒扎。
if(true){// TDZ開始tmp='abc';// ReferenceErrorconsole.log(tmp);// ReferenceErrorlettmp;// TDZ結(jié)束console.log(tmp);// undefinedtmp=123;console.log(tmp);// 123}
上面代碼中，在let命令聲明變量tmp之前衰絮，都屬于變量tmp的“死區(qū)”袍冷。
“暫時性死區(qū)”也意味著typeof不再是一個百分之百安全的操作。
typeofx;// ReferenceErrorletx;
上面代碼中猫牡，變量x使用let命令聲明胡诗，所以在聲明之前，都屬于x的“死區(qū)”淌友，只要用到該變量就會報錯煌恢。因此，typeof運行時就會拋出一個ReferenceError震庭。
作為比較瑰抵，如果一個變量根本沒有被聲明，使用typeof反而不會報錯器联。
typeofundeclared_variable// "undefined"
上面代碼中二汛，undeclared_variable是一個不存在的變量名，結(jié)果返回“undefined”拨拓。所以肴颊，在沒有l(wèi)et之前，typeof運算符是百分之百安全的渣磷，永遠不會報錯⌒鲎牛現(xiàn)在這一點不成立了。這樣的設(shè)計是為了讓大家養(yǎng)成良好的編程習慣醋界，變量一定要在聲明之后使用竟宋，否則就報錯。
有些“死區(qū)”比較隱蔽形纺，不太容易發(fā)現(xiàn)丘侠。
functionbar(x=y,y=2){return[x,y];}bar();// 報錯
上面代碼中，調(diào)用bar函數(shù)之所以報錯（某些實現(xiàn)可能不報錯）挡篓，是因為參數(shù)x默認值等于另一個參數(shù)y婉陷，而此時y還沒有聲明帚称，屬于”死區(qū)“官研。如果y的默認值是x秽澳，就不會報錯戏羽，因為此時x已經(jīng)聲明了担神。
functionbar(x=2,y=x){return[x,y];}bar();// [2, 2]
另外，下面的代碼也會報錯始花，與var的行為不同妄讯。
// 不報錯varx=x;// 報錯letx=x;// ReferenceError: x is not defined
上面代碼報錯，也是因為暫時性死區(qū)酷宵。使用let聲明變量時亥贸，只要變量在還沒有聲明完成前使用，就會報錯浇垦。上面這行就屬于這個情況炕置，在變量x的聲明語句還沒有執(zhí)行完成前，就去取x的值男韧，導致報錯”x 未定義“朴摊。
ES6 規(guī)定暫時性死區(qū)和let、const語句不出現(xiàn)變量提升此虑，主要是為了減少運行時錯誤甚纲，防止在變量聲明前就使用這個變量，從而導致意料之外的行為朦前。這樣的錯誤在 ES5 是很常見的介杆，現(xiàn)在有了這種規(guī)定，避免此類錯誤就很容易了韭寸。
總之这溅，暫時性死區(qū)的本質(zhì)就是，只要一進入當前作用域棒仍，所要使用的變量就已經(jīng)存在了悲靴，但是不可獲取，只有等到聲明變量的那一行代碼出現(xiàn)莫其，才可以獲取和使用該變量癞尚。
不允許重復聲明
let不允許在相同作用域內(nèi)，重復聲明同一個變量乱陡。
// 報錯function(){leta=10;vara=1;}// 報錯function(){leta=10;leta=1;}
因此浇揩，不能在函數(shù)內(nèi)部重新聲明參數(shù)。
functionfunc(arg){letarg;// 報錯}functionfunc(arg){{letarg;// 不報錯}}
塊級作用域
為什么需要塊級作用域憨颠？
ES5 只有全局作用域和函數(shù)作用域胳徽，沒有塊級作用域积锅，這帶來很多不合理的場景。
第一種場景养盗，內(nèi)層變量可能會覆蓋外層變量缚陷。
vartmp=newDate();functionf(){console.log(tmp);if(false){vartmp='hello world';}}f();// undefined
上面代碼的原意是，if代碼塊的外部使用外層的tmp變量往核，內(nèi)部使用內(nèi)層的tmp變量箫爷。但是，函數(shù)f執(zhí)行后聂儒，輸出結(jié)果為undefined虎锚，原因在于變量提升，導致內(nèi)層的tmp變量覆蓋了外層的tmp變量衩婚。
第二種場景窜护，用來計數(shù)的循環(huán)變量泄露為全局變量。
vars='hello';for(vari=0;i
上面代碼中非春，變量i只用來控制循環(huán)柱徙，但是循環(huán)結(jié)束后，它并沒有消失税娜，泄露成了全局變量坐搔。
ES6 的塊級作用域
let實際上為 JavaScript 新增了塊級作用域。
functionf1(){letn=5;if(true){letn=10;}console.log(n);// 5}
上面的函數(shù)有兩個代碼塊敬矩，都聲明了變量n概行，運行后輸出5。這表示外層代碼塊不受內(nèi)層代碼塊的影響弧岳。如果兩次都使用var定義變量n凳忙，最后輸出的值才是10。
ES6 允許塊級作用域的任意嵌套禽炬。
{{{{{letinsane='Hello World'}}}}};
上面代碼使用了一個五層的塊級作用域涧卵。外層作用域無法讀取內(nèi)層作用域的變量。
{{{{{letinsane='Hello World'}console.log(insane);// 報錯}}}};
內(nèi)層作用域可以定義外層作用域的同名變量腹尖。
{{{{letinsane='Hello World';{letinsane='Hello World'}}}}};
塊級作用域的出現(xiàn)柳恐，實際上使得獲得廣泛應(yīng)用的立即執(zhí)行函數(shù)表達式（IIFE）不再必要了。
// IIFE 寫法(function(){vartmp=...;...}());// 塊級作用域?qū)懛▄lettmp=...;...}
塊級作用域與函數(shù)聲明
函數(shù)能不能在塊級作用域之中聲明热幔？這是一個相當令人混淆的問題乐设。
ES5 規(guī)定，函數(shù)只能在頂層作用域和函數(shù)作用域之中聲明绎巨，不能在塊級作用域聲明近尚。
// 情況一if(true){functionf(){}}// 情況二try{functionf(){}}catch(e){// ...}
上面兩種函數(shù)聲明，根據(jù) ES5 的規(guī)定都是非法的场勤。
但是戈锻，瀏覽器沒有遵守這個規(guī)定歼跟，為了兼容以前的舊代碼，還是支持在塊級作用域之中聲明函數(shù)格遭，因此上面兩種情況實際都能運行哈街，不會報錯。
ES6 引入了塊級作用域如庭，明確允許在塊級作用域之中聲明函數(shù)叹卷。ES6 規(guī)定撼港，塊級作用域之中坪它，函數(shù)聲明語句的行為類似于let，在塊級作用域之外不可引用帝牡。
functionf(){console.log('I am outside!');}(function(){if(false){// 重復聲明一次函數(shù)ffunctionf(){console.log('I am inside!');}}f();}());
上面代碼在 ES5 中運行往毡，會得到“I am inside!”，因為在if內(nèi)聲明的函數(shù)f會被提升到函數(shù)頭部靶溜，實際運行的代碼如下开瞭。
// ES5 環(huán)境functionf(){console.log('I am outside!');}(function(){functionf(){console.log('I am inside!');}if(false){}f();}());
ES6 就完全不一樣了，理論上會得到“I am outside!”罩息。因為塊級作用域內(nèi)聲明的函數(shù)類似于let嗤详，對作用域之外沒有影響。但是瓷炮，如果你真的在 ES6 瀏覽器中運行一下上面的代碼葱色，是會報錯的，這是為什么呢娘香？
原來苍狰，如果改變了塊級作用域內(nèi)聲明的函數(shù)的處理規(guī)則，顯然會對老代碼產(chǎn)生很大影響烘绽。為了減輕因此產(chǎn)生的不兼容問題淋昭，ES6在附錄B里面規(guī)定，瀏覽器的實現(xiàn)可以不遵守上面的規(guī)定安接，有自己的行為方式翔忽。
允許在塊級作用域內(nèi)聲明函數(shù)。
函數(shù)聲明類似于var盏檐，即會提升到全局作用域或函數(shù)作用域的頭部歇式。
同時，函數(shù)聲明還會提升到所在的塊級作用域的頭部糯笙。
注意贬丛，上面三條規(guī)則只對 ES6 的瀏覽器實現(xiàn)有效，其他環(huán)境的實現(xiàn)不用遵守给涕，還是將塊級作用域的函數(shù)聲明當作let處理豺憔。
根據(jù)這三條規(guī)則额获，在瀏覽器的 ES6 環(huán)境中，塊級作用域內(nèi)聲明的函數(shù)恭应，行為類似于var聲明的變量抄邀。
// 瀏覽器的 ES6 環(huán)境functionf(){console.log('I am outside!');}(function(){if(false){// 重復聲明一次函數(shù)ffunctionf(){console.log('I am inside!');}}f();}());// Uncaught TypeError: f is not a function
上面的代碼在符合 ES6 的瀏覽器中，都會報錯昼榛，因為實際運行的是下面的代碼境肾。
// 瀏覽器的 ES6 環(huán)境functionf(){console.log('I am outside!');}(function(){varf=undefined;if(false){functionf(){console.log('I am inside!');}}f();}());// Uncaught TypeError: f is not a function
考慮到環(huán)境導致的行為差異太大，應(yīng)該避免在塊級作用域內(nèi)聲明函數(shù)胆屿。如果確實需要奥喻，也應(yīng)該寫成函數(shù)表達式，而不是函數(shù)聲明語句非迹。
// 函數(shù)聲明語句{leta='secret';functionf(){returna;}}// 函數(shù)表達式{leta='secret';letf=function(){returna;};}
另外环鲤，還有一個需要注意的地方。ES6 的塊級作用域允許聲明函數(shù)的規(guī)則憎兽，只在使用大括號的情況下成立冷离，如果沒有使用大括號，就會報錯纯命。
// 不報錯'use strict';if(true){functionf(){}}// 報錯'use strict';if(true)functionf(){}
do 表達式
本質(zhì)上西剥，塊級作用域是一個語句，將多個操作封裝在一起亿汞，沒有返回值瞭空。
{lett=f();t=t*t+1;}
上面代碼中，塊級作用域?qū)蓚€語句封裝在一起留夜。但是匙铡，在塊級作用域以外，沒有辦法得到t的值碍粥，因為塊級作用域不返回值鳖眼，除非t是全局變量。
現(xiàn)在有一個提案嚼摩，使得塊級作用域可以變?yōu)楸磉_式钦讳，也就是說可以返回值，辦法就是在塊級作用域之前加上do枕面，使它變?yōu)閐o表達式愿卒。
letx=do{lett=f();t*t+1;};
上面代碼中，變量x會得到整個塊級作用域的返回值潮秘。
const 命令
基本用法
const聲明一個只讀的常量琼开。一旦聲明，常量的值就不能改變枕荞。
const PI=3.1415;PI// 3.1415PI=3;// TypeError: Assignment to constant variable.
上面代碼表明改變常量的值會報錯柜候。
const聲明的變量不得改變值搞动，這意味著，const一旦聲明變量渣刷，就必須立即初始化孽文，不能留到以后賦值防楷。
const foo;// SyntaxError: Missing initializer in const declaration
上面代碼表示告组，對于const來說怠噪，只聲明不賦值，就會報錯碌嘀。
const的作用域與let命令相同：只在聲明所在的塊級作用域內(nèi)有效涣旨。
if(true){const MAX=5;}MAX// Uncaught ReferenceError: MAX is not defined
const命令聲明的常量也是不提升，同樣存在暫時性死區(qū)筏餐，只能在聲明的位置后面使用开泽。
if(true){console.log(MAX);// ReferenceErrorconst MAX=5;}
上面代碼在常量MAX聲明之前就調(diào)用牡拇，結(jié)果報錯魁瞪。
const聲明的常量，也與let一樣不可重復聲明惠呼。
varmessage="Hello!";letage=25;// 以下兩行都會報錯const message="Goodbye!";const age=30;
本質(zhì)
const實際上保證的导俘，并不是變量的值不得改動，而是變量指向的那個內(nèi)存地址不得改動剔蹋。對于簡單類型的數(shù)據(jù)（數(shù)值旅薄、字符串、布爾值）泣崩，值就保存在變量指向的那個內(nèi)存地址少梁，因此等同于常量。但對于復合類型的數(shù)據(jù)（主要是對象和數(shù)組）矫付，變量指向的內(nèi)存地址凯沪，保存的只是一個指針，const只能保證這個指針是固定的买优，至于它指向的數(shù)據(jù)結(jié)構(gòu)是不是可變的妨马，就完全不能控制了。因此杀赢，將一個對象聲明為常量必須非常小心烘跺。
const foo={};// 為 foo 添加一個屬性，可以成功foo.prop=123;foo.prop// 123// 將 foo 指向另一個對象脂崔，就會報錯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，就會報錯硝皂。
如果真的想將對象凍結(jié)常挚，應(yīng)該使用Object.freeze方法。
const foo=Object.freeze({});// 常規(guī)模式時稽物，下面一行不起作用奄毡；// 嚴格模式時，該行會報錯foo.prop=123;
上面代碼中贝或，常量foo指向一個凍結(jié)的對象吼过，所以添加新屬性不起作用，嚴格模式時還會報錯咪奖。
除了將對象本身凍結(jié)盗忱，對象的屬性也應(yīng)該凍結(jié)。下面是一個將對象徹底凍結(jié)的函數(shù)羊赵。
varconstantize=(obj)=>{Object.freeze(obj);Object.keys(obj).forEach((key,i)=>{if(typeofobj[key]==='object'){constantize(obj[key]);}});};
ES6 聲明變量的六種方法
ES5 只有兩種聲明變量的方法：var命令和function命令趟佃。ES6除了添加let和const命令，后面章節(jié)還會提到昧捷，另外兩種聲明變量的方法：import命令和class命令闲昭。所以，ES6 一共有6種聲明變量的方法靡挥。
頂層對象的屬性
頂層對象序矩，在瀏覽器環(huán)境指的是window對象，在Node指的是global對象芹血。ES5之中贮泞，頂層對象的屬性與全局變量是等價的。
window.a=1;a// 1a=2;window.a// 2
上面代碼中幔烛，頂層對象的屬性賦值與全局變量的賦值啃擦，是同一件事。
頂層對象的屬性與全局變量掛鉤饿悬，被認為是JavaScript語言最大的設(shè)計敗筆之一令蛉。這樣的設(shè)計帶來了幾個很大的問題，首先是沒法在編譯時就報出變量未聲明的錯誤，只有運行時才能知道（因為全局變量可能是頂層對象的屬性創(chuàng)造的珠叔，而屬性的創(chuàng)造是動態(tài)的）蝎宇；其次，程序員很容易不知不覺地就創(chuàng)建了全局變量（比如打字出錯）祷安；最后姥芥，頂層對象的屬性是到處可以讀寫的，這非常不利于模塊化編程汇鞭。另一方面凉唐，window對象有實體含義，指的是瀏覽器的窗口對象霍骄，頂層對象是一個有實體含義的對象台囱，也是不合適的。
ES6為了改變這一點读整，一方面規(guī)定簿训，為了保持兼容性，var命令和function命令聲明的全局變量米间，依舊是頂層對象的屬性强品；另一方面規(guī)定，let命令车伞、const命令择懂、class命令聲明的全局變量，不屬于頂層對象的屬性另玖。也就是說，從ES6開始表伦，全局變量將逐步與頂層對象的屬性脫鉤谦去。
vara=1;// 如果在Node的REPL環(huán)境，可以寫成global.a// 或者采用通用方法蹦哼，寫成this.awindow.a// 1letb=1;window.b// undefined
上面代碼中鳄哭，全局變量a由var命令聲明，所以它是頂層對象的屬性纲熏；全局變量b由let命令聲明妆丘，所以它不是頂層對象的屬性，返回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褂始，內(nèi)容安全政策）诸典，那么eval、new Function這些方法都可能無法使用崎苗。
綜上所述狐粱，很難找到一種方法，可以在所有情況下胆数，都取到頂層對象肌蜻。下面是兩種勉強可以使用的方法。
// 方法一(typeofwindow!=='undefined'?window:(typeofprocess==='object'&&typeofrequire==='function'&&typeofglobal==='object')?global:this);// 方法二vargetGlobal=function(){if(typeofself!=='undefined'){returnself;}if(typeofwindow!=='undefined'){returnwindow;}if(typeofglobal!=='undefined'){returnglobal;}thrownewError('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 的寫法varglobal=require('system.global')();// ES6 模塊的寫法import getGlobal from'system.global';const global=getGlobal();
上面代碼將頂層對象放入變量global宿刮。
