如何借助 Symbol.species 限制子类继承时的返回类型安全

Symbol.species 用于让子类方法按需指定返回实例的构造函数：未定义时默认用 this.constructor，定义后则按指定构造器创建实例；Array、Promise 等内置方法均依赖它，但 Array.from、Array.of 及扩展运算符等不走该机制。

直接说结论：Symbol.species 不是用来“限制”返回类型的，而是让子类方法能按需决定返回哪个构造函数的实例——不设它，默认用 this.constructor；设了它，就按你指定的来。安全与否，取决于你是否显式控制了构造逻辑。

为什么 Array 子类的 map/filter 返回的是 Array 而不是子类实例

这是最常踩坑的起点。比如你写：

class MyArray extends Array {  getFirst() { return this[0]; }}const a = new MyArray(1, 2, 3);const mapped = a.map(x => x * 2);

此时 mapped instanceof MyArray 是 false，因为 Array.prototype.map 内部会读取 this.constructor[Symbol.species]，而默认没定义，就 fallback 到 this.constructor —— 看似合理，但问题出在：如果子类自己重写了 constructor 或原型链被污染，this.constructor 可能不可靠。

• 内置方法（如 map、filter、slice、concat）都走 Symbol.species 分支
• Array.from 和 Array.of 不走这个逻辑，它们直接用传入的 constructor 或硬编码 Array
• Promise 的 then/catch 同样依赖 Symbol.species，否则子类 Promise 链式调用后会退化成原生 Promise

如何正确定义 Symbol.species 静态 getter

必须是 static get [Symbol.species]()，且返回值必须是可构造函数（有 new 能力），否则运行时抛 TypeError: species constructor is not a function。

class MyArray extends Array {  static get [Symbol.species]() {    // ✅ 正确：返回父类，确保返回 plain Array    return Array;    // ❌ 错误：返回 undefined / null / 普通对象 / 箭头函数 → 报错    // return undefined;  }  getFirst() { return this[0]; }}

• 返回 Array：所有衍生方法返回 Array 实例，放弃子类方法（如 getFirst）
• 返回 this：等价于不定义，仍用子类自身构造，但注意：若子类被多次继承（如 SuperMyArray extends MyArray），this 指向当前调用者，可能不是你预期的类
• 返回自定义工厂函数：可以做参数校验或日志，但必须返回新实例，不能只返回普通对象

Promise 子类中 Symbol.species 的典型误用

Promise 衍生方法（then、catch）严格依赖 Symbol.species 来保持类型。如果你写了：

class LoggedPromise extends Promise {  static get [Symbol.species]() {    return Promise; // ❌ 这会让 then 返回原生 Promise，丢失子类行为  }  then(onFulfilled, onRejected) {    console.log('logged then');    return super.then(onFulfilled, onRejected);  }}

那么 new LoggedPromise(...).then(...) 返回的是 Promise，不是 LoggedPromise，then 方法里的日志只触发一次。

• ✅ 正确做法：返回 LoggedPromise 自身，或一个能兼容 Promise 构造签名的包装器
• ⚠️ 注意：如果子类构造函数签名与原生 Promise 不一致（比如多了一个参数），Symbol.species 返回该子类会导致 then 内部 new 失败 —— 必须保证构造函数能接受 (executor) 参数
• TypedArray（如 Uint8Array）同理，map 等方法也走 Symbol.species，但错误处理更静默，容易漏掉

容易被忽略的边界点

Symbol.species 不是银弹，它只影响「由内置方法主动创建新实例」的场景。很多看似相关的行为其实绕过了它：

• JSON.parse(JSON.stringify(arr)) 不走 Symbol.species，结果是普通 Array
• 扩展运算符 [...arr] 也不走，它调用的是 arr[Symbol.iterator]，跟 species 无关
• 手动 new arr.constructor() 绕过 species，直接用 this.constructor
• 如果子类覆盖了 map 等方法但没在内部显式使用 this.constructor[Symbol.species]，那 Symbol.species 完全不生效

真正关键的，是你是否在方法实现里主动读取并使用了它 —— 内置方法做了，你自定义的方法得自己补上。