JavaScript 类数组对象：定义、规则与实战解析

类数组对象的概念引入

早期开发者常通过 [].slice.call(arguments) 将 arguments 对象转换为数组，这得益于 arguments 具备类数组对象的特性。然而，对于“类数组对象”的确切定义，许多开发者此前并不清楚。

在阅读《Effective JavaScript》时，书中专门有一节探讨此概念，其解释令人印象深刻。

以下通过几个示例代码来具体说明。

a = "hello"
[].map.call(a, (e) -> e.toUpperCase()) # => [ 'H', 'E', 'L', 'L', 'O' ]
[].reduceRight.call(a, (acc, e) -> acc + e) # => 'olleh'
b = {1: "a", 2: "b", 4: "c", length: 6}
[].reduce.call(b, (acc, e) -> acc + e) # => 'abc'

前几个示例操作的是字符串，说明字符串也可被视为类数组对象。而后面的对象 b 同样被归类为类数组对象，这展示了其通用性。

类数组对象的判定规则

书中对此给出了明确的解释：

So what exactly makes an object “array-like”? The basic contract of
an array object amounts to two simple rules.
It has an integer length property in the range 0...2^32 – 1.
The length property is greater than the largest index of the object.
An index is an integer in the range 0...2^32 – 2 whose string representation
is the key of a property of the object.

判定规则仅包含上述两条简单准则。

规则验证与局限性分析

那么，为什么 arguments、字符串以及前文提到的对象 b 都能被视为类数组对象呢？

原因在于它们都拥有合法的 length 属性（值为 0 到 2**32 - 1 之间的整数），且该 length 属性的值大于对象中最大的索引值。例如：

b = {1: "a", 2: "b", 4: "c", length: 3}
[].reduce.call(b, (acc, e) -> acc + e) # => 'ab'

此时结果变为 'ab'，这是因为违反了规则2：length 属性设为 3，而最大索引值为 4，索引值大于 length，导致行为异常。

这一机制非常强大，仿佛只要定义了一个符合规范的接口，即可利用数组的所有方法。

实际上并非所有方法都可用，例如 Array.prototype.concat 无法使用，因为该方法旨在连接两个数组，非数组类型的对象无法直接调用。

此外需注意，字符串一旦创建便不可变（immutable），因此无论进行何种操作，其原始值保持不变。

尽管该书未深入解释为何满足这两个条件即可视为类数组对象，但鉴于作者为 ECMAScript 委员会成员，其结论具有高度可信度。至于背后的深层原理，目前尚未找到更详尽的解释。

以上即为关于 JavaScript 类数组对象的完整解析，希望读者能从中获益。