TypeScript 如何用泛型实现类型安全的类工厂函数并解决类型报错

可以仅通过泛型实现需求，无需编写多重重载。

报错原因 #

你遇到的类型报错源于TypeScript对联合类型泛型的内部推导限制：当泛型约束为typeof A | typeof B | typeof C这类具体类的联合时，TS在函数内部无法建立「传入的类构造函数」和「对应的构造参数、返回实例类型」的关联关系，会把构造参数的联合类型收窄为never，同时也无法匹配实例与InstanceType<T>的类型对应。

正确实现 #

方案1：通用构造函数约束（支持任意单参数构造函数） #

class A {
  constructor(public a: number) {}
}

class B {
  constructor(public b: string) {}
}

class C {
  constructor(public c: boolean) {}
}

function abcInitializer<T extends new (arg: any) => any>(
  Clazz: T,
  args: ConstructorParameters<T>[0]
): InstanceType<T> {
  return new Clazz(args);
}

// 调用侧完全类型安全
const resultA = abcInitializer(A, 12); // 类型自动推导为A
const resultB = abcInitializer(B, 'test'); // 类型自动推导为B
const resultC = abcInitializer(C, true); // 类型自动推导为C
// 错误传参直接触发校验：abcInitializer(A, '12') 会报参数类型错误

方案2：严格限制仅支持A/B/C三个类 #

如果不希望工厂函数支持其他类，只需要在泛型约束上限制允许的类，再加一处安全的类型断言即可：

type AllowClazz = typeof A | typeof B | typeof C;

function abcInitializer<T extends AllowClazz>(
  Clazz: T,
  args: ConstructorParameters<T>[0]
): InstanceType<T> {
  // 断言完全安全，泛型约束已经保证了入参的对应关系
  return new (Clazz as new (arg: typeof args) => InstanceType<T>)(args);
}

这种写法下，传入非A/B/C的类会直接触发类型报错，调用侧的参数校验、返回值类型推导和重载方案完全一致。

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