let命令

基本用法

ES6新增了let命令，用來(lái)聲明變量。它的用法類似于var，但是所聲明的變量，只在let命令所在的代碼塊內(nèi)有效。

{
 let a = 10;
 var b = 1;
}

a // ReferenceError: a is not defined.
b // 1

上面代碼在代碼塊之中，分別用let和var聲明了兩個(gè)變量。然后在代碼塊之外調(diào)用這兩個(gè)變量，結(jié)果let聲明的變量報(bào)錯(cuò)，var聲明的變量返回了正確的值。這表明，let聲明的變量只在它所在的代碼塊有效。

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

for (let i = 0; i < 10; i++) {}

console.log(i);
//ReferenceError: i is not defined

上面代碼中，計(jì)數(shù)器i只在for循環(huán)體內(nèi)有效，在循環(huán)體外引用就會(huì)報(bào)錯(cuò)。

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

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

上面代碼中，變量i是var聲明的，在全局范圍內(nèi)都有效。所以每一次循環(huán)，新的i值都會(huì)覆蓋舊值，導(dǎo)致最后輸出的是最后一輪的i的值。

如果使用let，聲明的變量?jī)H在塊級(jí)作用域內(nèi)有效，最后輸出的是6。

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

上面代碼中，變量i是let聲明的，當(dāng)前的i只在本輪循環(huán)有效，所以每一次循環(huán)的i其實(shí)都是一個(gè)新的變量，所以最后輸出的是6。

不存在變量提升

let不像var那樣會(huì)發(fā)生“變量提升”現(xiàn)象。所以，變量一定要在聲明后使用，否則報(bào)錯(cuò)。

console.log(foo); // 輸出undefined
console.log(bar); // 報(bào)錯(cuò)ReferenceError

var foo = 2;
let bar = 2;

上面代碼中，變量foo用var命令聲明，會(huì)發(fā)生變量提升，即腳本開(kāi)始運(yùn)行時(shí)，變量foo已經(jīng)存在了，但是沒(méi)有值，所以會(huì)輸出undefined。變量bar用let命令聲明，不會(huì)發(fā)生變量提升。這表示在聲明它之前，變量bar是不存在的，這時(shí)如果用到它，就會(huì)拋出一個(gè)錯(cuò)誤。

暫時(shí)性死區(qū)

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

var tmp = 123;

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

上面代碼中，存在全局變量tmp，但是塊級(jí)作用域內(nèi)let又聲明了一個(gè)局部變量tmp，導(dǎo)致后者綁定這個(gè)塊級(jí)作用域，所以在let聲明變量前，對(duì)tmp賦值會(huì)報(bào)錯(cuò)。

ES6明確規(guī)定，如果區(qū)塊中存在let和const命令，這個(gè)區(qū)塊對(duì)這些命令聲明的變量，從一開(kāi)始就形成了封閉作用域。凡是在聲明之前就使用這些變量，就會(huì)報(bào)錯(cuò)。

總之，在代碼塊內(nèi)，使用let命令聲明變量之前，該變量都是不可用的。這在語(yǔ)法上，稱為“暫時(shí)性死區(qū)”（temporal dead zone，簡(jiǎn)稱TDZ）。

if (true) {
 // TDZ開(kāi)始
 tmp = 'abc'; // ReferenceError
 console.log(tmp); // ReferenceError

 let tmp; // TDZ結(jié)束
 console.log(tmp); // undefined

 tmp = 123;
 console.log(tmp); // 123
}

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

“暫時(shí)性死區(qū)”也意味著typeof不再是一個(gè)百分之百安全的操作。

typeof x; // ReferenceError
let x;

上面代碼中，變量x使用let命令聲明，所以在聲明之前，都屬于x的“死區(qū)”，只要用到該變量就會(huì)報(bào)錯(cuò)。因此，typeof運(yùn)行時(shí)就會(huì)拋出一個(gè)ReferenceError。

作為比較，如果一個(gè)變量根本沒(méi)有被聲明，使用typeof反而不會(huì)報(bào)錯(cuò)。

typeof undeclared_variable // "undefined"

上面代碼中，undeclared_variable是一個(gè)不存在的變量名，結(jié)果返回“undefined”。所以，在沒(méi)有l(wèi)et之前，typeof運(yùn)算符是百分之百安全的，永遠(yuǎn)不會(huì)報(bào)錯(cuò)?，F(xiàn)在這一點(diǎn)不成立了。這樣的設(shè)計(jì)是為了讓大家養(yǎng)成良好的編程習(xí)慣，變量一定要在聲明之后使用，否則就報(bào)錯(cuò)。

有些“死區(qū)”比較隱蔽，不太容易發(fā)現(xiàn)。

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

bar(); // 報(bào)錯(cuò)

