Flow/TS中如何为类/构造函数添加类型标注？工厂模式场景

先澄清一个关键误区：你提到的doSomethingWithClass(MyClass: MyClass)写法不仅语法错误，而且从类型逻辑上来说，它确实是期望传入MyClass的实例，而非类本身。因为在TypeScript和Flow的类型系统里，MyClass作为类型时，默认指代的是该类实例的类型；而类本身（构造函数）的类型需要专门的标注方式。

下面分别针对TypeScript和Flow给出正确的写法，尤其是工厂模式下的通用标注方案：

TypeScript 实现方式 #

在TS中，类本身的类型可以用typeof ClassName直接获取，或者通过定义构造函数签名的泛型类型来实现通用工厂。

1. 针对特定类的标注 #

class MyClass {
  constructor(public name: string) {}
}

// 参数标注为 typeof MyClass，表示传入MyClass的构造函数本身
function doSomethingWithClass(cls: typeof MyClass) {
  // 可以直接new这个构造函数生成实例
  return new cls("Alice");
}

// 使用：传入类本身，而非实例
const myInstance = doSomethingWithClass(MyClass);

2. 通用工厂函数（支持任意类） #

如果你的工厂函数需要兼容多种类，可以用泛型+构造函数签名来定义：

// 定义一个通用构造函数类型：能构造出T类型实例的构造函数
type Constructor<T = {}> = new (...args: any[]) => T;

// 工厂函数：接收构造函数和参数，返回对应实例
function factory<T>(cls: Constructor<T>, ...args: any[]): T {
  return new cls(...args);
}

// 使用示例：可以传入任意类
class User {
  constructor(public id: number) {}
}

const userInstance = factory(User, 123);
const myClassInstance = factory(MyClass, "Bob");

如果需要限定构造函数的参数类型，也可以细化构造函数签名，比如：

// 限定构造函数必须接收一个string参数
type StringConstructor<T> = new (name: string) => T;

function nameFactory<T>(cls: StringConstructor<T>, name: string): T {
  return new cls(name);
}

Flow 实现方式 #

Flow中构造函数的类型用Class<T>来表示，同样支持泛型实现通用工厂。

1. 针对特定类的标注 #

// @flow
class MyClass {
  name: string;
  constructor(name: string) {
    this.name = name;
  }
}

// 参数标注为 Class<MyClass>，表示传入MyClass的构造函数
function doSomethingWithClass(cls: Class<MyClass>) {
  return new cls("Alice");
}

const myInstance = doSomethingWithClass(MyClass);

2. 通用工厂函数 #

// @flow
// 定义通用构造函数类型
type Constructor<T> = Class<T>;

function factory<T>(cls: Constructor<T>, name: string): T {
  return new cls(name);
}

// 使用示例
class User {
  id: number;
  constructor(id: number) {
    this.id = id;
  }
}

const userInstance = factory(User, 123);
const myClassInstance = factory(MyClass, "Bob");

核心总结 #

• 实例类型 vs 构造函数类型：MyClass（类型）指代类的实例；typeof MyClass（TS）/Class<MyClass>（Flow）指代类的构造函数本身。
• 工厂模式中，一定要给参数标注构造函数类型，而非实例类型，否则会导致类型不匹配错误。
• 泛型方案可以让工厂函数更灵活，支持多种类的实例创建。

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