1.数组的结构赋值

---

基本用法

ES6 允许按照一定模式，从数组和对象中提取值，对现量进行复制，这被称为结构(Destructuring)。

以前，为变量赋值，只能直接指定值。

let a = 1;

let b = 2;

let c = 3;

ES6 允许写成下面这样

let [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 。

let [foo] = [];

let [bar , foo] = [1]

以上两中情况都属于结构不成功，foo 的值都会等于 undefined；

另一种情况是不完全解构，即等号左边的模式，只匹配一部分的等号右边的数组。这种情况下，解构依然可以成功。

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=true]=[];

foo // true

let [x,y='b']=['a'];  // x='a', y='b'

let [x,y='b']=['a',undefined];  // x='a', y='b'

注意：ES6 内部使用严格的相等运算符(===) ，判断一个位置是否有值。所以，只有当一个数组成员严格等于 undefined ，默认值参会生效。

let [x = 1] = [undefined];

x  // 1

let [x=1]=[null];

x  // null;

上面代码中，如果一个数组成员null，默认值就不会生效，因为 null 不严格等于 undefined 。

如果默认值是一个表达式，那么这个表达式是惰性求值的，级只有在用到的时候，才会求值。

functionf () {

     console.log('aaa');

}

let [x=f()]=[1];

上面代码中，因为 x 能取到值，所以函数 f 根本不会执行。

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: y is not defined

上面最后一个表达式之所以报错，是因为 x 用 y 做默认值，y 还没有声明。

2.对象的解构赋值

结构不仅可以用于数组，还可以用于对象。

let { foo , bar } = { foo:"aaa" , bar:"bbb" };

foo // "aaa"

bar // "bbb"

对象的解构与数组有一个重要的不同。数组的元素是按次序排列的，变量的取值由它的位置决定；而对象的属性没有次序，变量必须与属性同名，才能取到正确的值。

let {bar,foo}={foo:"aaa",bar:"bbb"};

foo  // "aaa"

bar  // "bbb"

let {baz}={foo:"aaa",bar:"bbb"};

baz // undefined

上面代码的第一个例子，等号左边的两个变量的次序，与等号右边两个同名属性的次序不一致，但是对取值完全没有影响。第二个例子的变量没有对应的同名属性，导致取不到值，最后等于undefined。

如果变量名与属性名不一致，必须写成下面这样。

let { foo:baz } = { foo:"aaa" , bar: 'bbb" };

baz //"aaa"

let obj = { first: "hello" , last : "world" }

let { first: f , last: 1 } = obj;

f // "hello"

l // 'world'

对象的解构赋值的内部机制，是先找到同名属性，然后再赋给对应的变量。真正被赋值的是后者，而不是前者。

let    {foo:baz}={foo:"aaa",bar:"bbb"};

baz // "aaa"

foo // error: foo is not defined

上面代码中，foo 是匹配的模式 ， baz 才是变量。 真正被复制的是变量 baz，而不是模式 foo。

与数组一样，结构也可以用于嵌套结构对象。

let  obj={p:['Hello',{y:'World'}]};

let{p:[x,{y}]}=obj;

x // "Hello"

y // "World"

注意，这时p是模式，不是变量，因此不会被赋值。如果p也要作为变量赋值，可以写成下面这样

let    obj={

    p:['

        Hello',

            {y:'World'}

        ]

};

let    {p,p:[x,{y}]}=obj;

x // "Hello"

y // "World"

p // ["Hello", {y: "World"}]

下面是另一个例子。

const node={

       loc:{

            start:{

                    line:1,

                    column:5

                }

            }

      };

let    {loc,loc:{start},loc:{start:{line}}}=node;

line // 1

loc // Object {start: Object}

start // Object {line: 1, column: 5}

上面代码有三次解构赋值，分别是对loc、start、line三个属性的解构赋值。注意，最后一次对line属性的解构赋值之中，只有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{x:y=3}={};

y // 3

var{x:y=3}={x:5};

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

上面代码中，属性x等于null，因为null 与 undefined 不严格相等，所以是有个有效的赋值，导致默认值 3 不会生效。

如果解构失败，变量的值等于 undefined

let{foo}={bar:'baz'};

foo//undefined

如果解构模式是嵌套的对象，而且子对象所在的父属性不存在，那么将会报错。

// 报错

let{foo:{bar}}={baz:'baz'};

上面代码中，等号左边对象的foo属性，对应一个子对象。该子对象的bar属性，解构时会报错。原因很简单，因为foo这时等于undefined，再取子属性就会报错，请看下面的代码。

let_tmp={baz:'baz'};

_tmp.foo.bar // 报错

如果要将一个已经声明的变量用于解构赋值，必须非常小心。

// 错误的写法letx;{x}={x:1};/

/ SyntaxError: syntax error

上面代码的写法会报错，因为 JavaScript 引擎会将{x}理解成一个代码块，从而发生语法错误。只有不将大括号写在行首，避免 JavaScript 将其解释为代码块，才能解决这个问题。

// 正确的写法

let  x；

（{x} = {x:1});