上面代碼中，調(diào)用bar函數(shù)之所以報(bào)錯(cuò)（某些實(shí)現(xiàn)可能不報(bào)錯(cuò)），是因?yàn)閰?shù)x默認(rèn)值等于另一個(gè)參數(shù)y，而此時(shí)y還沒(méi)有聲明，屬于”死區(qū)“。如果y的默認(rèn)值是x，就不會(huì)報(bào)錯(cuò)，因?yàn)榇藭r(shí)x已經(jīng)聲明了。

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

ES6規(guī)定暫時(shí)性死區(qū)和let、const語(yǔ)句不出現(xiàn)變量提升，主要是為了減少運(yùn)行時(shí)錯(cuò)誤，防止在變量聲明前就使用這個(gè)變量，從而導(dǎo)致意料之外的行為。這樣的錯(cuò)誤在ES5是很常見(jiàn)的，現(xiàn)在有了這種規(guī)定，避免此類錯(cuò)誤就很容易了。

總之，暫時(shí)性死區(qū)的本質(zhì)就是，只要一進(jìn)入當(dāng)前作用域，所要使用的變量就已經(jīng)存在了，但是不可獲取，只有等到聲明變量的那一行代碼出現(xiàn)，才可以獲取和使用該變量。

不允許重復(fù)聲明

let不允許在相同作用域內(nèi)，重復(fù)聲明同一個(gè)變量。

// 報(bào)錯(cuò)
function () {
 let a = 10;
 var a = 1;
}

// 報(bào)錯(cuò)
function () {
 let a = 10;
 let a = 1;
}

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

function func(arg) {
 let arg; // 報(bào)錯(cuò)
}

function func(arg) {
 {
  let arg; // 不報(bào)錯(cuò)
 }
}

塊級(jí)作用域

為什么需要塊級(jí)作用域？

ES5只有全局作用域和函數(shù)作用域，沒(méi)有塊級(jí)作用域，這帶來(lái)很多不合理的場(chǎng)景。

第一種場(chǎng)景，內(nèi)層變量可能會(huì)覆蓋外層變量。

var tmp = new Date();

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

f(); // undefined

上面代碼中，函數(shù)f執(zhí)行后，輸出結(jié)果為undefined，原因在于變量提升，導(dǎo)致內(nèi)層的tmp變量覆蓋了外層的tmp變量。

第二種場(chǎng)景，用來(lái)計(jì)數(shù)的循環(huán)變量泄露為全局變量。

var s = 'hello';

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

console.log(i); // 5

上面代碼中，變量i只用來(lái)控制循環(huán)，但是循環(huán)結(jié)束后，它并沒(méi)有消失，泄露成了全局變量。

ES6的塊級(jí)作用域

let實(shí)際上為JavaScript新增了塊級(jí)作用域。

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

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

ES6允許塊級(jí)作用域的任意嵌套。

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

上面代碼使用了一個(gè)五層的塊級(jí)作用域。外層作用域無(wú)法讀取內(nèi)層作用域的變量。

{{{{
 {let insane = 'Hello World'}
 console.log(insane); // 報(bào)錯(cuò)
}}}};

內(nèi)層作用域可以定義外層作用域的同名變量。

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

塊級(jí)作用域的出現(xiàn)，實(shí)際上使得獲得廣泛應(yīng)用的立即執(zhí)行函數(shù)表達(dá)式（IIFE）不再必要了。

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

// 塊級(jí)作用域?qū)懛?
{
 let tmp = ...;
 ...
}

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

函數(shù)能不能在塊級(jí)作用域之中聲明，是一個(gè)相當(dāng)令人混淆的問(wèn)題。

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

// 情況一
if (true) {
 function f() {}
}

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

上面代碼的兩種函數(shù)聲明，根據(jù)ES5的規(guī)定都是非法的。

但是，瀏覽器沒(méi)有遵守這個(gè)規(guī)定，為了兼容以前的舊代碼，還是支持在塊級(jí)作用域之中聲明函數(shù)，因此上面兩種情況實(shí)際都能運(yùn)行，不會(huì)報(bào)錯(cuò)。不過(guò)，“嚴(yán)格模式”下還是會(huì)報(bào)錯(cuò)。

// ES5嚴(yán)格模式
'use strict';
if (true) {
 function f() {}
}
// 報(bào)錯(cuò)

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

// ES6嚴(yán)格模式
'use strict';
if (true) {
 function f() {}
}
// 不報(bào)錯(cuò)

ES6 規(guī)定，塊級(jí)作用域之中，函數(shù)聲明語(yǔ)句的行為類似于let，在塊級(jí)作用域之外不可引用。

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

 f();
}());

上面代碼在 ES5 中運(yùn)行，會(huì)得到“I am inside!”，因?yàn)樵趇f內(nèi)聲明的函數(shù)f會(huì)被提升到函數(shù)頭部，實(shí)際運(yùn)行的代碼如下。

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

