如何为类转工厂函数转换器添加TypeScript类型注解

这两个问题的核心都是没有为传入的构造函数提供正确的类型签名，导致TypeScript无法识别它的可构造性，也没法推断构造参数的类型。下面是完整的解决方案：

正确的类型注解实现 #

我们需要用泛型关联构造函数和实例的类型，同时用构造签名和元组泛型来捕获构造参数的类型：

function createInstance<T, Args extends unknown[]>(
  clazz: new (...args: Args) => T,
  ...args: Args
): T {
  return new clazz(...args);
}

为什么这样写能解决问题？ #

1. 解决new关键字的错误：
   类型new (...args: Args) => T是一个构造签名，明确告诉TypeScript：clazz是一个可以用new关键字调用的构造函数，它接收Args类型的参数，返回T类型的实例。这样TypeScript就不会再报错“缺少构造签名”了。

2. 实现构造参数的类型补全与检查：
   泛型Args extends unknown[]用来捕获构造函数的参数元组类型，然后通过...args: Args将函数的Rest参数和构造函数的参数类型绑定。TypeScript会自动根据传入的clazz推断出Args的具体类型，从而提供参数补全，并且在参数类型不匹配时抛出错误。

示例验证 #

我们用一个实际的类来测试这个工厂函数：

class User {
  constructor(public name: string, public age: number) {}

  greet() {
    console.log(`Hello, I'm ${this.name}, ${this.age} years old`);
  }
}

// 调用时会自动提示参数类型，且类型检查生效
const validUser = createInstance(User, "Alice", 30);
validUser.greet(); // 正常调用方法

// 参数类型错误时，TypeScript会直接报错
const invalidUser = createInstance(User, 30, "Alice"); // ❌ 类型不匹配：number不能赋值给string

额外优化（可选） #

如果你想避免unknown[]的宽泛性，可以根据实际需求限制参数类型，比如要求构造函数必须接收至少一个参数，或者参数必须是某种特定类型，但上面的写法已经能覆盖绝大多数场景。

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