是否有 generics 表示法，所以 TypeScript 超类方法可以返回子类兼容的类型？

Question

这是我正在谈论的那种情况：

class Foo {
  constructor(public n: number) {}

  get value(): number { return this.n; }

  addTwo(): Foo {
    this.n += 2;
    return this;
  }
}

class Bar extends Foo {
  // Can I avoid the code below, and type addTwo() in a way
  //   that returns type Bar for a Bar instance?
  //
  // addTwo(): Bar {
  //   return super.addTwo() as Bar;
  // }

  addThree(): Bar {
    this.n += 3;
    return this;
  }
}

const baz: Bar = new Bar(7).addTwo().addThree();

对于最后一行，我收到此错误：

我找不到任何类型的符号来指代完成这项工作的this类型。 当访问该方法的实例本身是Bar类型时，我希望addTwo()方法被视为返回类型Bar 。

Answer 1

请参阅多态这种类型

这种类型的多态表示一种类型，它是包含 class 或接口的子类型。 这就是所谓的 F 有界多态性，很多人都知道它是流畅的 API 模式。 例如，这使得层次流畅的接口更容易表达。

class Foo {
  constructor(public n: number) {}

  get value(): number { return this.n; }

  addTwo(): this {
    this.n += 2;
    return this;
  }
}