開篇致敬:阮一峰
let
基本用法
ES6 新增了let
命令户辫,用來聲明變量渐夸。它的用法類似于var
,但是所聲明的變量渔欢,只在let
命令所在的代碼塊內(nèi)有效墓塌。
{
let a = 10;
var b = 1;
}
a // ReferenceError: a is not defined.
b // 1
上面代碼在代碼塊之中,分別用let
和var
聲明了兩個變量奥额。然后在代碼塊之外調(diào)用這兩個變量苫幢,結(jié)果let
聲明的變量報錯,var
聲明的變量返回了正確的值垫挨。這表明韩肝,let
聲明的變量只在它所在的代碼塊有效。
for
循環(huán)的計數(shù)器九榔,就很合適使用let
命令哀峻。
for (let i = 0; i < 10; i++) {
// ...
}
console.log(i);
// ReferenceError: i is not defined
上面代碼中,計數(shù)器i
只在for
循環(huán)體內(nèi)有效哲泊,在循環(huán)體外引用就會報錯剩蟀。
下面的代碼如果使用var
,最后輸出的是10
切威。
var a = [];
for (var i = 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。
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
朗徊。你可能會問首妖,如果每一輪循環(huán)的變量i
都是重新聲明的,那它怎么知道上一輪循環(huán)的值爷恳,從而計算出本輪循環(huán)的值有缆?這是因為 JavaScript 引擎內(nèi)部會記住上一輪循環(huán)的值,初始化本輪的變量i
時温亲,就在上一輪循環(huán)的基礎上進行計算棚壁。
另外,for
循環(huán)還有一個特別之處栈虚,就是設置循環(huán)變量的那部分是一個父作用域袖外,而循環(huán)體內(nèi)部是一個單獨的子作用域。
for (let i = 0; i < 3; i++) {
let i = 'abc';
console.log(i);
}
// abc
// abc
// abc
上面代碼正確運行魂务,輸出了 3 次abc
曼验。這表明函數(shù)內(nèi)部的變量i
與循環(huán)變量i
不在同一個作用域,有各自單獨的作用域头镊。
不存在變量提升
var
命令會發(fā)生“變量提升”現(xiàn)象蚣驼,即變量可以在聲明之前使用,值為undefined
相艇。颖杏。
let
命令改變了語法行為,它所聲明的變量一定要在聲明后使用坛芽,否則報錯留储。
// var 的情況
console.log(foo); // 輸出undefined
var foo = 2;
// let 的情況
console.log(bar); // 報錯ReferenceError
let bar = 2;
??上面代碼中,變量foo
用var
命令聲明咙轩,會發(fā)生變量提升获讳,即腳本開始運行時,變量foo
已經(jīng)存在了活喊,但是沒有值丐膝,所以會輸出undefined
。變量bar
用let
命令聲明钾菊,不會發(fā)生變量提升帅矗。這表示在聲明它之前,變量bar
是不存在的煞烫,這時如果用到它浑此,就會拋出一個錯誤。
暫時性死區(qū)(temporal dead zone滞详,簡稱 TDZ)
只要塊級作用域內(nèi)存在let
命令凛俱,它所聲明的變量就“綁定”(binding)這個區(qū)域紊馏,不再受外部的影響。
var tmp = 123;
if (true) {
tmp = 'abc'; // ReferenceError
let tmp;
}
??上面代碼中蒲犬,存在全局變量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'; // ReferenceError
console.log(tmp); // ReferenceError
let tmp; // TDZ結(jié)束
console.log(tmp); // undefined
tmp = 123;
console.log(tmp); // 123
}
上面代碼中,在
let
命令聲明變量tmp
之前牛隅,都屬于變量tmp
的“死區(qū)”炕柔。
“暫時性死區(qū)”也意味著typeof
不再是一個百分之百安全的操作。
typeof x; // ReferenceError
let x;
??上面代碼中媒佣,變量x
使用let
命令聲明匕累,所以在聲明之前,都屬于x
的“死區(qū)”默伍,只要用到該變量就會報錯欢嘿。因此,typeof
運行時就會拋出一個ReferenceError
也糊。
作為比較炼蹦,如果一個變量根本沒有被聲明,使用typeof
反而不會報錯显设。
typeof undeclared_variable // "undefined"
上面代碼中框弛,undeclared_variable
是一個不存在的變量名辛辨,結(jié)果返回“undefined”捕捂。
有些“死區(qū)”比較隱蔽瑟枫,不太容易發(fā)現(xiàn)。
function bar(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)聲明了架馋。
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ū)的本質(zhì):
??只要一進入當前作用域系吩,所要使用的變量就已經(jīng)存在了,但是不可獲取妒蔚,只有等到聲明變量的那一行代碼出現(xiàn)穿挨,才可以獲取和使用該變量。
不允許重復聲明
let
不允許在相同作用域內(nèi)肴盏,重復聲明同一個變量科盛。
// 報錯
function func() {
let a = 10;
var a = 1;
}
// 報錯
function func() {
let a = 10;
let a = 1;
}
因此,不能在函數(shù)內(nèi)部重新聲明參數(shù)菜皂。
function func(arg) {
let arg;
}
func() // 報錯
function func(arg) {
{
let arg;
}
}
func() // 不報錯
塊級作用域
為什么需要塊級作用域贞绵?
ES5 只有全局作用域和函數(shù)作用域,沒有塊級作用域恍飘,這帶來很多不合理的場景榨崩。
- 第一種場景谴垫,內(nèi)層變量可能會覆蓋外層變量。
var tmp = new Date();
function f() {
console.log(tmp);
if (false) {
var tmp = 'hello world';
}
}
f(); // undefined
??上面代碼的原意是母蛛,if
代碼塊的外部使用外層的tmp
變量翩剪,內(nèi)部使用內(nèi)層的tmp
變量。但是彩郊,函數(shù)f
執(zhí)行后前弯,輸出結(jié)果為undefined
,原因在于變量提升秫逝,導致內(nèi)層的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)結(jié)束后前方,它并沒有消失狈醉,泄露成了全局變量。
ES6 的塊級作用域
let
實際上為 JavaScript 新增了塊級作用域惠险。
function f1() {
let n = 5;
if (true) {
let n = 10;
}
console.log(n); // 5
}
??上面的函數(shù)有兩個代碼塊苗傅,都聲明了變量n
,運行后輸出 5班巩。這表示外層代碼塊不受內(nèi)層代碼塊的影響渣慕。如果兩次都使用var
定義變量n
,最后輸出的值才是 10抱慌。
ES6 允許塊級作用域的任意嵌套逊桦。
{
{
{
{
{
let insane = 'Hello World'
}
console.log(insane); // 報錯
}
}
}
};
上面代碼使用了一個五層的塊級作用域,每一層都是一個單獨的作用域抑进。第四層作用域無法讀取第五層作用域的內(nèi)部變量强经。
內(nèi)層作用域可以定義外層作用域的同名變量。
{
{
{
{
let insane = 'Hello World';
{
let insane = 'Hello World'
}
}
}
}
};
塊級作用域的出現(xiàn)寺渗,實際上使得獲得廣泛應用的匿名立即執(zhí)行函數(shù)表達式(匿名 IIFE)不再必要了匿情。
// IIFE 寫法
(function () {
var tmp = ...;
...
}());
// 塊級作用域?qū)懛?{
let tmp = ...;
...
}
塊級作用域與函數(shù)聲明
函數(shù)能不能在塊級作用域之中聲明?這是一個相當令人混淆的問題信殊。
ES5 規(guī)定炬称,函數(shù)只能在頂層作用域和函數(shù)作用域之中聲明,不能在塊級作用域聲明涡拘。
// 情況一
if (true) {
function f() {}
}
// 情況二
try {
function f() {}
} catch(e) {
// ...
}
上面兩種函數(shù)聲明玲躯,根據(jù) ES5 的規(guī)定都是非法的。
但是,瀏覽器沒有遵守這個規(guī)定跷车,為了兼容以前的舊代碼晋控,還是支持在塊級作用域之中聲明函數(shù),因此上面兩種情況實際都能運行姓赤,不會報錯。
ES6 引入了塊級作用域仲吏,明確允許在塊級作用域之中聲明函數(shù)不铆。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
內(nèi)聲明的函數(shù)f
會被提升到函數(shù)頭部,實際運行的代碼如下成畦。
// ES5 環(huán)境
function f() { console.log('I am outside!'); }
(function () {
function f() { console.log('I am inside!'); }
if (false) {
}
f();
}());
ES6 就完全不一樣了距芬,理論上會得到“I am outside!”。因為塊級作用域內(nèi)聲明的函數(shù)類似于let
循帐,對作用域之外沒有影響框仔。但是,如果你真的在 ES6 瀏覽器中運行一下上面的代碼拄养,是會報錯的离斩,這是為什么呢?
// 瀏覽器的 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 瀏覽器中瘪匿,都會報錯跛梗。
??原來,如果改變了塊級作用域內(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)境
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)境導致的行為差異太大丹拯,應該避免在塊級作用域內(nèi)聲明函數(shù)。如果確實需要荸恕,也應該寫成函數(shù)表達式乖酬,而不是函數(shù)聲明語句。
// 塊級作用域內(nèi)部的函數(shù)聲明語句融求,建議不要使用
{
let a = 'secret';
function f() {
return a;
}
}
// 塊級作用域內(nèi)部咬像,優(yōu)先使用函數(shù)表達式
{
let a = 'secret';
let f = function () {
return a;
};
}
??另外,還有一個需要注意的地方生宛。ES6 的塊級作用域必須有大括號县昂,如果沒有大括號,JavaScript 引擎就認為不存在塊級作用域陷舅。
// 第一種寫法七芭,報錯
if (true) let x = 1;
// 第二種寫法,不報錯
if (true) {
let x = 1;
}
??上面代碼中蔑赘,第一種寫法沒有大括號狸驳,所以不存在塊級作用域,而let
只能出現(xiàn)在當前作用域的頂層缩赛,所以報錯耙箍。第二種寫法有大括號,所以塊級作用域成立酥馍。
??函數(shù)聲明也是如此辩昆,嚴格模式下,函數(shù)只能聲明在當前作用域的頂層旨袒。
// 不報錯
'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
來說幢哨,只聲明不賦值,就會報錯嫂便。
const
的作用域與let
命令相同:只在聲明所在的塊級作用域內(nèi)有效捞镰。
if (true) {
const MAX = 5;
}
MAX // Uncaught ReferenceError: MAX is not defined
const
命令聲明的常量也是不提升,同樣存在暫時性死區(qū)毙替,只能在聲明的位置后面使用岸售。
if (true) {
console.log(MAX); // ReferenceError
const MAX = 5;
}
上面代碼在常量MAX
聲明之前就調(diào)用,結(jié)果報錯蔚龙。
const
聲明的常量,也與let
一樣不可重復聲明映胁。
var message = "Hello!";
let age = 25;
// 以下兩行都會報錯
const message = "Goodbye!";
const age = 30;
本質(zhì)
??const
實際上保證的木羹,并不是變量的值不得改動,而是變量指向的那個內(nèi)存地址所保存的數(shù)據(jù)不得改動解孙。對于簡單類型的數(shù)據(jù)(數(shù)值坑填、字符串、布爾值)弛姜,值就保存在變量指向的那個內(nèi)存地址脐瑰,因此等同于常量。但對于復合類型的數(shù)據(jù)(主要是對象和數(shù)組)廷臼,變量指向的內(nèi)存地址苍在,保存的只是一個指向?qū)嶋H數(shù)據(jù)的指針,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é)蛮艰,應該使用Object.freeze
方法。
const foo = Object.freeze({});
// 常規(guī)模式時雀彼,下面一行不起作用壤蚜;
// 嚴格模式時,該行會報錯
foo.prop = 123;
上面代碼中徊哑,常量foo
指向一個凍結(jié)的對象袜刷,所以添加新屬性不起作用,嚴格模式時還會報錯莺丑。
除了將對象本身凍結(jié)著蟹,對象的屬性也應該凍結(jié)。下面是一個將對象徹底凍結(jié)的函數(shù)梢莽。
var constantize = (obj) => {
Object.freeze(obj);
Object.keys(obj).forEach( (key, i) => {
if ( typeof obj[key] === 'object' ) {
constantize( obj[key] );
}
});
};
頂層對象的屬性
頂層對象萧豆,在瀏覽器環(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
??上面代碼中检眯,全局變量a
由var
命令聲明厘擂,所以它是頂層對象的屬性昆淡;全局變量b
由let
命令聲明锰瘸,所以它不是頂層對象的屬性,返回undefined
昂灵。