TypeScript中如何在抽象类Animal中实现通用breed方法？

你想让抽象类Animal<T>里的breed方法自动返回当前子类的实例，不用每个子类都重写这个方法对吧？先看你最开始的思路：

abstract class Animal<T> {
  breed(mate: Animal<T>) {
    return new [该类动物的实例]()
  }
}
class Cat extends Animal<Cat>{}
let cat1 = new Cat();
let cat2 = new Cat();
let kitten = cat1.breed(cat2);

这种想法完全可行，不需要给每种动物单独实现breed方法，只是TypeScript的类型检查需要你做一点小调整。你提到在ES6里用new this.constructor()没问题，但TypeScript会报错：this expression is not constructable. Type 'Function' has no construct signatures.

这是因为TypeScript默认把this.constructor推断为Function类型，而Function没有构造签名，它不知道这个构造函数能生成T类型的实例。

解决方法1：类型断言明确构造函数类型 #

给this.constructor加上类型断言，直接告诉TypeScript它是一个能返回T实例的构造函数：

abstract class Animal<T> {
  breed(mate: Animal<T>): T {
    const Constructor = this.constructor as new () => T;
    return new Constructor();
  }
}

class Cat extends Animal<Cat> {}
class Dog extends Animal<Dog> {}

const cat1 = new Cat();
const cat2 = new Cat();
const kitten = cat1.breed(cat2); // kitten 类型是 Cat ✅

const dog1 = new Dog();
const dog2 = new Dog();
const puppy = dog1.breed(dog2); // puppy 类型是 Dog ✅

解决方法2：约束抽象类的构造函数类型 #

如果想更严谨，可以在抽象类里提前定义构造函数的类型，确保子类的构造函数符合要求：

abstract class Animal<T> {
  constructor() {}

  breed(mate: Animal<T>): T {
    return new (this.constructor as new () => T)();
  }
}

class Cat extends Animal<Cat> {}
const kitten = new Cat().breed(new Cat()); // 类型完全正确

额外注意点 #

• 要是子类的构造函数需要参数，你得在breed方法里处理参数传递逻辑，比如从当前实例或mate中提取必要参数。
• 子类继承时一定要正确指定泛型参数（比如Cat extends Animal<Cat>），这样TypeScript才能准确推断返回的实例类型。

这样通用的实现就能满足所有子类的需求啦~

内容的提问来源于stack exchange，提问作者user11406