TypeScript：如何在带约束的抽象方法中使用泛型参数？

问题场景 #

以下代码中，子类Child实现父类BaseClass的抽象泛型方法setFields时，指定参数为ChildArgs（继承自BaseArgs），却触发类型不兼容报错：

interface BaseArgs {
  service: string
}

abstract class BaseClass {
  constructor(name: string, args: BaseArgs) {
    this.setFields(args)
  }

  abstract setFields<T extends BaseArgs>(args: T): void
}

interface ChildArgs extends BaseArgs {
  newField: string
}

class Child extends BaseClass {
  setFields(args: ChildArgs): void {}
}

报错信息 #

Property 'setFields' in type 'Child' is not assignable to the same property in base type 'BaseClass'.
  Type '(args: ChildArgs) => void' is not assignable to type '<T extends BaseArgs>(args: T) => void'.
    Types of parameters 'args' and 'args' are incompatible.
      Type 'T' is not assignable to type 'ChildArgs'.
        Property 'newField' is missing in type 'BaseArgs' but required in type 'ChildArgs'.

问题根源 #

核心矛盾在于父类的抽象方法是泛型方法，它定义的契约是：任何子类都必须实现一个能接受所有BaseArgs子类类型的setFields方法。而你在子类中只让方法接受ChildArgs这一种特定类型，违反了这个契约：

• 父类构造函数中调用this.setFields(args)时，传入的是BaseArgs类型，子类的setFields无法处理该类型（缺少newField属性）；
• 从里氏替换原则来看，子类实例必须能完全替代父类实例使用，但你的子类方法参数范围比父类更窄，无法满足父类方法的所有调用场景。

解决方案 #

根据实际需求选择以下两种方案：

方案1：每个子类处理特定的Args类型 #

将泛型参数从方法移到类上，让每个子类绑定自己专属的Args类型，父类构造函数也使用类的泛型参数：

interface BaseArgs {
  service: string
}

abstract class BaseClass<T extends BaseArgs> {
  constructor(name: string, args: T) {
    this.setFields(args)
  }

  abstract setFields(args: T): void
}

interface ChildArgs extends BaseArgs {
  newField: string
}

class Child extends BaseClass<ChildArgs> {
  setFields(args: ChildArgs): void {}
}

方案2：子类方法接受任意BaseArgs子类 #

保持方法的泛型定义，或者直接将参数类型设为BaseArgs（因为BaseArgs是所有子类的基类，可接受任意子类实例）：

// 保持泛型方法
class Child extends BaseClass {
  setFields<T extends BaseArgs>(args: T): void {}
}

// 或者使用基类类型
class Child extends BaseClass {
  setFields(args: BaseArgs): void {}
}

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