如何推断TypeScript中可实例化类？优化实例创建遇类型问题求助

问题根源 #

你之前的写法里，T extends typeof Animal约束的是抽象构造函数类型，TypeScript无法确保传入的C是可实例化的子类（毕竟有可能直接传入抽象类Animal），因此抛出“抽象类无法实例化”的类型错误。

方案一：严格匹配抽象类构造参数（自动同步修改） #

如果所有子类都严格继承Animal的构造函数，我们可以直接复用Animal的构造参数类型，确保createAnimal函数会随Animal构造函数的修改自动适配：

abstract class Animal {
  constructor(public head: string, public leg: string, public hand: string, public foot: string) {}
}

class Bird extends Animal {}
class Human extends Animal {}
class Cat extends Animal {}

// 通用创建函数
function createAnimal<T extends Animal>(
  C: new (...args: ConstructorParameters<typeof Animal>) => T,
  ...args: ConstructorParameters<typeof Animal>
): T {
  return new C(...args);
}

// 使用示例
const bird = createAnimal(Bird, "鸟头", "鸟腿", "翅膀", "鸟爪");
const human = createAnimal(Human, "人头", "人腿", "人手", "人脚");
const cat = createAnimal(Cat, "猫头", "猫腿", "猫爪", "猫爪");

这里ConstructorParameters<typeof Animal>是TypeScript内置工具类型，用于提取Animal构造函数的参数列表。当你修改Animal的构造参数时，createAnimal的参数会自动同步更新，无需手动修改所有创建函数。

方案二：完全通用的实例创建函数（适配子类扩展） #

如果子类可能自定义构造参数（扩展父类构造逻辑），可以用更灵活的泛型写法，让函数自动推导构造函数的参数和实例类型：

// 通用实例创建函数，适配任意可实例化类
function createInstance<T, Args extends any[]>(
  C: new (...args: Args) => T,
  ...args: Args
): T {
  return new C(...args);
}

// 使用示例（适配基础子类）
const bird = createInstance(Bird, "鸟头", "鸟腿", "翅膀", "鸟爪");
const human = createInstance(Human, "人头", "人腿", "人手", "人脚");

// 适配带自定义构造参数的子类
class Dog extends Animal {
  constructor(head: string, leg: string, hand: string, foot: string, public tail: string) {
    super(head, leg, hand, foot);
  }
}

const dog = createInstance(Dog, "狗头", "狗腿", "狗爪", "狗爪", "狗尾巴");

这个版本不依赖Animal的具体类型，完全通过泛型推导实现，不管父类构造函数如何修改、子类如何扩展，都能自动适配，彻底解决冗余和维护成本问题。

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