扩展运算符
扩展运算符(spread)是三个点(...
)。它好比 rest 参数的逆运算,将一个数组转为用逗号分隔的参数序列。
1 console.log(...[1, 2, 3]) 2 // 1 2 3 3 4 console.log(1, ...[2, 3, 4], 5) 5 // 1 2 3 4 5 6 7 [...document.querySelectorAll('div')] 8 // [<div>, <div>, <div>]
该运算符主要用于函数调用
1 function push(array, ...items) { 2 array.push(...items); 3 } 4 5 function add(x, y) { 6 return x + y; 7 } 8 9 const numbers = [4, 38]; 10 add(...numbers) // 42
上面代码中,array.push(...items)
和add(...numbers)
这两行,都是函数的调用,它们的都使用了扩展运算符。该运算符将一个数组,变为参数序列。
扩展运算符与正常的函数参数可以结合使用,非常灵活。
1 function f(v, w, x, y, z) { } 2 const args = [0, 1]; 3 f(-1, ...args, 2, ...[3]);
扩展运算符后面还可以放置表达式。
1 const arr = [ 2 ...(x > 0 ? ['a'] : []), 3 'b', 4 ];
如果扩展运算符后面是一个空数组,则不产生任何效果。
1 [...[], 1] 2 // [1]
替代函数的 apply 方法
由于扩展运算符可以展开数组,所以不再需要apply
方法,将数组转为函数的参数了。
1 // ES5 的写法 2 function f(x, y, z) { 3 // ... 4 } 5 var args = [0, 1, 2]; 6 f.apply(null, args); 7 8 // ES6的写法 9 function f(x, y, z) { 10 // ... 11 } 12 let args = [0, 1, 2]; 13 f(...args);
下面是扩展运算符取代apply
方法的一个实际的例子,应用Math.max
方法,简化求出一个数组最大元素的写法。
1 // ES5 的写法 2 Math.max.apply(null, [14, 3, 77]) 3 4 // ES6 的写法 5 Math.max(...[14, 3, 77]) 6 7 // 等同于 8 Math.max(14, 3, 77);
上面代码中,由于 JavaScript 不提供求数组最大元素的函数,所以只能套用Math.max
函数,将数组转为一个参数序列,然后求最大值。有了扩展运算符以后,就可以直接用Math.max
了。
另一个例子是通过push
函数,将一个数组添加到另一个数组的尾部。
1 // ES5的 写法 2 var arr1 = [0, 1, 2]; 3 var arr2 = [3, 4, 5]; 4 Array.prototype.push.apply(arr1, arr2); 5 6 // ES6 的写法 7 let arr1 = [0, 1, 2]; 8 let arr2 = [3, 4, 5]; 9 arr1.push(...arr2);
上面代码的 ES5 写法中,push
方法的参数不能是数组,所以只好通过apply
方法变通使用push
方法。有了扩展运算符,就可以直接将数组传入push
方法。
扩展运算符的应用
1.复制数组
数组是复合的数据类型,直接复制的话,只是复制了指向底层数据结构的指针,而不是克隆一个全新的数组。
1 const a1 = [1, 2]; 2 const a2 = a1; 3 4 a2[0] = 2; 5 a1 // [2, 2]
上面代码中,a2
并不是a1
的克隆,而是指向同一份数据的另一个指针。修改a2
,会直接导致a1
的变化。
ES5 只能用变通方法来复制数组。
1 const a1 = [1, 2]; 2 const a2 = a1.concat(); 3 4 a2[0] = 2; 5 a1 // [1, 2]
上面代码中,a1
会返回原数组的克隆,再修改a2
就不会对a1
产生影响。
扩展运算符提供了复制数组的简便写法。
1 const a1 = [1, 2]; 2 // 写法一 3 const a2 = [...a1]; 4 // 写法二 5 const [...a2] = a1;
上面的两种写法,a2
都是a1
的克隆。
2.合并数组
扩展运算符提供了数组合并的新写法。
1 const arr1 = ['a', 'b']; 2 const arr2 = ['c']; 3 const arr3 = ['d', 'e']; 4 5 // ES5 的合并数组 6 arr1.concat(arr2, arr3); 7 // [ 'a', 'b', 'c', 'd', 'e' ] 8 9 // ES6 的合并数组 10 [...arr1, ...arr2, ...arr3] 11 // [ 'a', 'b', 'c', 'd', 'e' ]
不过,这两种方法都是浅拷贝,使用的时候需要注意。
1 const a1 = [{ foo: 1 }]; 2 const a2 = [{ bar: 2 }]; 3 4 const a3 = a1.concat(a2); 5 const a4 = [...a1, ...a2]; 6 7 a3[0] === a1[0] // true 8 a4[0] === a1[0] // true
上面代码中,a3
和a4
是用两种不同方法合并而成的新数组,但是它们的成员都是对原数组成员的引用,这就是浅拷贝。如果修改了原数组的成员,会同步反映到新数组。
3.与解构赋值结合
扩展运算符可以与解构赋值结合起来,用于生成数组。
1 // ES5 2 a = list[0], rest = list.slice(1) 3 // ES6 4 [a, ...rest] = list
下面是另外一些例子。
1 const [first, ...rest] = [1, 2, 3, 4, 5]; 2 first // 1 3 rest // [2, 3, 4, 5] 4 5 const [first, ...rest] = []; 6 first // undefined 7 rest // [] 8 9 const [first, ...rest] = ["foo"]; 10 first // "foo" 11 rest // []
如果将扩展运算符用于数组赋值,只能放在参数的最后一位,否则会报错。
1 const [...butLast, last] = [1, 2, 3, 4, 5]; 2 // 报错 3 4 const [first, ...middle, last] = [1, 2, 3, 4, 5]; 5 // 报错
4.字符串
扩展运算符还可以将字符串转为真正的数组。
1 [...'hello'] 2 // [ "h", "e", "l", "l", "o" ]
上面的写法,有一个重要的好处,那就是能够正确识别四个字节的 Unicode 字符。
1 'xuD83DuDE80y'.length // 4 2 [...'xuD83DuDE80y'].length // 3
上面代码的第一种写法,JavaScript 会将四个字节的 Unicode 字符,识别为 2 个字符,采用扩展运算符就没有这个问题。因此,正确返回字符串长度的函数,可以像下面这样写。
1 function length(str) { 2 return [...str].length; 3 } 4 5 length('xuD83DuDE80y') // 3
凡是涉及到操作四个字节的 Unicode 字符的函数,都有这个问题。因此,最好都用扩展运算符改写。
1 let str = 'xuD83DuDE80y'; 2 3 str.split('').reverse().join('') 4 // 'yuDE80uD83Dx' 5 6 [...str].reverse().join('') 7 // 'yuD83DuDE80x'
上面代码中,如果不用扩展运算符,字符串的reverse
操作就不正确。
5.实现了Iterator接口的对象
任何 Iterator 接口的对象,都可以用扩展运算符转为真正的数组。
1 let nodeList = document.querySelectorAll('div'); 2 let array = [...nodeList];
上面代码中,querySelectorAll
方法返回的是一个nodeList
对象。它不是数组,而是一个类似数组的对象。这时,扩展运算符可以将其转为真正的数组,原因就在于NodeList
对象实现了 Iterator 。
6.Map和Set结构,Generator函数
扩展运算符内部调用的是数据结构的 Iterator 接口,因此只要具有 Iterator 接口的对象,都可以使用扩展运算符,比如 Map 结构。
1 let map = new Map([ 2 [1, 'one'], 3 [2, 'two'], 4 [3, 'three'], 5 ]); 6 7 let arr = [...map.keys()]; // [1, 2, 3]
Generator 函数运行后,返回一个遍历器对象,因此也可以使用扩展运算符。
1 const go = function*(){ 2 yield 1; 3 yield 2; 4 yield 3; 5 }; 6 7 [...go()] // [1, 2, 3]
上面代码中,变量go
是一个 Generator 函数,执行后返回的是一个遍历器对象,对这个遍历器对象执行扩展运算符,就会将内部遍历得到的值,转为一个数组。
如果对没有 Iterator 接口的对象,使用扩展运算符,将会报错。
1 const obj = {a: 1, b: 2}; 2 let arr = [...obj]; // TypeError: Cannot spread non-iterable object
Array.from()
Array.from
方法用于将两类对象转为真正的数组:类似数组的对象(array-like object)和可遍历(iterable)的对象(包括 ES6 新增的数据结构 Set 和 Map)。
下面是一个类似数组的对象,Array.from
将它转为真正的数组。
1 let arrayLike = { 2 '0': 'a', 3 '1': 'b', 4 '2': 'c', 5 length: 3 6 }; 7 8 // ES5的写法 9 var arr1 = [].slice.call(arrayLike); // ['a', 'b', 'c'] 10 11 // ES6的写法 12 let arr2 = Array.from(arrayLike); // ['a', 'b', 'c']
实际应用中,常见的类似数组的对象是 DOM 操作返回的 NodeList 集合,以及函数内部的arguments
对象。Array.from
都可以将它们转为真正的数组。
1 // NodeList对象 2 let ps = document.querySelectorAll('p'); 3 Array.from(ps).filter(p => { 4 return p.textContent.length > 100; 5 }); 6 7 // arguments对象 8 function foo() { 9 var args = Array.from(arguments); 10 // ... 11 }
上面代码中,querySelectorAll
方法返回的是一个类似数组的对象,可以将这个对象转为真正的数组,再使用filter
方法。
只要是部署了 Iterator 接口的数据结构,Array.from
都能将其转为数组。
1 Array.from('hello') 2 // ['h', 'e', 'l', 'l', 'o'] 3 4 let namesSet = new Set(['a', 'b']) 5 Array.from(namesSet) // ['a', 'b']
上面代码中,字符串和 Set 结构都具有 Iterator 接口,因此可以被Array.from
转为真正的数组。
如果参数是一个真正的数组,Array.from
会返回一个一模一样的新数组。
1 Array.from([1, 2, 3]) 2 // [1, 2, 3]
Array.of()
Array.of
方法用于将一组值,转换为数组。
1 Array.of(3, 11, 8) // [3,11,8] 2 Array.of(3) // [3] 3 Array.of(3).length // 1
数组实例的 copyWithin()
数组实例的copyWithin
方法,在当前数组内部,将指定位置的成员复制到其他位置(会覆盖原有成员),然后返回当前数组。也就是说,使用这个方法,会修改当前数组。
1 Array.prototype.copyWithin(target, start = 0, end = this.length)
它接受三个参数。
- target(必需):从该位置开始替换数据。如果为负值,表示倒数。
- start(可选):从该位置开始读取数据,默认为 0。如果为负值,表示倒数。
- end(可选):到该位置前停止读取数据,默认等于数组长度。如果为负值,表示倒数。
这三个参数都应该是数值,如果不是,会自动转为数值。
1 [1, 2, 3, 4, 5].copyWithin(0, 3) 2 // [4, 5, 3, 4, 5]
上面代码表示将从 3 号位直到数组结束的成员(4 和 5),复制到从 0 号位开始的位置,结果覆盖了原来的 1 和 2。
数组实例的find()和findIndex()
数组实例的find
方法,用于找出第一个符合条件的数组成员。它的参数是一个回调函数,所有数组成员依次执行该回调函数,直到找出第一个返回值为true
的成员,然后返回该成员。如果没有符合条件的成员,则返回undefined
。
1 [1, 4, -5, 10].find((n) => n < 0) 2 // -5
上面代码找出数组中第一个小于 0 的成员。
数组实例的fill()
fill
方法使用给定值,填充一个数组。
1 ['a', 'b', 'c'].fill(7) 2 // [7, 7, 7] 3 4 new Array(3).fill(7) 5 // [7, 7, 7]
上面代码表明,fill
方法用于空数组的初始化非常方便。数组中已有的元素,会被全部抹去。
fill
方法还可以接受第二个和第三个参数,用于指定填充的起始位置和结束位置。
1 ['a', 'b', 'c'].fill(7, 1, 2) 2 // ['a', 7, 'c']
数组实例的 entries(),keys() 和 values()
ES6 提供三个新的方法——entries()
,keys()
和values()
——用于遍历数组。它们都返回一个遍历器对象(详见《Iterator》一章),可以用for...of
循环进行遍历,唯一的区别是keys()
是对键名的遍历、values()
是对键值的遍历,entries()
是对键值对的遍历。
1 for (let index of ['a', 'b'].keys()) { 2 console.log(index); 3 } 4 // 0 5 // 1 6 7 for (let elem of ['a', 'b'].values()) { 8 console.log(elem); 9 } 10 // 'a' 11 // 'b' 12 13 for (let [index, elem] of ['a', 'b'].entries()) { 14 console.log(index, elem); 15 } 16 // 0 "a" 17 // 1 "b"
数组实例的includes()
Array.prototype.includes
方法返回一个布尔值,表示某个数组是否包含给定的值,与字符串的includes
方法类似。ES2016 引入了该方法。
1 [1, 2, 3].includes(2) // true 2 [1, 2, 3].includes(4) // false 3 [1, 2, NaN].includes(NaN) // true
数组的空位
数组的空位指,数组的某一个位置没有任何值。比如,Array
构造函数返回的数组都是空位。
1 Array(3) // [, , ,]
上面代码中,Array(3)
返回一个具有 3 个空位的数组。
注意,空位不是undefined
,一个位置的值等于undefined
,依然是有值的。空位是没有任何值,in
运算符可以说明这一点。
1 0 in [undefined, undefined, undefined] // true 2 0 in [, , ,] // false
上面代码说明,第一个数组的 0 号位置是有值的,第二个数组的 0 号位置没有值。
ES5 对空位的处理,已经很不一致了,大多数情况下会忽略空位。
forEach()
,filter()
,reduce()
,every()
和some()
都会跳过空位。map()
会跳过空位,但会保留这个值join()
和toString()
会将空位视为undefined
,而undefined
和null
会被处理成空字符串。
1 // forEach方法 2 [,'a'].forEach((x,i) => console.log(i)); // 1 3 4 // filter方法 5 ['a',,'b'].filter(x => true) // ['a','b'] 6 7 // every方法 8 [,'a'].every(x => x==='a') // true 9 10 // reduce方法 11 [1,,2].reduce((x,y) => return x+y) // 3 12 13 // some方法 14 [,'a'].some(x => x !== 'a') // false 15 16 // map方法 17 [,'a'].map(x => 1) // [,1] 18 19 // join方法 20 [,'a',undefined,null].join('#') // "#a##" 21 22 // toString方法 23 [,'a',undefined,null].toString() // ",a,,"