上面代码将整个解构赋值语句，放在一个圆括号里面，就可以正确执行。关于圆括号与解构赋值的关系

3.字符串的解构赋值

字符串也可以结构赋值。正式因为此时，字符串被转换成了一个类似数组的对象。

const[a,b,c,d,e]='hello';

a // "h"

b // "e"

c // "l"

d // "l"

e // "o"

类似数组的对象都有一个length属性，因此还可以对这个属性解构赋值。

let{length:len}='hello';

len // 5

4.数值和布尔值的解构赋值

解构赋值时，如果等号右边是数值和布尔值， 则会先转为对象。

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

5.函数参数的解构赋值

函数的参数也可以使用解构赋值

function    add([x,y]){

    returnx+y;

}

add([1,2]); // 3

上面代码中，函数add的参数表面上是一个数组，但在传入参数的那一刻，数组参数就被解构成变量x和y。对于函数内部的代码来说，它们能感受到的参数就是x和y

函数参数的解构也可以使用默认值。

6.圆括号问题

解构赋值虽然很方便，但是解析起来并不容易。对于编译器来说，一个式子到底是模式，还是表达式，没有办法从一开始就知道，必须解析到（或解析不到）等号才能知道。

由此带来的问题是，如果模式中出现圆括号怎么处理。ES6 的规则是，只要有可能导致解构的歧义，就不得使用圆括号。

但是，这条规则实际上不那么容易辨别，处理起来相当麻烦。因此，建议只要有可能，就不要在模式中放置圆括号。

不能使用圆括号的情况

以下三种解构赋值不得使用圆括号。

（1）变量声明语句

（2）函数参数

函数参数也属于变量声明，因此不能带有圆括号。

（3）赋值语句的模式

可以使用圆括号的情况

可以使用圆括号的情况只有一种：赋值语句的非模式部分，可以使用圆括号。

7.用途

变量的解构赋值用途很多。

（1）交换变量的值

letx=1;

lety=2;

[x,y]=[y,x];

（2）从函数返回多个值

函数只能返回一个值，如果要返回多个值，只能将它们放在数组或对象里返回。有了解构赋值，取出这些值就非常方便。

// 返回一个数组

function    example(){

        return[1,2,3];

}

let[a,b,c]=example();

// 返回一个对象

functionexample(){return{foo:1,bar:2};}

let{foo,bar}=example();

（3）函数参数的定义

解构赋值可以方便地将一组参数与变量名对应起来。

// 参数是一组有次序的值

function    f([x,y,z]){...}

f([1,2,3]);

// 参数是一组无次序的值

functionf({x,y,z}){...}

f({z:3,y:2,x:1});

（4）提取 JSON 数据

解构赋值对提取 JSON 对象中的数据，尤其有用。

let    jsonData={

        id:42,

        status:"OK",

        data:[867,5309]

};

let    {id,status,data:number}    =    jsonData;

console.log(id,status,number);// 42, "OK", [867, 5309]

（7）输入模块的指定方法

加载模块时，往往需要指定输入哪些方法。解构赋值使得输入语句非常清晰。

const{SourceMapConsumer,SourceNode}=require("source-map");