文章简介
本篇文章为【JavaScript 漫游】专栏的第 048 篇文章，介绍 ES6 规范对数组的扩展知识点。具体包括：
- 扩展运算符
... - 数组的空位
Array.prototype.sort()的排序稳定性- 新增的静态方法和实例方法
扩展运算符
含义
扩展运算符（spread）是三个点（...）。它好比 rest 参数的逆运算，将一个数组转为用逗号分隔的参数序列。
console.log(...[1, 2, 3]);
// 1 2 3console.log(1, ...[2, 3, 4], 5);
// 1 2 3 4 5[...document.querySelectorAll('div')]
// [<div>, <div>, <div>]
该运算符主要用于函数调用。
function push(array, ...items) {array.push(...items);
}function add(x, y) {return x + y;
}const numbers = [4, 38];
add(...numbers) // 42
扩展运算符与正常的函数参数可以结合使用，非常灵活。
function f(v, w, x, y, z) { }
const args = [0, 1];
f(-1, ...args, 2, ...[3]);
扩展运算符后面还可以放置表达式。
const arr = [...(x > 0 ? ['a'] : []),'b',
];
如果扩展运算符后面是一个空数组，则不产生任何效果。
[...[], 1]
// [1]
注意，只有函数调用时，扩展运算符才可以放在圆括号中，否则会报错。
(...[1, 2])
// Uncaught SyntaxError: Unexpected numberconsole.log((...[1, 2]))
// Uncaught SyntaxError: Unexpected numberconsole.log(...[1, 2])
// 1 2
替代函数的 apply 方法
由于扩展运算符可以展开数组，所以不再需要 apply 方法，将数组转为函数的参数了。
// ES5 的写法
function f(x, y, z) {// ...
}
var args = [0, 1, 2];
f.apply(null, args);// ES6的写法
function f(x, y, z) {// ...
}
let args = [0, 1, 2];
f(...args);
// ES5的 写法
var arr1 = [0, 1, 2];
var arr2 = [3, 4, 5];
Array.prototype.push.apply(arr1, arr2);// ES6 的写法
let arr1 = [0, 1, 2];
let arr2 = [3, 4, 5];
arr1.push(...arr2);
扩展运算符的应用
（1）复制数组
数组是复合的数据类型，直接复制的话，只是复制了指向底层数据结构的指针，而不是克隆一个全新的数组。
ES5 只能用变通方法来复制数组。
const a1 = [1, 2];
const a2 = a1.concat();a2[0] = 2;
a1; // [1, 2]
扩展运算符提供了复制数组的简便写法。
const a1 = [1, 2];
// 写法一
const a2 = [...a2];
// 写法二
const [...a2] = a1;
（2）合并数组
扩展运算符提供了数组合并的新写法。
const arr1 = ['a', 'b'];
const arr2 = ['c'];
const arr3 = ['d', 'e'];// ES5 的合并数组
arr1.concat(arr2, arr3);
// [ 'a', 'b', 'c', 'd', 'e' ]// ES6 的合并数组
[...arr1, ...arr2, ...arr3]
// [ 'a', 'b', 'c', 'd', 'e' ]
不过，这两种方法都是浅拷贝，使用的时候需要注意。
（3）与解构赋值结合
扩展运算符可以与解构赋值结合起来，用于生成数组。
// ES5
a = list[0], rest = list.slice(1)
// ES6
[a, ...rest] = list
如果将扩展运算符用于数组赋值，只能放在参数的最后一位，否则会报错。
const [...butLast, last] = [1, 2, 3, 4, 5];
// 报错const [first, ...middle, last] = [1, 2, 3, 4, 5];
// 报错
（4）字符串
扩展运算符还可以将字符串转为真正的数组。
[...'hello']
// [ "h", "e", "l", "l", "o" ]
（5）实现了 Iterator 接口的对象
任何定义了遍历器（Iterator）接口的对象，都可以用扩展运算符转为真正的数组。
let nodeList = document.querySelectorAll('div');
let array = [...nodeList];
对于那些没有部署 Iterator 接口的类似数组的对象，扩展运算符就无法将其转为真正的数组。
let arrayLike = {'0': 'a','1': 'b','2': 'c',length: 3
};// TypeError: Cannot spread non-iterable object.
let arr = [...arrayLike];
（6）Map 和 Set 结构，Generator 函数
扩展运算符内部调用的是数据结构的 Iterator 接口，因此只要具有 Iterator 接口的对象，都可以使用扩展运算符，比如 Map 结构。
let map = new Map([[1, 'one'],[2, 'two'],[3, 'three'],
]);let arr = [...map.keys()]; // [1, 2, 3]
Generator 函数运行后，返回一个遍历器对象，因此也可以使用扩展运算符。
const go = function*(){yield 1;yield 2;yield 3;
};[...go()] // [1, 2, 3]
如果对没有 Iterator 接口的对象，使用扩展运算符，将会报错。
const obj = {a: 1, b: 2};
let arr = [...obj]; // TypeError: Cannot spread non-iterable object
数组的空位
数组的空位是指，数组的某一个位置没有任何值。比如，Array 构造函数返回的数组都是空位。
Array(3) // [, , ,]
注意，空位不是 undefined，一个位置的值等于 undefined，依然是有值的。空位是没有任何值，in 运算符可以说明这一点。
0 in [undefined, undefined, undefined] // true
0 in [, , ,] // false
ES5 对空位的处理，已经很不一致了，大多数情况下会忽略空位。
forEach()、filter()、reduce()、every()和some()都会跳过空位map()会跳过空位，但会保留这个值join()和toString()会将空位视为undefined，而undefined和null会被处理成空字符串
ES6 则是明确将空位转为 undefined。
Array.from() 会将数组的空位，转为 undefined，也就是说，这个方法不会忽略空位。
Array.from(['a',,'b'])
// [ "a", undefined, "b" ]
扩展运算符（...）也会将空位转为 undefined。
[...['a', , 'b']]
// [ "a", undefined, "b" ]
copyWithin() 会连空位一起拷贝。
[,'a','b',,].copyWithin(2,0) // [,"a",,"a"]
fill() 会将空位视为正常的数组位置。
new Array(3).fill('a') // ["a","a","a"]
for...of 循环也会遍历空位。
let arr = [, ,];
for (let i of arr) {console.log(1);
}
// 1
// 1
entries()、keys()、values()、find() 和 findIndex() 会将空位处理成 undefined。
// entries()
[...[,'a'].entries()] // [[0,undefined], [1,"a"]]// keys()
[...[,'a'].keys()] // [0,1]// values()
[...[,'a'].values()] // [undefined,"a"]// find()
[,'a'].find(x => true) // undefined// findIndex()
[,'a'].findIndex(x => true) // 0
由于空位的处理规则非常不统一，所以建议避免出现空位。
Array.prototype.sort() 的排序稳定性
排序稳定性（stable sorting）是排序算法的重要属性，指的是排序关键字相同的项目，排序前后的顺序不变。
const arr = ['peach','straw','apple','spork'
];const stableSorting = (s1, s2) => {if (s1[0] < s2[0]) return -1;return 1;
};arr.sort(stableSorting)
// ["apple", "peach", "straw", "spork"]
上面代码对数组 arr 按照首字母进行排序。排序结果中，straw 在 spork 的前面，跟原始顺序一样，所以排序算法 stableSorting 是稳定排序。
const unstableSorting = (s1, s2) => {if (s1[0] <= s2[0]) return -1;return 1;
};arr.sort(unstableSorting);
// ["apple", "peach", "spork", "straw"]
上面代码中，排序结果是 spork 在 straw 前面，跟原始顺序相反，所以排序算法 unstableSorting 是不稳定的。
常见的排序算法之中，插入排序、合并排序、冒泡排序等都是稳定的，堆排序、快速排序等是不稳定的。不稳定排序的主要特点是，多重排序时可能会产生问题。假设有一个姓和名的列表，要求按照“姓氏为主要关键字，名字为次要关键字”进行排序。开发者可能会先按名字排序，再按姓氏进行排序。如果排序算法是稳定的，这样就可以达到“先姓氏，后名字”的排序效果。如果是不稳定的，就不行。
早先的 ECMAScript 没有规定，Array.prototype.sort() 的默认排序算法是否稳定，留给浏览器自己决定，这导致某些实现是不稳定的。ES 2019 明确规定，Array.prototype.sort() 的默认排序算法必须稳定。这个规定已经做到了，现在 JavaScript 各个主要实现的默认排序算法都是稳定的。
新增静态方法
Array.from()
用于将两类对象转为真正的数组：类似数组的对象和可遍历的对象（包括 ES6 新增的数据结构 Set 和 Map）。
下面是一个类似数组的对象，Array.from 将它转为真正的数组。
let arrayLike = {'0': 'a','1': 'b','2': 'c',length: 3
};// ES5的写法
var arr1 = [].slice.call(arrayLike); // ['a', 'b', 'c']// ES6的写法
let arr2 = Array.from(arrayLike); // ['a', 'b', 'c']
实际应用中，常见的类似数组的对象是 DOM 操作返回的 NodeList 集合，以及函数内部的 arguments 对象。Array.from 都可以将它们转为真正的数组。
// NodeList对象
let ps = document.querySelectorAll('p');
Array.from(ps).filter(p => {return p.textContent.length > 100;
});// arguments对象
function foo() {var args = Array.from(arguments);// ...
}
只要是部署了 Iterator 接口的数据结构，Array.from 都能将其转为数组。
Array.from('hello');
// ['h', 'e', 'l', 'l', 'o']let namesSet = new Set(['a', 'b']);
Array.from(namesSet); // ['a', 'b']
如果参数是一个真正的数组，Array.from() 会返回一个一模一样的新数组。
Array.from([1, 2, 3])
// [1, 2, 3]
值得提醒的是，扩展运算符（...）也可以将某些数据结构转为数组。
// arguments 对象
function foo() {const args = [...arguments];
}// NodeList 对象
[...document.querySelectorAll('div')]
扩展运算符背后调用的是遍历器接口（Symbol.iterator），如果一个对象没有部署这个接口，就无法转换。Array.from()还支持类似数组的对象。所谓类似数组的对象，本质特征只有一点，即必须有 length 属性。因此，任何有 length 属性的对象，都可以通过 Array.from() 转为数组，而此时扩展运算符就无法转换。
Array.from({ length: 3 });
// [ undefined, undefined, undefined ]
Array.from() 还可以接受第二个参数，作用类似于数组的 map 方法，用来对每个元素进行处理，将处理后的值放入返回的数组。
Array.from(arrayLike, x => x * x);
// 等同于
Array.from(arrayLike).map(x => x * x);Array.from([1, 2, 3], (x) => x * x)
// [1, 4, 9]
Array.of()
用于将一组值，转换为数组。
Array.of(3, 11, 8) // [3,11,8]
Array.of(3) // [3]
Array.of(3).length // 1
新增的实例方法
Array.prototype.copyWithin()
在当前数组内部，将指定位置的成员复制到其他位置（会覆盖原有成员），然后返回当前数组。也就是说，使用这个方法，会修改当前数组。
Array.prototype.copyWithin(target, start = 0, end = this.length);
它接受三个参数。
- target（必需）：从该位置开始替换数据。如果为负值，表示倒数
- start（可选）：从该位置开始读取数据，默认为 0。如果为负值，表示从末尾开始计算
- end（可选）：到该位置前停止读取数据，默认等于数组长度。如果为负值，表示从末尾开始计算
这三个参数都应该是数值，如果不是，会自动转为数值。
[1, 2, 3, 4, 5].copyWithin(0, 3)
// [4, 5, 3, 4, 5]
Array.prototype.find() 和 Array.prototype.findIndex()
find() 用于找出第一个符合条件的数组成员。它的参数是一个回调函数，所有数组成员依次执行该回调函数，直到找出第一个返回值为 true 的成员，然后返回该成员。如果没有符合条件的成员，则返回 undefined。
[1, 4, -5, 10].find((n) => n < 0)
// -5
[1, 5, 10, 15].find(function(value, index, arr) {return value > 9;
}) // 10
数组实例的 findIndex() 用法与 find() 非常类似，返回第一个符合条件的数组成员的位置，如果所有成员都不符合条件，则返回 -1。
[1, 5, 10, 15].findIndex(function(value, index, arr) {return value > 9;
}) // 2
这两个方法都可以接受第二个参数，用来绑定回调函数的 this 对象。
function f(v){return v > this.age;
}
let person = {name: 'John', age: 20};
[10, 12, 26, 15].find(f, person); // 26
另外，这两个方法都可以发现 NaN，弥补了数组的 indexOf 方法的不足。
[NaN].indexOf(NaN)
// -1[NaN].findIndex(y => Object.is(NaN, y))
// 0
Array.prototype.fill()
使用给定值，填充一个数组。
['a', 'b', 'c'].fill(7)
// [7, 7, 7]
new Array(3).fill(7)
// [7, 7, 7]
它还可以接受第二个和第三个参数，用于指定填充的起始位置和结束位置。
['a', 'b', 'c'].fill(7, 1, 2)
// ['a', 7, 'c']
注意，如果填充的类型为对象，那么被赋值的是同一个内存地址的对象，而不是深拷贝对象。
let arr = new Array(3).fill({name: "Mike"});
arr[0].name = "Ben";
arr
// [{name: "Ben"}, {name: "Ben"}, {name: "Ben"}]let arr = new Array(3).fill([]);
arr[0].push(5);
arr
// [[5], [5], [5]]
Array.prototype.entries()、Array.prototype.keys() 和 Array.prototype.values()
都返回一个遍历器对象，可以用 for...of 循环进行遍历，唯一的区别是 keys() 是对键名的遍历、values()是对键值的遍历，entries() 是对键值对的遍历。
for (let index of ['a', 'b'].keys()) {console.log(index);
}
// 0
// 1for (let elem of ['a', 'b'].values()) {console.log(elem);
}
// 'a'
// 'b'for (let [index, elem] of ['a', 'b'].entries()) {console.log(index, elem);
}
// 0 "a"
// 1 "b"
如果不使用 for...of 循环，可以手动调用遍历器对象的 next 方法，进行遍历。
let letter = ['a', 'b', 'c'];
let entries = letter.entries();
console.log(entries.next().value); // [0, 'a']
console.log(entries.next().value); // [1, 'b']
console.log(entries.next().value); // [2, 'c']
Array.prototype.includes()
返回一个布尔值，表示某个数组是否包含给定的值，与字符串的 includes() 类似。ES 2016 引入了该方法。
[1, 2, 3].includes(2) // true
[1, 2, 3].includes(4) // false
[1, 2, NaN].includes(NaN) // true
该方法的第二个参数表示搜索的起始位置，默认为 0。如果第二个参数为负数，则表示倒数的位置，如果这时它大于数组长度（比如第二个参数为 -4，但数组长度为 3），则会重置为从 0开始。
[1, 2, 3].includes(3, 3); // false
[1, 2, 3].includes(3, -1); // true
Array.prototype.flat() 和 Array.prototype.flatMap()
数组的成员有时还是数组，Array.prototype.flat() 用于将嵌套的数组“拉平”，变成一维的数组。该方法返回一个新数组，对原数据没有影响。
[1, 2, [3, 4]].flat()
// [1, 2, 3, 4]
flat() 默认只会“拉平”一层，如果想要“拉平”多层的嵌套数组，可以将 flat() 方法的参数写成一个整数，表示想要拉平的层数，默认为1。
[1, 2, [3, [4, 5]]].flat()
// [1, 2, 3, [4, 5]][1, 2, [3, [4, 5]]].flat(2)
// [1, 2, 3, 4, 5]
如果不管有多少层嵌套，都要转成一维数组，可以用 Infinity 关键字作为参数。
[1, [2, [3]]].flat(Infinity)
// [1, 2, 3]
如果原数组有空位，flat() 方法会跳过空位。
[1, 2, , 4, 5].flat()
// [1, 2, 4, 5]
flatMap() 对原数组的每个成员执行一个函数（相当于执行Array.prototype.map()），然后对返回值组成的数组执行 flat() 方法。该方法返回一个新数组，不改变原数组。
// 相当于 [[2, 4], [3, 6], [4, 8]].flat()
[2, 3, 4].flatMap((x) => [x, x * 2])
// [2, 4, 3, 6, 4, 8]
flatMap() 只能展开一层数组。
// 相当于 [[[2]], [[4]], [[6]], [[8]]].flat()
[1, 2, 3, 4].flatMap(x => [[x * 2]])
// [[2], [4], [6], [8]]
flatMap() 方法的参数是一个遍历函数，该函数可以接受三个参数，分别是当前数组成员、当前数组成员的位置（从零开始）、原数组。
arr.flatMap(function callback(currentValue[, index[, array]]) {// ...
}[, thisArg])
flatMap() 还可以有第二个参数，用来绑定遍历函数里面的 this。
