如何在TypeScript中定义类数组（而非实例数组）

我完全懂你碰到的这个坑——你想维护一个可以后续实例化的类的集合，但现在TypeScript报错说typeof Greeter不能赋值给BaseGreeter，本质原因就是你搞混了「实例类型」和「构造函数类型」的区别。

为什么会报错？ #

在TypeScript里：

• BaseGreeter是实例类型，代表的是BaseGreeter类new出来的对象的类型；
• 而Greeter这个类本身的类型是typeof Greeter，也就是构造函数类型——它描述的是用来创建实例的那个函数，而不是实例本身。

你原来的数组定义应该是写成了BaseGreeter[]，也就是期望存实例，但你实际塞进去的是类本身，类型自然不匹配。

解决方案：定义构造函数类型的数组 #

我们需要明确告诉TypeScript，这个数组要存的是「能创建BaseGreeter实例的构造函数」，而不是实例本身。

步骤1：定义构造函数类型

首先创建一个类型别名，用来描述符合要求的构造函数：

// 这里定义的是「无参数，返回BaseGreeter实例」的构造函数类型
type BaseGreeterConstructor = new () => BaseGreeter;

如果你的子类构造函数需要参数（比如需要传入name），可以调整成对应的参数列表：

// 带参数的构造函数类型
type BaseGreeterConstructor = new (name: string) => BaseGreeter;

步骤2：声明构造函数数组

把数组的类型指定为刚才定义的构造函数类型数组：

const greeterClasses: BaseGreeterConstructor[] = [];

步骤3：添加类到数组

现在就可以安全地把Greeter类本身（不是实例）push进去了：

greeterClasses.push(Greeter);

步骤4：后续实例化

遍历数组，调用构造函数创建实例：

// 无参数构造的情况
const greeters = greeterClasses.map(cls => new cls());

// 带参数构造的情况
const greeters = greeterClasses.map(cls => new cls("World"));

完整示例代码 #

class BaseGreeter {
  greet(): string {
    return "Hello from Base";
  }
}

class Greeter extends BaseGreeter {
  private name?: string;

  // 支持两种构造方式：无参或带name参数
  constructor(name?: string) {
    super();
    this.name = name;
  }

  greet(): string {
    return this.name ? `Hello, ${this.name}!` : super.greet();
  }
}

// 定义匹配构造函数的类型
type BaseGreeterConstructor = new (name?: string) => BaseGreeter;

// 构造函数数组
const greeterClasses: BaseGreeterConstructor[] = [];

// 添加Greeter类
greeterClasses.push(Greeter);

// 实例化并测试
const greeters = greeterClasses.map(cls => [new cls(), new cls("Alice")]).flat();
greeters.forEach(g => console.log(g.greet()));
// 输出：
// Hello from Base
// Hello, Alice!

关键总结 #

核心就是区分清楚：

• 实例类型：BaseGreeter → 代表类的实例
• 构造函数类型：typeof BaseGreeter 或自定义的BaseGreeterConstructor → 代表类本身

当你需要存储类以便后续实例化时，一定要用构造函数类型来定义数组，这样TypeScript就不会再报错啦。

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