ES6 的運(yùn)行結(jié)果就完全不一樣了，會(huì)得到“I am outside!”。因?yàn)閴K級(jí)作用域內(nèi)聲明的函數(shù)類似于let，對(duì)作用域之外沒(méi)有影響，實(shí)際運(yùn)行的代碼如下。

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

很顯然，這種行為差異會(huì)對(duì)老代碼產(chǎn)生很大影響。為了減輕因此產(chǎn)生的不兼容問(wèn)題，ES6在附錄B里面規(guī)定，瀏覽器的實(shí)現(xiàn)可以不遵守上面的規(guī)定，有自己的行為方式。

允許在塊級(jí)作用域內(nèi)聲明函數(shù)。
函數(shù)聲明類似于var，即會(huì)提升到全局作用域或函數(shù)作用域的頭部。
同時(shí)，函數(shù)聲明還會(huì)提升到所在的塊級(jí)作用域的頭部。
注意，上面三條規(guī)則只對(duì)ES6的瀏覽器實(shí)現(xiàn)有效，其他環(huán)境的實(shí)現(xiàn)不用遵守，還是將塊級(jí)作用域的函數(shù)聲明當(dāng)作let處理。

前面那段代碼，在 Chrome 環(huán)境下運(yùn)行會(huì)報(bào)錯(cuò)。

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

 f();
}());
// Uncaught TypeError: f is not a function

上面的代碼報(bào)錯(cuò)，是因?yàn)閷?shí)際運(yùn)行的是下面的代碼。

// 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)境導(dǎo)致的行為差異太大，應(yīng)該避免在塊級(jí)作用域內(nèi)聲明函數(shù)。如果確實(shí)需要，也應(yīng)該寫成函數(shù)表達(dá)式，而不是函數(shù)聲明語(yǔ)句。

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

// 函數(shù)表達(dá)式
{
 let a = 'secret';
 let f = function () {
  return a;
 };
}

另外，還有一個(gè)需要注意的地方。ES6的塊級(jí)作用域允許聲明函數(shù)的規(guī)則，只在使用大括號(hào)的情況下成立，如果沒(méi)有使用大括號(hào)，就會(huì)報(bào)錯(cuò)。

// 不報(bào)錯(cuò)
'use strict';
if (true) {
 function f() {}
}

// 報(bào)錯(cuò)
'use strict';
if (true)
 function f() {}

do 表達(dá)式

本質(zhì)上，塊級(jí)作用域是一個(gè)語(yǔ)句，將多個(gè)操作封裝在一起，沒(méi)有返回值。

{
 let t = f();
 t = t * t + 1;
}

上面代碼中，塊級(jí)作用域?qū)蓚€(gè)語(yǔ)句封裝在一起。但是，在塊級(jí)作用域以外，沒(méi)有辦法得到t的值，因?yàn)閴K級(jí)作用域不返回值，除非t是全局變量。

現(xiàn)在有一個(gè)提案，使得塊級(jí)作用域可以變?yōu)楸磉_(dá)式，也就是說(shuō)可以返回值，辦法就是在塊級(jí)作用域之前加上do，使它變?yōu)閐o表達(dá)式。

let x = do {
 let t = f();
 t * t + 1;
};

上面代碼中，變量x會(huì)得到整個(gè)塊級(jí)作用域的返回值。

JavaScript ES6 的 let 和 var 的比較

在javascript 1.7中， let 關(guān)鍵詞被添加進(jìn)來(lái)， 我聽(tīng)說(shuō)它聲明之后類似于”本地變量“， 但是我仍然不確定它和 關(guān)鍵詞 var 的具體區(qū)別。

回答：
不同點(diǎn)在于作用域， var關(guān)鍵詞的作用域是最近的函數(shù)作用域（如果在函數(shù)體的外部就是全局作用域）， let 關(guān)鍵詞的作用域是最接近的塊作用域（如果在任何塊意外就是全局作用域），這將會(huì)比函數(shù)作用域更小。
同樣， 像var 一樣， 使用let 聲明的變量也會(huì)在其被聲明的地方之前可見(jiàn)。

下面是Demo 例子。

全局（Global）

當(dāng)在函數(shù)體之外它們是平等的。

let me = 'go'; //globally scoped 
var i = 'able'; //globally scoped 

函數(shù)（Function）
當(dāng)瞎下面這種， 也是平等的。

function ingWithinEstablishedParameters() { 
  let terOfRecommendation = 'awesome worker!'; //function block scoped 
  var sityCheerleading = 'go!'; //function block scoped 
}; 

塊（Block）
這是不同點(diǎn)， let 只是在 for 循環(huán)中， var 卻是在整個(gè)函數(shù)都是可見(jiàn)的。

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 
}; 

最新評(píng)論