let和const
let命令
let用法類似var,但是所聲明的變涼未荒,只在let命令所在的代碼塊內有效
{
let arr = 3
var arr0 = 9
}
console.log(arr) //ReferenceError: arr is not defined
console.log(arr0) //9
for循環(huán)的計數(shù)器狞甚,很適合let命令
for(let i=0; i<10; i++){
console.log(i)
}
console.log(i) //ReferenceError: i is not defined
另外等曼,for循環(huán)還有一個特別之處,就是設置循環(huán)變量的那部分是一個父作用域损离,而循環(huán)體內部是一個單獨的子作用域哥艇。
for (let i = 0; i < 3; i++) {
let i = 'abc';
console.log(i);
}
// abc
// abc
// abc
不存在變量提升
var命令會發(fā)生”變量提升“現(xiàn)象,即變量可以在聲明之前使用僻澎,值為undefined貌踏。這種現(xiàn)象多多少少是有些奇怪的十饥,按照一般的邏輯,變量應該在聲明語句之后才可以使用祖乳。
為了糾正這種現(xiàn)象逗堵,let命令改變了語法行為,它所聲明的變量一定要在聲明后使用凡资,否則報錯砸捏。
// var 的情況
console.log(foo); // 輸出undefined
var foo = 2;
// let 的情況
console.log(bar); // 報錯ReferenceError
let bar = 2;
暫時性死區(qū)
只要塊級作用域內存在let命令,它所聲明的變量就“綁定”(binding)這個區(qū)域隙赁,不再受外部的影響垦藏。
ES6明確規(guī)定,如果區(qū)塊中存在let和const命令伞访,這個區(qū)塊對這些命令聲明的變量掂骏,從一開始就形成了封閉作用域。凡是在聲明之前就使用這些變量厚掷,就會報錯弟灼。
總之,在代碼塊內冒黑,使用let命令聲明變量之前田绑,該變量都是不可用的。這在語法上抡爹,稱為“暫時性死區(qū)”(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的“死區(qū)”。
“暫時性死區(qū)”也意味著typeof不再是一個百分之百安全的操作泵殴。
下面的代碼也會報錯涮帘,與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)變量提升默责,主要是為了減少運行時錯誤贬循,防止在變量聲明前就使用這個變量,從而導致意料之外的行為桃序。這樣的錯誤在 ES5 是很常見的杖虾,現(xiàn)在有了這種規(guī)定,避免此類錯誤就很容易了媒熊。
總之奇适,暫時性死區(qū)的本質就是,只要一進入當前作用域芦鳍,所要使用的變量就已經存在了嚷往,但是不可獲取,只有等到聲明變量的那一行代碼出現(xiàn)柠衅,才可以獲取和使用該變量皮仁。
不允許重復聲明
let不允許在相同作用域內,重復聲明同一個變量菲宴。
// 報錯
function func() {
let a = 10;
var a = 1;
}
// 報錯
function func() {
let a = 10;
let a = 1;
}
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ù)聲明
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();
}());
do表達式
本質上,塊級作用域是一個語句胎署,將多個操作封裝在一起吆录,沒有返回值。
{
let t = f();
t = t * t + 1;
}
上面代碼中琼牧,塊級作用域將兩個語句封裝在一起恢筝。但是哀卫,在塊級作用域以外,沒有辦法得到t的值撬槽,因為塊級作用域不返回值此改,除非t是全局變量。
現(xiàn)在有一個提案侄柔,使得塊級作用域可以變?yōu)楸磉_式共啃,也就是說可以返回值,辦法就是在塊級作用域之前加上do暂题,使它變?yōu)閐o表達式移剪。
let x = do {
let t = f();
t * t + 1;
};
上面代碼中,變量x會得到整個塊級作用域的返回值薪者。
const命令
基本用法
const聲明一個只讀的常量挂滓。一旦聲明,常量的值就不能改變啸胧。
const arr = 3.5
arr // 3.5
arr = 4
// TypeError: Assignment to constant variable.
上面代碼表明改變常量的值會報錯赶站。
const聲明的變量不得改變值,這意味著纺念,const一旦聲明變量贝椿,就必須立即初始化,不能留到以后賦值陷谱。
const foo;
// SyntaxError: Missing initializer in const declaration
上面代碼表示烙博,對于const來說,只聲明不賦值烟逊,就會報錯渣窜。
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;
}
上面代碼在常量MAX聲明之前就調用访雪,結果報錯详瑞。
const聲明的常量,也與let一樣不可重復聲明臣缀。
var message = "Hello!";
let age = 25;
// 以下兩行都會報錯
const message = "Goodbye!";
const age = 30;
本質
const實際上保證的坝橡,并不是變量的值不得改動,而是變量指向的那個內存地址不得改動精置。對于簡單類型的數(shù)據(jù)(數(shù)值计寇、字符串、布爾值),值就保存在變量指向的那個內存地址番宁,因此等同于常量蹲堂。但對于復合類型的數(shù)據(jù)(主要是對象和數(shù)組),變量指向的內存地址贝淤,保存的只是一個指針柒竞,const只能保證這個指針是固定的,至于它指向的數(shù)據(jù)結構是不是可變的播聪,就完全不能控制了朽基。因此,將一個對象聲明為常量必須非常小心离陶。
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,就會報錯藕咏。
如果真的想將對象凍結状知,應該使用Object.freeze方法。
const foo = Object.freeze({});
// 常規(guī)模式時孽查,下面一行不起作用饥悴;
// 嚴格模式時,該行會報錯
foo.prop = 123;
上面代碼中卦碾,常量foo指向一個凍結的對象铺坞,所以添加新屬性不起作用起宽,嚴格模式時還會報錯洲胖。
除了將對象本身凍結,對象的屬性也應該凍結坯沪。下面是一個將對象徹底凍結的函數(shù)绿映。
var constantize = (obj) => {
Object.freeze(obj);
Object.keys(obj).forEach( (key, i) => {
if ( typeof obj[key] === 'object' ) {
constantize( obj[key] );
}
});
};