数组的解构赋值
ES6允许按照一定模式,从数组和对象中提取值,对变量进行赋值,这被称为解构(Destructuring)
var [a, b, c] = [1, 2, 3];
这种写法属于“模式匹配”,只要等号两边的模式相同,左边的变量就会被赋予对应的值。
下面是一些使用嵌套数组进行解构的例子
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 // []
如果解构不成功,变量的值就等于 undefined
foo 的值都会等于 undefined
var [foo] = []; var [bar, foo] = [1];
不完全解构即等号左边的模式,只匹配一部分的等号右边的数组
let [x, y] = [1, 2, 3]; x // 1 y // 2 let [a, [b], d] = [1, [2, 3], 4]; a // 1 b // 2 d // 4
如果等号的右边不是数组,那么将会报错。
// 报错let [foo] = 1; let [foo] = false; let [foo] = NaN; let [foo] = undefined; let [foo] = null; let [foo] = {};
解构赋值不仅适用于var命令,也适用于let和const命令
var [v1, v2, ..., vN ] = array; let [v1, v2, ..., vN ] = array; const [v1, v2, ..., vN ] = array;
对于Set结构,也可以使用数组的解构赋值。
let [x, y, z] = new Set(["a", "b", "c"]); x // "a"
只要某种数据结构具有Iterator接口,都可以采用数组形式的解构赋值
function* fibs() { var a = 0; var b = 1; while (true) { yield a; [a, b] = [b, a + b]; } } var [first, second, third, fourth, fifth, sixth] = fibs(); sixth // 5
fibs 是一个Generator函数,原生具有Iterator接口。解构赋值会依次从这个接口获取值
解构赋值允许指定默认值。
var [foo = true] = []; foo // true [x, y = 'b'] = ['a']; // x='a', y='b' [x, y = 'b'] = ['a', undefined]; // x='a', y='b'
ES6内部使用严格相等运算符( === ),判断一个位置是否有值。所以,如果一个数组成员不严格等于 undefined ,默认值是不会生效的。
var [x = 1] = [undefined]; x // 1 var [x = 1] = [null]; x // null
如果一个数组成员是 null ,默认值就不会生效,因为 null 不严格等于 undefined
function f() { console.log('aaa'); } let [x = f()] = [1]; //等价于 let x; if ([1][0] === undefined) { x = f(); } else { x = [1][0]; }
如果默认值是一个表达式,那么这个表达式是惰性求值的,即只有在用到的时候,才会求值
默认值可以引用解构赋值的其他变量,但该变量必须已经声明
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
是因为 x 用到默认值 y 时, y 还没有声明
对象的解构赋值
var { foo, bar } = { foo: "aaa", bar: "bbb" }; foo // "aaa" bar // "bbb"
数组的元素是按次序排列的,变量的取值由它的位置决定;而对象的属性没有次序,变量必须与属性同名,才能取到正确的值
var { bar, foo } = { foo: "aaa", bar: "bbb" }; foo // "aaa" bar // "bbb" var { baz } = { foo: "aaa", bar: "bbb" }; baz // undefined
实际上,对象的解构赋值是下面形式的简写
var { foo: foo, bar: bar } = { foo: "aaa", bar: "bbb" };
对象的解构赋值的内部机制,是先找到同名属性,然后再赋给对应的变量。真正被赋值的是后者,而不是前者
var { foo: baz } = { foo: "aaa", bar: "bbb" }; baz // "aaa" foo // error: foo is not defined
上面代码中,真正被赋值的是变量 baz ,而不是模式 foo
变量的声明和赋值是一体的。对于let和const来说,变量不能重新声明,所以一旦赋值的变量以前声明
过,就会报错
let foo; let {foo} = {foo: 1}; // SyntaxError: Duplicate declaration "foo" let baz; let {bar: baz} = {bar: 1}; // SyntaxError: Duplicate declaration "baz"
因为 var 命令允许重新声明,所以这个错误只会在使用 let 和 const 命令时出现。如果没有第二个let命令,上面的代码就不会报错
let foo; ({foo} = {foo: 1}); // 成功 let baz; ({bar: baz} = {bar: 1}); // 成功
和数组一样,解构也可以用于嵌套结构的对象
var obj = { p: [ "Hello", { y: "World" } ] }; var { p: [x, { y }] } = obj; x // "Hello" y // "World"
这时 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
只有 line 是变量, loc 和 start 都是模式,不会被赋值
嵌套赋值的例子。
let obj = {}; let arr = []; ({ foo: obj.prop, bar: arr[0] } = { foo: 123, bar: true }); obj // {prop:123} arr // [true]
对象的解构也指定默认值
var {x = 3} = {}; x // 3 var {x, y = 5} = {x: 1}; x // 1 y // 5 var { message: msg = "Something went wrong" } = {}; msg // "Something went wrong"
默认值生效的条件是,对象的属性值严格等于 undefined
var {x = 3} = {x: undefined}; x // 3 var {x = 3} = {x: null}; x // null
如果解构失败,变量的值等于 undefined
var {foo} = {bar: 'baz'}; foo // undefined
解构模式是嵌套的对象,而且子对象所在的父属性不存在,那么将会报错
// 报错 var {foo: {bar}} = {baz: 'baz'};
等号左边对象的 foo 属性,对应一个子对象。该子对象的 bar 属性,解构时会报错。因为 foo 这时等于 undefined ,再取子属性就会报错
要将一个已经声明的变量用于解构赋值,必须非常小心
// 错误的写法 var x; {x} = {x: 1}; // SyntaxError: syntax error // 正确的写法 ({x} = {x: 1});
因为JavaScript引擎会将 {x} 理解成一个代码块,从而发生语法错误。只有不将大括号写在行首,避免JavaScript将其解释为代码块,才能解决这个问题
对象的解构赋值,可以很方便地将现有对象的方法,赋值到某个变量
let { log, sin, cos } = Math;
将 Math 对象的对数、正弦、余弦三个方法,赋值到对应的变量上,使用起来就会方便很多
字符串的解构赋值
字符串也可以解构赋值。此时字符串被转换成了一个类似数组的对象
const [a, b, c, d, e] = 'hello'; a // "h" b // "e" c // "l" d // "l" e // "o"
类似数组的对象都有一个 length 属性,因此还可以对这个属性解构赋值
let {length : len} = 'hello'; len // 5
数值和布尔值的解构赋值
解构赋值时,如果等号右边是数值和布尔值,则会先转为对象
let {toString: s} = 123; s === Number.prototype.toString // true let {toString: s} = true; s === Boolean.prototype.toString // true
数值和布尔值的包装对象都有 toString 属性,因此变量 s 都能取到值
解构赋值的规则是,只要等号右边的值不是对象,就先将其转为对象。由于 undefined 和 null 无法转为对象,所以对它们进行解构赋值,都会报错。
let { prop: x } = undefined; // TypeError let { prop: y } = null; // TypeError
函数参数的解构赋值
function add([x, y]){ return x + y; } add([1, 2]); // 3
函数参数的解构也可以使用默认值
function move({x = 0, y = 0} = {}) { return [x, y]; } move({x: 3, y: 8}); // [3, 8] move({x: 3}); // [3, 0] move({}); // [0, 0] move(); // [0, 0]
函数 move 的参数是一个对象,通过对这个对象进行解构,得到变量 x 和 y 的值。如果解构失败, x 和 y 等于默认值
function move({x, y} = { x: 0, y: 0 }) { return [x, y]; } move({x: 3, y: 8}); // [3, 8] move({x: 3}); // [3, undefined] move({}); // [undefined, undefined] move(); // [0, 0]
是为函数 move 的参数指定默认值,而不是为变量 x 和 y 指定默认值,所以会得到与前一种写法不同的结果。undefined 就会触发函数参数的默认值
圆括号问题