TypeScript泛型类限制类型报错：FirstClass不匹配new(...args:any):any签名

报错原因 #

你遇到的Type 'FirstClass' provides no match for the signature 'new (...args: any): any'错误，根源在于类型约束的定义和实际需求不匹配：

• 你定义的HasPrimitives要求类型是「带hasPrimitives方法的构造函数」，但你的FirstClass里的hasPrimitives是实例方法，类本身（构造函数）并没有这个静态方法，因此FirstClass不满足HasPrimitives的约束。
• 同时build方法的参数定义和参数传递逻辑也存在问题：既没有正确接收构造函数的参数，也没有处理ConstructorParameters的正确使用场景。

针对「实例拥有hasPrimitives方法」的解决方案 #

如果你的需求是类的实例必须包含hasPrimitives方法，可以按以下方式调整代码：

1. 定义实例的类型约束 #

先明确实例需要满足的接口：

// 约束实例必须有hasPrimitives方法
type HasPrimitivesInstance = {
  hasPrimitives(): boolean;
};

2. 重构泛型类 #

泛型类的类型参数约束为实例类型，同时build方法通过泛型参数约束构造函数类型，确保参数和构造函数匹配：

class GenericClass<T extends HasPrimitivesInstance> {
  // 接收实例，调用实例的hasPrimitives方法
  testFunction(example: T) {
    console.log(example.hasPrimitives());
  }

  // 接收构造函数和对应参数，返回实例
  build<Ctor extends new (...args: any[]) => T>(
    Ctor: Ctor,
    ...args: ConstructorParameters<Ctor>
  ): T {
    return new Ctor(...args);
  }
}

3. 使用示例 #

class FirstClass {
  id: number;

  constructor(id: number){
    this.id = id;
  }

  // 实例方法，满足HasPrimitivesInstance约束
  hasPrimitives() {
    return true;
  }
}

const genericInstance = new GenericClass<FirstClass>();
// 调用testFunction，传入实例
const testInstance = new FirstClass(1);
genericInstance.testFunction(testInstance); // 输出true

// 调用build方法，传入构造函数和参数
const newInstance = genericInstance.build(FirstClass, 123);
console.log(newInstance.id); // 123

针对「类本身（静态）拥有hasPrimitives方法」的解决方案 #

如果你的需求是类本身必须包含静态的hasPrimitives方法，调整如下：

1. 定义构造函数的类型约束 #

// 约束构造函数必须有静态的hasPrimitives方法，且能实例化
type HasPrimitivesConstructor = {
  new(...args: any[]): any;
  hasPrimitives(): boolean;
};

2. 重构泛型类 #

class GenericClass<T extends HasPrimitivesConstructor> {
  // 接收构造函数，调用静态的hasPrimitives方法
  testFunction(ctor: T) {
    console.log(ctor.hasPrimitives());
  }

  // 接收构造函数和对应参数，返回实例
  build(Ctor: T, ...args: ConstructorParameters<T>): InstanceType<T> {
    return new Ctor(...args);
  }
}

3. 使用示例 #

class FirstClass {
  id: number;

  constructor(id: number){
    this.id = id;
  }

  // 静态方法，满足HasPrimitivesConstructor约束
  static hasPrimitives() {
    return true;
  }
}

const genericInstance = new GenericClass<FirstClass>();
// 调用testFunction，传入类本身
genericInstance.testFunction(FirstClass); // 输出true

// 调用build方法创建实例
const newInstance = genericInstance.build(FirstClass, 456);
console.log(newInstance.id); // 456

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