![ES6标准入门(第3版)](https://wfqqreader-1252317822.image.myqcloud.com/cover/811/47378811/b_47378811.jpg)
第3章 变量的解构赋值
3.1 数组的解构赋值
3.1.1 基本用法
ES6 允许按照一定模式从数组和对象中提取值,然后对变量进行赋值,这被称为解构(Destructuring)。
以前,为变量赋值只能直接指定值。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/61_1.jpg?sign=1734419747-zniUuVqyELQYbMAuyHff9NEON5dIFp0C-0-2c1ffb46e3cbc29a2c0077d1582f66f3)
ES6允许写成下面这样。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/61_2.jpg?sign=1734419747-Z4v6iPORLUBxyBz2533FwBI08u0JjrNs-0-e4544e49e4572c15be4b6907bba578a8)
上面的代码表示,可以从数组中提取值,按照对应位置对变量赋值。
本质上,这种写法属于“模式匹配”,只要等号两边的模式相同,左边的变量就会被赋予对应的值。下面是一些使用嵌套数组进行解构的例子。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/61_3.jpg?sign=1734419747-4uPl9D6p3gmL9Xqr7i7YZ4rQH1d4M9ww-0-dc51213545d47a7626e0da51aa34684c)
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/62_1.jpg?sign=1734419747-u0OXqrTXWvSLal4yImqQvTGUUIiF2GEs-0-3c271a2c39bb49719bdc4134db5b3dd7)
如果解构不成功,变量的值就等于undefined。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/62_2.jpg?sign=1734419747-gYfeskBzUemZNZEDpjH1CHKm9IgZ1PJa-0-fad10fa652b255934f3732d048c597b3)
以上两种情况都属于解构不成功,foo的值都会等于undefined。
另一种情况是不完全解构,即等号左边的模式只匹配一部分的等号右边的数组。这种情况下,解构依然可以成功。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/62_3.jpg?sign=1734419747-t3nEVelUGUI1GnGH1QkvVZgulkJBRbp1-0-108643bb9cd862328cafaaf7434056b0)
上面两个例子都属于不完全解构,但是可以成功。
如果等号的右边不是数组(或者严格来说不是可遍历的结构,参见第 15 章),那么将会报错。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/62_4.jpg?sign=1734419747-DfHliQZLrlkkDywQ8mbls8cwQCzv52Xi-0-81e3aa9e0ae37aab1c13163091ca4939)
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/63_1.jpg?sign=1734419747-lqJr6HmmKoHbX9eS4XM3CdbRKGv07acp-0-b3a036152a0a98257bef25d6cbcea900)
上面的语句都会报错,因为等号右边的值或是转为对象以后不具备Iterator接口(前五个表达式),或是本身就不具备Iterator接口(最后一个表达式)。
对于Set结构,也可以使用数组的解构赋值。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/63_2.jpg?sign=1734419747-UakgtOH6QT78gYdxehUcuiYxfMoNc8qN-0-edd726a3b2049d52a19b323a5fe0e806)
事实上,只要某种数据结构具有Iterator接口,都可以采用数组形式的解构赋值。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/63_3.jpg?sign=1734419747-BnE1eI2wdPZOCbOFLwKosGDmlRiYw4Q7-0-fec71fa8c9b24b6c80420c88a3cbc92e)
上面的代码中,fibs是一个Generator函数(参见第16章),原生具有Iterator接口。解构赋值会依次从这个接口中获取值。
3.1.2 默认值
解构赋值允许指定默认值。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/63_4.jpg?sign=1734419747-Y1d9FY5jG0QTuX8oy2edylT30qP3MO0R-0-d5bb7ee4f713dfa22499fa4e1701439b)
注意!
ES6内部使用严格相等运算符(===)判断一个位置是否有值。所以,如果一个数组成员不严格等于undefined,默认值是不会生效的。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/64_1.jpg?sign=1734419747-HkrsDUQ3YL6wnEFSPNrura0zZrhp6Ro6-0-d56217d52f952407ce6beb325404777a)
上面的代码中,如果一个数组成员是 null,默认值就不会生效,因为 null 不严格等于undefined。
如果默认值是一个表达式,那么这个表达式是惰性求值的,即只有在用到时才会求值。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/64_2.jpg?sign=1734419747-hVMbWVMVV6xAZhKmv9ZfocR0II272WoS-0-9d0c9977d23dacefab29d158348e7f64)
上面的代码中,因为x能取到值,所以函数f根本不会执行。上面的代码其实等价于下面的代码。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/64_3.jpg?sign=1734419747-IR65rfILSVXoCGZfOWFyix8XKBvASKCP-0-7570dc065e6a5ad89488ab9f7bf06e12)
默认值可以引用解构赋值的其他变量,但该变量必须已经声明。
![](https://epubservercos.yuewen.com/F720A1/26763854109471806/epubprivate/OEBPS/Images/64_4.jpg?sign=1734419747-W9lJ5t7oRqmnohYU0EUk2VdImAfOzA15-0-4e14d992cfa7022819b962b45306f2a2)
上面最后一个表达式之所以会报错,是因为x用到默认值y时,y还没有声明。