Typescript 用泛型类型覆盖父类函数导致类型y中的Property x不能赋给基类型Parent中的相同属性."'''''' "

的问题

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

getAttribute()是一个generic方法/函数，其中类型参数T附加到call signature.因此，它与函数参数一起在call site处被指定. 写getAttribute()的人不能 Select T，而是写calls的人. 因此，BaseModel是类，它的getAttribute()方法将接受caller想要的任何T，constrained到BaseModel，并返回keyof T或null. 事实上，你试图用不起作用的东西覆盖子类中的getAttribute()，这意味着你没有把泛型放在正确的位置.

相反，在概念上，您希望getAttribute()本身不是一个泛型方法.BaseModel类本身应该是泛型的.更像是BaseModel<T>.getAttribute()，更像是BaseModel.getAttribute<T>(). 这意味着BaseModel不再是一个特定的类型.如果我们做了这个改变，将T extends BaseModel从getAttribute()移到类声明中，并将每一个BaseModel替换为BaseModel<T>来替换一个适当的T，看起来像这样:

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';
  }
}

这样做很好，因为现在getAttribute()只能返回keyof T，用于包含类中定义的T. Payment就是Payment(Payment extends BaseModel<Payment>)，Item就是Item，Sale就是Sale.

所以这就解决了问题.但是:

这是一个curious类型的参数声明，不是吗？ 我们得到了T extends BaseModel<T>，其中T受其自身函数的约束.另一种说法是，对于某个类型函数F，T是bounded乘F<T>.T是一个"F-bounded"通用.

如果你有一个形式为interface Foo<T extends Foo<T>> {⋯}、type Bar<T extends Bar<T>> = ⋯;或class Baz<T extends Baz<T>> {⋯}的F边界泛型，你可以经常(但不总是)用the polymorphic this type来避免泛型.this类型代表"当前"类型，它自动缩小子类型. 在BaseModel里面，this是BaseModel的一个子类型.但是在Payment里面，this是Payment的一个子类型. 本质上this是implicitly一个F—有界泛型. 这建议我们做出以下改变:

class BaseModel {
  protected getAttribute(): keyof this | null {
    return null;
  }
}

class Payment extends BaseModel { }
class Item extends BaseModel { }

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

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

显式泛型消失了，getAttribute()返回keyof this | null. 幸运的是，所有的编译都没有错误. 这可能会也可能不会最终适用于您的用例.对于T extends BaseModel<T>，你总是可以决定何时停止继承泛型，而this总是this，并且随着继承变得越来越窄.使用keyof this很容易，但如果你试图返回this，你会发现它有点棘手. 我不打算离题到什么时候以及如何为你工作.我只是说:try 它是合理的，记住如果你必须的话，你可以回到显式的F—有界泛型.

Playground link to code