如何让泛型类的make静态方法正确验证继承类的Props参数？

问题原因 #

核心问题是父类的静态make方法没有正确关联子类的泛型Props类型约束，导致TypeScript无法校验传入参数的完整性。通常是因为静态方法的参数类型未绑定到父类泛型参数，或是使用any这类宽松类型绕过了检查。

解决方案 #

给静态make方法添加构造函数类型约束，让TypeScript自动推断子类的Props类型，从而严格校验传入参数。

修正后的代码示例 #

基础实现

// 定义必填的Props类型
type UserProps = {
  name: string;
  age: number;
};

class Parent<T> {
  props: T;

  constructor(props: T) {
    this.props = props;
  }

  // 关键：用this类型约束关联构造函数的泛型参数
  static make<T>(this: new (props: T) => Parent<T>, props: T): Parent<T> {
    return new this(props);
  }
}

// 子类继承时指定泛型Props
class Child extends Parent<UserProps> {}

// 此时TS会报错：Property 'age' is missing in type '{ name: string; }' but required in type 'UserProps'
const invalidChild = Child.make({ name: "Alice" });

// 正确传入所有字段才会通过检查
const validChild = Child.make({ name: "Alice", age: 30 });

带运行时校验的增强版

如果需要同时保障编译时和运行时的参数完整性，可以在make方法中加入运行时检查：

class Parent<T> {
  props: T;

  constructor(props: T) {
    this.props = props;
  }

  static make<T>(this: new (props: T) => Parent<T>, props: T): Parent<T> {
    // 示例：针对UserProps的运行时校验，可根据实际类型调整
    const requiredFields: Array<keyof T> = ['name', 'age'] as Array<keyof T>;
    const missingFields = requiredFields.filter(field => !(field in props));
    
    if (missingFields.length > 0) {
      throw new Error(`缺失必填字段：${missingFields.join(', ')}`);
    }

    return new this(props);
  }
}

原理说明 #

静态方法中的this: new (props: T) => Parent<T>是TypeScript的this类型注解，它告诉编译器：调用这个静态方法的类必须是一个能接受T类型参数并返回Parent<T>实例的构造函数。当子类Child继承Parent<UserProps>后，T会被自动推断为UserProps，从而让make方法的参数严格遵循UserProps的类型约束。

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