重写带泛型的父类函数时出现类型不兼容错误的求助

问题本质 #

原代码中父类BaseModel将泛型定义在方法级别，这意味着getAttribute被设计为：调用者可以指定任意T extends BaseModel类型，方法需返回对应T的属性键。但子类Sale重写后仅能返回keyof Sale，这违背了父类方法的契约——父类承诺适配所有BaseModel子类的键，子类却只返回自身的键，因此TypeScript触发类型不兼容错误。

你尝试给子类方法加泛型的思路也不对，因为这依然要求方法支持任意T extends Sale的类型，但你实际返回的是固定的'payment'，对Sale的子类来说依然可能不兼容。

正确解决方案 #

将泛型从方法级别提升到类级别，让每个子类继承时绑定自身类型：

class BaseModel<T extends BaseModel<T>> {
  protected getAttribute(): keyof T | null {
    return null;
  }
}

class Payment extends BaseModel<Payment> {}
class Item extends BaseModel<Item> {}

class Sale extends BaseModel<Sale> {
  value?: number;
  payment?: Payment;
  items?: Item[];

  protected override getAttribute(): keyof Sale | null {
    return 'payment';
  }
}

方案说明 #

1. 类级别的递归泛型约束T extends BaseModel<T>，确保每个子类传入的泛型参数是自身类型，避免类型混乱
2. 父类的getAttribute不再是泛型方法，而是返回绑定到当前类泛型T的属性键，明确了方法的语义：返回当前类的属性键
3. 子类Sale继承BaseModel<Sale>后，重写的getAttribute返回keyof Sale，完全匹配父类的方法签名，不会触发类型冲突

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