JavaScript 数组的 species：map 生成了子类，为什么 toReversed 却返回普通数组
自定义数组子类里设置了Symbol.species，map返回预期的结果类；换用toReversed后，结果却没有那个类的原型。两个方法都能创建新数组，但并不因此共享相同的构造协议。迁移集合操作时，只检查元素值可能漏掉返回对象类型的变化。
下面在Linux、Node.js v24.19.0实跑。保存为demo.cjs，运行node demo.cjs，采用CommonJS格式。程序只创建自己的类与短数组，先用getter计数观察species读取，再让getter抛出一个受控错误，检查两条调用路径是否相同。
AI模型生成概念插图：同一个装饰托盘经过两种操作，一边仍得到装饰托盘，一边得到普通托盘；不是开发工具截图。
完整程序与本地结果
完整可运行程序
'use strict';
const assert = require('node:assert/strict');
class ResultList extends Array {}
let speciesReads = 0;
class SourceList extends Array {
static get [Symbol.species]() {
speciesReads += 1;
return ResultList;
}
}
const source = new SourceList(10, 20, 30);
const mapped = source.map(value => value + 1);
assert.equal(mapped instanceof ResultList, true);
assert.equal(speciesReads, 1);
console.log('map constructor:', mapped.constructor.name);
console.log('map values:', [...mapped].join(','));
console.log('species reads after map:', speciesReads);
const reversed = source.toReversed();
assert.equal(Object.getPrototypeOf(reversed), Array.prototype);
assert.equal(speciesReads, 1);
assert.deepEqual(reversed, [30, 20, 10]);
assert.deepEqual([...source], [10, 20, 30]);
console.log('toReversed constructor:', reversed.constructor.name);
console.log('species reads after toReversed:', speciesReads);
console.log('source values:', [...source].join(','));
class GuardedList extends Array {
static get [Symbol.species]() {
throw new Error('species read');
}
}
const guarded = new GuardedList(4, 5);
assert.throws(() => guarded.map(value => value), /species read/);
assert.deepEqual(guarded.toReversed(), [5, 4]);
console.log('throwing species: map fails, toReversed succeeds');本次实际输出（以下为结果，不是程序）
map constructor: ResultList map values: 11,21,31 species reads after map: 1 toReversed constructor: Array species reads after toReversed: 1 source values: 10,20,30 throwing species: map fails, toReversed succeeds
map会根据species选择结果构造器
SourceList的静态Symbol.species getter返回ResultList。执行map后，结果构造器名称为ResultList，元素成为11、21、31，读取次数是一。程序还通过instanceof检查实际关系，避免只凭可修改的constructor名称作判断。
这说明species用于指定派生结果怎样创建，不是指定回调怎样计算元素。返回的类可以不同于来源类；这里刻意分成SourceList与ResultList，让“仍是某种子类”不会被误读为“始终返回原来的那个类”。
toReversed直接建立普通Array
toReversed得到30、20、10，原型明确等于Array.prototype，构造器显示Array。species计数仍为一，说明本次没有再次读取该getter。规范中的这条路径使用ArrayCreate，map则使用与species相关的结果创建步骤。
来源仍然是10、20、30，说明本例的倒序结果独立于来源数组的排列。返回普通数组与是否改动来源是两个可以同时检查的事实；不能因为方法没有修改原数组，就进一步推断它会保留来源的自定义原型与附加能力。
抛错实验让调用边界更清楚
GuardedList的species getter一旦读取就抛错，map因此失败；对同一个对象调用toReversed却成功返回5、4。这个对照比单看计数更直接，因为它证明species本身可能带来的执行与异常，并不在两种方法中同样发生。
示例的异常完全来自本地定义的getter，没有读取外部数据。真实代码若把日志、注册或其他动作放在species里，应先认识到属性读取本身可能执行代码，不能假设每个产生新数组的方法都会触发同样的生命周期动作。
替换方法时检查下游依赖什么
如果下游紧接着调用ResultList特有的方法，接到普通Array后就可能失败，即使所有元素与顺序都正确。修复应从接口需要的结果类型出发：可以明确创建业务集合，也可以让下游只依赖普通数组支持的操作。
不要只把constructor属性改成想要的名字来伪装结果类型。对象的原型、内部状态与类构造过程中建立的约束仍可能不同。需要业务类实例时，应使用该类公开的构造或转换入口，并测试返回对象实际具备哪些行为。
species不是通用的复制开关
它不负责把来源实例的所有自有属性原样复制，也不自动深复制数组内的对象。本文用整数元素隔离构造协议问题，没有依赖复杂对象共享的效果。若集合还带有单位、筛选条件等元信息，应单独定义它们在变换后怎样保留。
同样，不应根据map这一例推断所有旧方法都完全一致，或根据toReversed推断每个新方法都无需检查。面对具体迁移，直接查目标方法的创建步骤，配合原型与getter观察，比按名字或发布时间猜测更可靠。
把类型与执行副作用一起写进回归
一个有效样本至少保存来源类型、结果原型、元素值、来源是否变化以及species读取次数。再补一个会抛错的getter，就能观察是否真正走过该入口。这样方法替换即使保留了表面结果，也不能悄悄改变下游依赖的调用条件。
运行环境需支持toReversed；本文已记录实际Node版本，没有提供旧环境的兼容实现。浏览器或其他运行器接入前应核对支持情况，再运行同样的最小实验。这个程序验证对象构造边界，不包含性能比较，也没有修改全局Array原型。
参考资料
资料核验日期：2026年10月2日。以上输出来自固定输入的本地实跑，程序退出码为0。
