1.數(shù)組的解構(gòu)
基本用法
ES6 允許按照一定的模式石景,從數(shù)組和對象中獲取到值更舞,對變量進(jìn)行賦值畦幢,這叫做解構(gòu)(Destructuring)。
以前缆蝉,為變量賦值宇葱,只能直接指定值。
let a = 1;
let b = 2;
let c = 3;
ES6允許寫成下面這樣
let [a, b, c] = [1, 2, 3];
上面代碼表示刊头,可以對數(shù)組提取值黍瞧,并且在相對位置,對變量進(jìn)行賦值原杂。
本質(zhì)上印颤,這是一種“模式匹配”,只要等號兩邊的模式相同穿肄,等號左邊的變量就會被賦予相應(yīng)的值年局,下面是一些使用嵌套數(shù)組進(jìn)行解構(gòu)的例子。
let [foo, [[bar], baz]] = [1, [[2], 3]];
foo // 1
bar // 2
baz // 3
let [ , , third] = ["foo", "bar", "baz"];
third // "baz"
let [x, , y] = [1, 2, 3];
x // 1
y // 3
let [head, ...tail] = [1, 2, 3, 4];
head // 1
tail // [2, 3, 4]
let [x, y, ...z] = ['a'];
x // "a"
y // undefined
z // []
如果解構(gòu)不成功咸产,變量的值就等于undefined矢否。
let [foo] = [];
let [bar, foo] = [1];
以上兩種情況都屬于解構(gòu)不成功,那么foo就會等于undefined锐朴。
另一種情況就是不完全解構(gòu)兴喂,就是等號左邊的模式,只匹配一部分等號右邊數(shù)組焚志,這種情況解構(gòu)仍然可以完成衣迷。
let [x, y] = [1, 2, 3];
x // 1
y // 2
let [a, [b], d] = [1, [2, 3], 4];
a // 1
b // 2
d // 4
上面兩個(gè)例子,都屬于不完全解構(gòu)酱酬,但是可以成功壶谒。
這是重點(diǎn)
如果等號右邊的不是數(shù)組,(或者嚴(yán)格地說膳沽,不是可遍歷的結(jié)構(gòu)汗菜,參見《Iterator》一章),那么將會報(bào)錯(cuò)挑社。
// 報(bào)錯(cuò)
let [foo] = 1;
let [foo] = false;
let [foo] = NaN;
let [foo] = undefined;
let [foo] = null;
let [foo] = {};
上面的語句都會報(bào)錯(cuò)陨界,因?yàn)榈忍栍疫叺闹担崔D(zhuǎn)為對象以后不具備 Iterator 接口(前五個(gè)表達(dá)式)痛阻,要么本身就不具備 Iterator 接口(最后一個(gè)表達(dá)式)菌瘪。
對于 Set 結(jié)構(gòu),也可以使用數(shù)組的解構(gòu)賦值.
let [x, y, z] = new Set(['a', 'b', 'c']);
x // "a"
事實(shí)上,只要某種數(shù)據(jù)結(jié)構(gòu)具有 Iterator 接口俏扩,都可以采用數(shù)組形式的解構(gòu)賦值.
function* fibs() {
let a = 0;
let b = 1;
while (true) {
yield a;
[a, b] = [b, a + b];
}
}
let [first, second, third, fourth, fifth, sixth] = fibs();
sixth // 5
上面代碼中糜工,fibs是一個(gè) Generator 函數(shù)(參見《Generator 函數(shù)》一章),原生具有 Iterator 接口录淡。解構(gòu)賦值會依次從這個(gè)接口獲取值捌木。
默認(rèn)值
解構(gòu)賦值允許指定默認(rèn)值。
let [foo = true] = [];
foo // true
let [x, y = 'b'] = ['a']; // x='a', y='b'
let [x, y = 'b'] = ['a', undefined]; // x='a', y='b'
注意,ES6 內(nèi)部使用嚴(yán)格相等運(yùn)算符(===),判斷一個(gè)位置是否有值告唆。所以,如果一個(gè)數(shù)組成員不嚴(yán)格等于undefined崔拥,默認(rèn)值是不會生效的。
let [x = 1] = [undefined];
x // 1
let [x = 1] = [null];
x // null
上面代碼中凤覆,如果一個(gè)數(shù)組成員是null,默認(rèn)值就不會生效拆魏,因?yàn)閚ull不嚴(yán)格等于undefined盯桦。
如果默認(rèn)值是一個(gè)表達(dá)式,那么這個(gè)表達(dá)式是惰性求值的渤刃,即只有在用到的時(shí)候拥峦,才會求值。
function f() {
console.log('aaa');
}
let [x = f()] = [1];
上面代碼中卖子,因?yàn)閤能取到值略号,所以函數(shù)f根本不會執(zhí)行。上面的代碼其實(shí)等價(jià)于下面的代碼洋闽。
let x;
if ([1][0] === undefined) {
x = f();
} else {
x = [1][0];
}
默認(rèn)值可以引用解構(gòu)賦值的其他變量玄柠,但該變量必須已經(jīng)聲明。
let [x = 1, y = x] = []; // x=1; y=1
let [x = 1, y = x] = [2]; // x=2; y=2
let [x = 1, y = x] = [1, 2]; // x=1; y=2
let [x = y, y = 1] = []; // ReferenceError
上面最后一個(gè)表達(dá)式之所以會報(bào)錯(cuò)诫舅,是因?yàn)閤用到默認(rèn)值y時(shí)羽利,y還沒有聲明。
2.對象的解構(gòu)
解構(gòu)不僅可以用于數(shù)組刊懈,還可以用于對象这弧。
let { foo, bar } = { foo: "aaa", bar: "bbb" };
foo // "aaa"
bar // "bbb"
對象的解構(gòu)與數(shù)組有一個(gè)重要的不同。數(shù)組的元素是按次序排列的虚汛,變量的取值由它的位置決定匾浪;而對象的屬性沒有次序,變量必須與屬性同名卷哩,才能取到正確的值蛋辈。
let { bar, foo } = { foo: "aaa", bar: "bbb" };
foo // "aaa"
bar // "bbb"
let { baz } = { foo: "aaa", bar: "bbb" };
baz // undefined
上面代碼的第一個(gè)例子,等號左邊的兩個(gè)變量的次序殉疼,與等號右邊兩個(gè)同名屬性的次序不一致梯浪,但是對取值完全沒有影響捌年。第二個(gè)例子的變量沒有對應(yīng)的同名屬性,導(dǎo)致取不到值挂洛,最后等于undefined礼预。
如果變量名與屬性名不一致,必須寫成下面這樣虏劲。
var { foo: baz } = { foo: 'aaa', bar: 'bbb' };
baz // "aaa"
let obj = { first: 'hello', last: 'world' };
let { first: f, last: l } = obj;
f // 'hello'
l // 'world'
這實(shí)際上說明托酸,對象的解構(gòu)賦值是下面形式的簡寫(參見《對象的擴(kuò)展》一章)。
let { foo: foo, bar: bar } = { foo: "aaa", bar: "bbb" };
也就是說柒巫,對象的解構(gòu)賦值的內(nèi)部機(jī)制励堡,是先找到同名屬性,然后再賦給對應(yīng)的變量堡掏。真正被賦值的是后者应结,而不是前者。
let { foo: baz } = { foo: "aaa", bar: "bbb" };
baz // "aaa"
foo // error: foo is not defined
上面代碼中泉唁,foo是匹配的模式鹅龄,baz才是變量。真正被賦值的是變量baz亭畜,而不是模式foo扮休。
注意,采用這種寫法時(shí)拴鸵,變量的聲明和賦值是一體的玷坠。對于let和const來說,變量不能重新聲明劲藐,所以一旦賦值的變量以前聲明過八堡,就會報(bào)錯(cuò)。
let foo;
let {foo} = {foo: 1}; // SyntaxError: Duplicate declaration "foo"
let baz;
let {bar: baz} = {bar: 1}; // SyntaxError: Duplicate declaration "baz"
上面代碼中瘩燥,解構(gòu)賦值的變量都會重新聲明秕重,所以報(bào)錯(cuò)了。不過厉膀,因?yàn)関ar命令允許重新聲明溶耘,所以這個(gè)錯(cuò)誤只會在使用let和const命令時(shí)出現(xiàn)。如果沒有第二個(gè)let命令服鹅,上面的代碼就不會報(bào)錯(cuò)凳兵。
let foo;
({foo} = {foo: 1}); // 成功
let baz;
({bar: baz} = {bar: 1}); // 成功
上面代碼中,let命令下面一行的圓括號是必須的企软,否則會報(bào)錯(cuò)庐扫。因?yàn)榻馕銎鲿⑵鹗椎拇罄ㄌ枺斫獬梢粋€(gè)代碼塊,而不是賦值語句形庭。
和數(shù)組一樣铅辞,解構(gòu)也可以用于嵌套結(jié)構(gòu)的對象。
let obj = {
p: [
'Hello',
{ y: 'World' }
]
};
let { p: [x, { y }] } = obj;
x // "Hello"
y // "World"
注意萨醒,這時(shí)p是模式斟珊,不是變量,因此不會被賦值富纸。
var node = {
loc: {
start: {
line: 1,
column: 5
}
}
};
var { loc: { start: { line }} } = node;
line // 1
loc // error: loc is undefined
start // error: start is undefined
上面代碼中囤踩,只有l(wèi)ine是變量,loc和start都是模式晓褪,不會被賦值堵漱。
下面是嵌套賦值的例子。
let obj = {};
let arr = [];
({ foo: obj.prop, bar: arr[0] } = { foo: 123, bar: true });
obj // {prop:123}
arr // [true]
對象的解構(gòu)也可以指定默認(rèn)值涣仿。
var {x = 3} = {};
x // 3
var {x, y = 5} = {x: 1};
x // 1
y // 5
var {x:y = 3} = {};
y // 3
var {x:y = 3} = {x: 5};
y // 5
var { message: msg = 'Something went wrong' } = {};
msg // "Something went wrong"
默認(rèn)值生效的條件是勤庐,對象的屬性值嚴(yán)格等于undefined。
var {x = 3} = {x: undefined};
x // 3
var {x = 3} = {x: null};
x // null
上面代碼中好港,如果x屬性等于null埃元,就不嚴(yán)格相等于undefined,導(dǎo)致默認(rèn)值不會生效媚狰。
如果解構(gòu)失敗,變量的值等于undefined阔拳。
let {foo} = {bar: 'baz'};
foo // undefined
如果解構(gòu)模式是嵌套的對象崭孤,而且子對象所在的父屬性不存在,那么將會報(bào)錯(cuò)糊肠。
// 報(bào)錯(cuò)
let {foo: {bar}} = {baz: 'baz'};
上面代碼中辨宠,等號左邊對象的foo屬性,對應(yīng)一個(gè)子對象货裹。該子對象的bar屬性嗤形,解構(gòu)時(shí)會報(bào)錯(cuò)。原因很簡單弧圆,因?yàn)閒oo這時(shí)等于undefined赋兵,再取子屬性就會報(bào)錯(cuò),請看下面的代碼搔预。
let _tmp = {baz: 'baz'};
_tmp.foo.bar // 報(bào)錯(cuò)
如果要將一個(gè)已經(jīng)聲明的變量用于解構(gòu)賦值霹期,必須非常小心。
// 錯(cuò)誤的寫法
let x;
{x} = {x: 1};
// SyntaxError: syntax error
上面代碼的寫法會報(bào)錯(cuò)拯田,因?yàn)镴avaScript引擎會將{x}理解成一個(gè)代碼塊历造,從而發(fā)生語法錯(cuò)誤。只有不將大括號寫在行首,避免JavaScript將其解釋為代碼塊吭产,才能解決這個(gè)問題侣监。
// 正確的寫法
({x} = {x: 1});
上面代碼將整個(gè)解構(gòu)賦值語句,放在一個(gè)圓括號里面臣淤,就可以正確執(zhí)行橄霉。關(guān)于圓括號與解構(gòu)賦值的關(guān)系,參見下文荒典。
解構(gòu)賦值允許酪劫,等號左邊的模式之中,不放置任何變量名寺董。因此覆糟,可以寫出非常古怪的賦值表達(dá)式。
({} = [true, false]);
({} = 'abc');
({} = []);
上面的表達(dá)式雖然毫無意義遮咖,但是語法是合法的滩字,可以執(zhí)行。
對象的解構(gòu)賦值御吞,可以很方便地將現(xiàn)有對象的方法麦箍,賦值到某個(gè)變量。
let { log, sin, cos } = Math;
上面代碼將Math對象的對數(shù)陶珠、正弦挟裂、余弦三個(gè)方法,賦值到對應(yīng)的變量上揍诽,使用起來就會方便很多诀蓉。
由于數(shù)組本質(zhì)是特殊的對象,因此可以對數(shù)組進(jìn)行對象屬性的解構(gòu)暑脆。
let arr = [1, 2, 3];
let {0 : first, [arr.length - 1] : last} = arr;
first // 1
last // 3
上面代碼對數(shù)組進(jìn)行對象解構(gòu)渠啤。數(shù)組arr的0鍵對應(yīng)的值是1,[arr.length - 1]就是2鍵添吗,對應(yīng)的值是3沥曹。方括號這種寫法,屬于“屬性名表達(dá)式”碟联,參見《對象的擴(kuò)展》一章妓美。