如何通过Symbol.species调整子类在集合操作后返回的实例类型？

本文共计951个文字，预计阅读时间需要4分钟。

`Symbol.species 是一个内置符号，用于指定构造函数在创建实例时应该使用的替代构造器。它主要影响数组、Promise、TypedArray 等内置类的实例化，当执行 `map`、`filter`、`slice`、`concat` 等操作时，会返回新实例。此时，返回的是原类的实例，还是由 `[Symbol.species]` 指定的构造器创建的实例，取决于 `[Symbol.species]` 的值。`[Symbol.species]` 指定的构造器创建的实例，如果是原类的实例，则返回原类实例；如果不是，则返回由指定构造器创建的实例。

为什么需要 Symbol.species？

当继承 Array、Promise 等内建类时，如果不干预，默认行为是：调用 map() 会返回父类（如 Array）的实例，而不是你的子类实例 —— 这通常不符合预期。比如你写了一个带额外方法的 MyArray，却在 myArr.map(...) 后得到普通 Array，丢失了自定义能力。

Symbol.species 就是用来告诉 JavaScript：“请用这个构造器来创建新实例”，从而让集合操作保持类型一致性。

如何设置 Symbol.species？

在派生类中，通过静态 getter 定义 [Symbol.species]，返回期望用于创建新实例的构造器：

• 返回 this → 使用当前类（最常见）
• 返回 Array 或其他构造器 → 强制返回对应类型
• 返回 null 或 undefined → 回退到默认逻辑（通常是父类）

示例：让 MyArray 的 map 返回自身实例：

class MyArray extends Array { static get [Symbol.species]() { return this; // 或 MyArray，但 this 更支持多层继承 } doubled() { return this.map(x => x * 2); } } <p>const arr = new MyArray(1, 2, 3); const mapped = arr.map(x => x + 10); // 返回 MyArray 实例，不是 Array console.log(mapped instanceof MyArray); // true console.log(mapped.doubled()); // [22, 24, 26] —— 可调用自定义方法

哪些方法受 Symbol.species 影响？

并非所有方法都使用它。受影响的是那些返回新同类实例的“派生型”方法，包括：

• Array.prototype.map、filter、slice、concat、flat、flatMap
• Promise.prototype.then、catch（返回新 Promise）
• TypedArray.prototype.map、filter 等
• RegExp.prototype[Symbol.replace] 等部分正则方法

注意：push、pop、sort 等就地修改方法不受影响；Array.from 和 Array.of 也不走 species，它们直接调用构造器。

实际应用中的注意事项

• Symbol.species 是静态属性，必须定义在类本身，不能在实例上设置
• 若子类未定义，会沿原型链查找；若都未定义，则使用默认构造器（如 Array）
• 在 Promise 子类中，then() 返回的 Promise 类型由 [Symbol.species] 决定，可用于实现“不可取消的 Promise 包装器”等模式
• 避免返回不兼容构造器（如无 length 或无法接受类数组参数），否则可能抛错

例如，强制 MyArray.map 总返回普通 Array（极少用，但可行）：

class MyArray extends Array { static get [Symbol.species]() { return Array; } } const arr = new MyArray(1, 2); console.log(arr.map(x => x * 2) instanceof MyArray); // false console.log(arr.map(x => x * 2) instanceof Array); // true