ECMAScript 中的数组与其他多数语言中的数组有相当大的区别。虽然 ES 数组与其他语言中的数组都是数据的有序列表,但与其他语言不同的是,ES 数组的每一项都可以保存任何类型的数据。也就是说,可以用数组的第一个位置来保存字符串,用第二位置来保存数值,用第三位置来保存对象…… 而且,ES 数组的大小是可以动态调整的,即可以随着数据的添加自动增长以容纳新增数据。
创建数组的基本方式有两种。第一种是使用 Array 构造函数,如下面的代码所示:
1 | var colors = new Array(); |
如果预先知道数组要保存的项目数量,也可以给构造函数传递该数量,而该数量会自动变成 length 属性的值。例如,下面的代码将创建 length 值为 20 的数组。
1 | var colors = new Array(20); |
也可以向 Array 构造函数传递数组中应该包含的项。以下代码创建了一个包含 3 个字符串值的数组:
1 | var colors = new Array("red", "blue", "green"); |
当然,给构造函数传递一个值也可以创建数组。但这时候问题就复杂一点了,因为如果传递的是数值,则会按照该数值创建包含给定项数的数组;而如果传递的是其他类型的参数,则会创建包含那个值的只有一项的数组。
1 | var colors = new Array(3); // 创建一个包含 3 项的数组 |
另外,在使用 Array 构造函数时也可以省略 new
操作符。如下面的例子所示,省略 new
操作符的结果相同:
1 | var colors = Array(3); // 创建一个包含 3 项的数组 |
创建数组的第二种基本方式是使用数组字面量表示法。数组字面量由一对包含数组项的方括号表示,多个数组项之间以逗号隔开,如下所示:
1 | var colors = ["red", "blue", "green"]; // 创建一个包含 3 个字符串的数组 |
以上代码的第一行创建了一个包含 3 个字符串的数组。第二行使用一对方括号创建了一个空数组。第三行展示了在数组字面量的最后一项添加逗号的结果:在 IE 中,values
会成为一个包含 3 个项目且每项的值分别为 1
、2
和 undefined
的数组;在其他浏览器中,values
会成为一个包含 2 项且值分别为 1
和 2
的数组。原因是 IE8 及之前版本中的 ES 实现在数组字面量方面存在 bug。由于这个 bug 导致的另一种情况如最后一行代码所示,该行代码可能会创建包含 5 项的数组(IE9+、Firefox、Opera、Safari和Chrome中),也可能会创建包含 6 项的数组(IE8 及更早版本中)。在像这种省略值的情况下,每一项都将获得 undefined
值;这个结果与调用 Array 构造函数时传递项数在逻辑上是相同的。但是由于 IE 的实现与其他浏览器不一致,因此不建议使用这种语法。
与对象一样,在使用数组字面量表示法时,也不会调用 Array 构造函数(Firefox3 及更早版本除外)。
在读取和设置数组的值时,要使用方括号并提供相应值的基于 0 的数字索引,如下所示:
1 | var colors = ["red", "blue", "green"]; // 定义一个字符串数组 |
方括号中的索引表示要访问的值。如果索引小于数组中的项数,则返回对应项的值,就像这个例子中的 colors[0]
会显示 "red"
一样。设置数组的值也使用相同的语法,但会替换指定位置的值。如果设置某个值的索引超过了数组现有项数,如这个例子中的 colors[3]
所示,数组就会自动增加到该索引值加 1 的长度(就这个例子而言,索引是 3,因此数组长度就是 4)。
数组的项数保存在其 length
属性中,这个属性始终会返回 0
或更大的值,如下面这个例子所示:
1 | var colors = ["red", "blue", "green"]; // 创建一个包含 3 个字符串的数组 |
数组的 length
属性很有特点 —— 它不是只读的。因此,通过设置这个属性,可以从数组的末尾移除项或向数组中添加新项。看下面的例子:
1 | var colors = ["red", "blue","green"]; // 创建一个包含 3 个字符串的数组 |
这个例子中的数组 colors
一开始有 3 个值。将其 length
属性设置为 2
会移除最后一项(位置为 2 的那一项),结果再访问 colors[2]
就会显示 undefined
了。如果将其 length
属性设置为大于数组项数的值,则新增的每一项都会取得 undefined
值。如下所示:
1 | var colors = ["red", "blue", "green"]; // 创建一个包含 3 个字符串的数组 |
在此,虽然 colors
数组包含 3 个项,但把它的 length
属性设置成了 4。这个数组不存在位置 3,所以访问这个位置的值就得到了特殊值 undefined
。
利用 length
属性也可以方便地在数组末尾添加新项,如下所示:
1 | var colors = ["red", "blue", "green"]; // 创建一个包含 3 个字符串的数组 |
由于数组最后一项的索引始终是 length - 1
,因此下一个新项的位置就是 length
。每当在数组末尾添加一项后,其 length
属性都会自动更新以反应这一变化。当把一个值放在超出当前数组大小的位置上时,数组就会重新计算其长度值,即长度值等于最后一项的索引加 1,如下面的例子所示:
1 | var colors = ["red", "blue", "green"]; // 创建一个包含 3 个字符串的数组 |
在这个例子中,向 colors
数组的位置 99 插入了一个值,结果新数组长度就是 100。而位置 3 到位置 98 实际上都是不存在的,所以访问它们都将返回 undefined
。
数组最多可以包含 4 294 967 295 个项,这几乎已经能够满足任何编程需求了。如果想添加的项数超过这个上限值,就会发生异常。而创建一个初始大小与这个上限值接近的数组,则可能会导致运行时间超长的脚本错误。
1.检测数组
自从 ES3 做出规定后,就出现了确定某个对象是不是数组的经典问题。对于一个网页,或者一个全局作用域而言,使用 instanceof
操作符就能得到满意的结果:
1 | if (value instanceof Array) { |
instanceof
操作符的问题在于,它假定只有一个全局执行环境。如果网页中包含多个框架,那实际上就存在两个以上不同的全局执行环境,从而存在两个以上不同版本的 Array 构造函数。如果你从一个框架向另一个框架传入一个数组,那么传入的数组与在第二个框架中原生创建的数组分别具有各自不同的构造函数。
为了解决这个问题,ES5 新增了 Array.isArray()
方法。这个方法的目的是最终确定某个值到底是不是数组,而不管它是在哪个全局执行环境中创建的。这个方法的用法如下:
1 | if (Array.isArray(valu)) { |
支持 Array.isArray() 方法的浏览器有 IE9+、Firefox 4+、Safari 5+、Opera 10.5+ 和 Chrome。
2.转换方法
所有对象都具有 toLocaleString()
、toString()
和 valueOf()
方法。其中,调用数组的 toString()
方法会返回由数组中每个值的字符串形式拼接而成的一个以逗号分隔的字符串。而调用 valueOf()
返回的还是数组。实际上,为了创建这个字符串会调用数组每一项的 toString()
方法。看下面这个例子:
1 | var colors = ["red", "blue", "green"]; // 创建一个包含 3 个字符串的数组 |
上例中,首先显示地调用了 toString()
方法,以便返回数组的字符串表示,每个值的字符串表示拼接成了一个字符串,中间以逗号分隔。接着调用 valueOf()
方法,而最后一行代码直接将数组传递给了 alert()
。由于 alert()
要接收字符串参数,所以它会在后台调用 toString()
方法,由此会得到与直接调用 toString()
方法相同的结果。
另外,toLocaleString()
方法经常也会返回与 toString()
和 valueOf()
方法相同的值,但也不总是如此。当调用数组的 toLocaleString()
方法时,它也会创建一个数组值的以逗号分隔的字符串。而与前两个方法唯一的不同之处在于,这一次为了取得每一项的值,调用的是每一项的 toLocaleString()
方法,而不是 toString()
方法。看下面这个例子:
1 | var person1 = { |
这里定义了两个对象: person1
和 person2
。而且还分别为每个对象定义了一个 toString()
方法和一个 toLocaleString()
方法,这两个方法返回不同的值。然后,创建一个包含前面定义的两个对象的数组。在将数组传递给 alert()
时,输出结果是 "Nicholas,Greg"
,因为调用了数组每一项的 toString()
方法(这与下一行显示调用 toString()
方法得到的结果相同)。而当调用数组的 toLocaleString()
方法时,输出结果是 "Nikolaos,Grigorios"
,原因是调用了数组每一项的 toLocaleString()
方法。
数组继承的 toLocaleString()
、toString()
和 valueOf()
方法,在默认情况下都会以逗号分隔的字符串的形式返回数组项。而如果使用 join()
方法,则可以使用不同的分隔符来构建这个字符串。 join()
方法只接收一个参数,即用作分隔符的字符串,然后返回包含所有数组项的字符串。请看下面的例子:
1 | var colors = ["red", "green", "blue"]; |
这里使用 join()
方法重现了 toString()
方法的输出。在传递逗号的情况下,得到了以逗号分隔的数组值;传递双竖线符号的情况下,得到了字符串 "red||green||blue"
。如果不给 join()
方法传入任何值,或者给它传入 undefined
,则使用逗号作为分隔符。IE7 及更早版本会错误的使用字符串 "undefined"
作为分隔符。
如果数组中的某一项的值是 null 或者 undefined,那么该值在 join()、toLocaleString()、toString() 和 valueOf() 方法返回的结果中以空字符串表示。
3.栈方法
ES 数组也提供了一种让数组的行为类似于其他数据结构的方法。具体说来,数组可以表现得就像栈一样,后者是一种可以限制插入和删除项的数据结构。栈是一种 LIFO(Last-In-First-Out,后进先出)的数据结构,也就是最新添加的项最早被移除。而栈中项的插入(叫做推入)和移除(叫做弹出),只发生在一个位置 —— 栈的顶部。ES 为数组专门提供了 push()
和 pop()
方法,以便实现类似栈的行为。
push()
方法可以接收任意数量的参数,把它们逐个添加到数组末尾,并返回修改后数组的长度。而 pop()
方法则从数组末尾移除最后一项,减少数组的 length
值,然后返回移除的项。请看下面的例子:
1 | var colors = new Array(); // 创建一个数组 |
以上代码中的数组可以看成是栈(代码本身没有任何区别,而 push()
和 pop()
都是数组默认的方法)。首先,使用 push()
将两个字符串推入数组的末尾,并将返回的结果保存在变量 count
中。然后,再推入一个值,而结果仍然保存在 count
中。因为此时数组中包含 3 项,所以 push()
返回 3。在调用 pop()
时,它会返回数组的最后一项,即字符串 "black"
。此后,数组中仅剩两项。
可以将栈方法与其他数组方法连用,例如:
1 | var colors = ["red", "green"]; |
4.队列方法
栈数据结构的访问规则是 LIFO(后进先出),而队列数据结构的访问规则是 FIFO(First-In-First-Out,先进先出)。队列在列表的末端添加项,从列表的前端移除项。由于 push()
是向数组末端添加项的方法,因此要模拟队列只需一个从数组前端取得项的方法。实现这一操作的数组方法就是 shift()
,它能够移除数组中的第一个项并返回该项,同时将数组长度减 1。结合使用 shift()
和 push()
方法,可以像使用队列一样使用数组。
1 | var colors = new Array(); // 创建一个数组 |
上例使用 shift()
方法从数组中取得了第一项,即 "red"
。在移除第一项之后,"green"
就变成了第一项,而数组也只包含两项了。
ES 还为数组提供了一个 unshift()
方法。unshift()
与 shift()
的用途相反:它能在数组前端添加任意个项并返回新数组的长度。因此,同时使用 unshift()
和 pop()
方法,可以从相反的方向来模拟队列,即在数组的前端添加项,从数组末端移除项,如下面的例子所示:
1 | var colors = new Array(); // 创建一个数组 |
这个例子使用 unshift()
方法先后推入 3 个值。首先是 "red"
和 "green"
,然后是 "black"
,数组中各项的顺序为 "black"
、"red"
、"green"
。在调用 pop()
方法时,移除并返回的是最后一项,即 "green"
。
在 IE7 及更早版本中对 JavaScript 的实现存在一个偏差,其 unshift() 方法总是返回 undefined 而不是数组的新长度。IE8 在非兼容模式下会返回正确的长度值。
5.重排序方法
数组中已经存在两个可以直接用来重排序的方法:reverse()
和 sort()
。其中 reverse()
方法会反转数组项的顺序。例如:
1 | var values = [1, 2, 3, 4, 5]; |
这里数组的初始值及顺序是 1、2、3、4、5
。而调用数组的 reverse()
方法后,其值的顺序变成了 5、4、3、2、1
。这个方法的作用直观明了,但不够灵活。
在默认情况下,sort()
方法按升序排列数组项 —— 即最小的值位于最前面,最大的值排在最后面。为了实现排序,sort()
方法会调用每个数组项的 toString()
转型方法,然后比较得到的字符串,以确定如何排序。即使数组中的每一项都是数值,sort()
方法比较的也是字符串,如下所示:
1 | var values = [0, 1, 5, 10 ,15]; |
可见,即使例子中值的顺序没有问题,但 sort()
方法也会根据测试字符串的结果改变原来的顺序。因为数值 5
虽然小于 10
,但在进行字符串比较时,"10"
则位于 "5"
的前面,于是数组的顺序就被修改了。这种排序方式在很多情况下都不是最佳方案。因此,sort()
方法可以接收一个比较函数作为参数,以便我们指定哪个值位于哪个值的前面。
比较函数接收两个参数,如果第一个参数应该位于第二个之前则返回一个负数,如果两个参数相等则返回 0
,如果第一个参数应该位于第二个之后则返回一个正数。以下是一个简单的比较函数:
1 | function compare(value1, value2) { |
这个比较函数可以适用于大多数数据类型,只要将其作为参数传递给 sort()
方法即可,如下面这个例子所示:
1 | var values = [0, 1, 5, 10, 15]; |
在将比较函数传递到 sort()
方法之后,数值仍然保持了正确的升序。当然,也可以通过比较函数产生降序排序的结果,只要交换比较函数返回的值即可。
1 | function compare(value1, value2) { |
在这个修改后的例子中,比较函数在第一个值应该位于第二个之后的情况下返回 1
,而在第一个值应该在第二个值之前的情况下返回 -1
。交换返回值的意思是让更大的值排位更靠前,也就是对数组按照降序排序。当然,如果只想反转数组原来的顺序,使用 reverse()
方法要更快一些。
reverse() 和 sort() 方法的返回值是经过排序之后的数组。
对于数值类型或者其 valueOf()
方法会返回数值类型的对象类型,可以使用一个更简单的比较函数。这个函数只要用第二个值减第一个值即可。
1 | function compare(value1, value2) { |
由于比较函数通过返回一个小于零、等于零或大于零的值来影响排序结果,因此减法操作就可以适当地处理所有这些情况。
6.操作方法
ES 为操作已经包含在数组中的项提供了很多方法。其中,concat()
方法可以基于当前数组中的所有项创建一个新数组。具体来说,这个方法会先创建当前数组的一个副本,然后将接收到的参数添加到这个副本的末尾,最后返回新构建的数组。在没有给 concat()
方法传递参数的情况下,它只是复制当前数组并返回副本。如果传递给 concat()
方法的是一或多个数组,则该方法会将这些数组中的每一项都添加到结果数组中。如果传递的值不是数组,这些值就会被简单地添加到结果数组的末尾。
1 | var colors = ["red", "green", "blue"]; |
下一个方法是 slice()
,它能够基于当前数组中的一或多个项创建一个新数组。slice()
方法可以接受一或两个参数,即要返回项的起始和结束位置。在只有一个参数的情况下,slice()
方法返回从该参数指定位置开始到当前数组末尾的所有项。如果有两个参数,该方法返回起始和结束位置之间的项 —— 但不包括结束位置的项。注意,slice()
方法不会影响原始数组。
1 | var colors = ["red", "green", "blue", "yellow", "purple"]; |
如果 slice()
方法的参数中有一个负数,则用数组长度加上该数来确定相应的位置。另外,如果结束位置小于起始位置,则返回空数组。
splice()
方法可能是最强大的数组方法,它的主要用途是向数组的中部插入项,使用这种方法的方式有 3 种:
- 删除:可以删除任意数量的项,只需指定 2 个参数:要删除的第一项的位置和要删除的项数。例如,
splice(0,2)
会删除数组中的前两项。 - 插入:可以向指定位置插入任意数量的项,只需提供 3 个参数:起始位置、0(要删除的项数)和要插入的项。如果要插入多个项,可以再传入第四、第五,以致任意多个项。例如,
splice(2,0,"red","green")
会从当前数组的位置 2 开始插入字符串"red"
和"green"
。 - 替换:可以向指定位置插入任意数量的项,且同时删除任意数量的项,只需指定 3 个参数:起始位置、要删除的项数和要插入的任意数量的项。插入的项数不必与删除的项数相等。例如,
splice(2,1,"red","green")
会删除当前数组位置 2 的项,然后再从位置 2 开始插入字符串"red"
和"green"
。
splice()
方法始终都会返回一个数组,该数组中包含从原始数组中删除的项(如果没有删除任何项,则返回一个空数组)。下面的代码展示了上述 3 种使用方法:
1 | var colors = ["red", "green", "blue"]; |
7.位置方法
ES5 为数组实例添加了两个位置方法:indexOf()
和 lastIndexOf()
。这两个方法都接收两个参数:要查找的项和(可选的)表示查找起点位置的索引。其中,indexOf()
方法从数组的开头(位置 0)开始向后查找,lastIndexOf()
方法则从数组的末尾开始向前查找。
这两个方法都返回要查找的项在数组中的位置,或者在没找到的情况下返回 -1
。在比较第一个参数与数组中的每一项时,会使用全等操作符;也就是说,要求查找的项必须严格相等。以下是几个例子。
1 | var numbers = [1, 2, 3, 4, 5, 4, 3, 2, 1]; |
支持 indexOf()
和 lastIndexOf()
方法的浏览器包括 IE9+、Firefox 2+、Safari 3+、Opera 9.5+ 和 Chrome。
8.迭代方法
ES5 为数组定义了 5 个迭代方法。每个方法都接收两个参数:要在每一项上运行的函数和(可选的)运行该函数的作用域对象 —— 影响 this 的值。传入这些方法中的函数会接收三个参数:数组项的值、该项在数组中的位置和数组对象本身。根据使用的方法不同,这个函数执行后的返回值可能会也可能不会影响方法的返回值。以下是这 5 个迭代方法的作用。
- every():对数组中的每一项运行给定函数,如果该函数对每一项都返回 true,则返回 true。
- filter():对数组中的每一项运行给定函数,返回该函数会返回 true 的项组成的数组。
- forEach()对数组中的每一项运行给定函数。这个方法没有返回值。
- map():对数组中的每一项运行给定函数,返回每次函数调用的结果组成的数组。
- some():对数组中的每一项运行给定函数,如果该函数对任一项返回 true,则返回 true。
以上方法都不会修改数组中的包含的值。
这些方法中,最相似的是 every()
和 some()
,它们都用于查询数组中的项是否满足某个条件。对 every()
来说,传入的函数必须对每一项都返回 true,这个方法才返回 true;否则,它就返回 false。而 some()
方法则是只要传入的函数对数组中的某一项返回 true,就会返回 true。
1 | var numbers = [1, 2, 3, 4, 5, 4, 3, 2, 1]; |
以上代码调用了 every()
和 some()
,传入的函数只要给定项大于 2 就会返回 true。对于 every()
,它返回的是 false,因为只有部分数组项符合条件。对于 some()
,结果就是 true,因为至少有一项是大于 2 的。
filter()
函数是利用指定的函数确定是否在返回的数组中包含某一项。例如,要返回一个所有数值都大于 2 的数组,可以使用以下代码:
1 | var numbers = [1, 2, 3, 4, 5, 4, 3, 2, 1]; |
这里通过调用 filter()
方法创建并返回了包含 3、4、5、4、3
的数组,因为传入的函数对它们每一项都返回 true。这个方法对查询符合某些条件的所有数组项非常有用。
map()
也返回一个数组,而这个数组的每一项都是在原始数组中的对应项上运行传入函数的结果。例如,可以给数组中每一项乘以 2,然后返回这些乘积组成的数组,如下所示:
1 | var numbers = [1, 2, 3, 4, 5, 4, 3, 2, 1]; |
以上代码返回的数组中包含给每个数乘以 2 之后的结果。这个方法适合创建包含的项与另一个数组一一对应的数组。
最后一个方法是 forEach()
,它只是对数组中的每一项运行传入的函数。这个方法没有返回值,本质上与使用 for 循环迭代数组一样。例如:
1 | var numbers = [1, 2, 3, 4, 5, 4, 3, 2, 1]; |
支持这些迭代方法的浏览器有 IE9+、Firefox 2+、Safari 3+、Opera 9.5+ 和 Chrome。
9.归并方法
ES5 还新增了两个归并数组的方法:reduce()
和 reduceRight()
。这两个方法都会迭代数组的所有项,然后构建一个最终返回的值。其中,reduce()
方法从数组的第一项开始,逐个遍历到最后。而 reduceRight()
则从数组的最后一项开始,向前遍历到第一项。
这两个方法都接收两个参数:一个在每一项上调用的函数和(可选的)作为归并基础的初始值。传给 reduce()
和 reduceRight()
的函数接收 4 个参数:前一个值、当前值、项的索引和数组对象。这个函数返回的任何值都会作为第一个参数自动传给下一项。第一次迭代发生在数组的第二项上,因此第一个参数是数组的第一项,第二个参数就是数组的第二项。
使用 reduce()
方法可以执行求数组中所有值之和的操作,比如:
1 | var values = [1, 2, 3, 4, 5]; |
第一次执行回调函数,prev
是 1
,cur
是 2
。第二次,prev
是 3
(1 + 2 的结果),cur
是 3
(数组的第三项)。这个过程会持续到把数组中的每一项都访问一遍,最后返回结果。
reduceRight()
的作用类似,只不过方向相反而已。
1 | var values = [1, 2, 3, 4, 5]; |
这个例子中,第一个执行回调函数,prev
是 5
,cur
是 4
。当然,最终结果相同,因为执行的都是简单相加的操作。
使用 reduce()
还是 reduceRight()
,主要取决于要从哪头开始遍历数组。除此之外,它们完全相同。
支持这两个归并函数的浏览器有 IE9+、Firefox 3+、Safari 4+、Opera 10.5+ 和 Chrome。