打字稿泛型。不能将 B 的实例传递给参数 a: T where T extends B. 为什么？

Question

我有课：

class X<T extends B> [...]
  // this.p.a :: B | null
  methodA(a: T):void {[...]}

  methodB(): void {
    if(this.p.a){ // :: B
      this.methodA(this.p.a) // Error

如您所见，我将T 转为任何类型，只要它扩展B，然后我将一些属性传递给它所述类型B。但是 Typescript 无法推断出B 是满足上述代码 sn-p 的最后一行 T 类型参数的类型。

错误信息：

error TS2345: Argument of type 'B' is not assignable to parameter of type 'T'.

为什么这不起作用？ 我是否应该将任何有问题的类型声明更改为 B 而不是 T 并继续继承？

Answer 1

您收到错误是因为有人可能使用X<T>，其中T 是B 的子类，然后this.p.a 可能是B 而不是T。要了解解决错误的最佳方法，我们需要更多地了解您想要实现的目标。