如何从超类方法返回子类型而不是超类类型

Question

我认为这是正确实现泛型的问题，但我不确定。

我创建了一个 Github gist 来代表这里的问题： https://gist.github.com/ORESoftware/66b72b4b85262d957cb03ad097e4743e

假设我有这个超类：

  class A {

    foo(): A {
      return this;
    }

  }

还有几个子类，例如一个看起来像这样：

   class B extends A {

     bar(): B {
      return this;
     }

   }

如果我这样做了

new B().foo().bar()

这将在运行时工作，但它不能使用 TypeScript 编译。这是因为foo() 声明返回类型为A，而不是类型B。

如何返回 this 的类型，而不是声明 foo() 始终返回类型 A？

我试过这个：

但我收到此错误：

Answer 1

您必须使用polymorphic this type 返回this 的类型。

abstract class A {
    foo(): this {
        return this;
    }
}

class B extends A {
    bar(): this {
        return this;
    }
}

这将允许

const b = new B();

b.foo().bar();

Answer 2

我有两个例子给你，一个是重载的，一个是泛型​​接口的。

重载

如果您打算让new C().foo().zoom() 版本工作，您可以实现这一点，同时仍然会收到有关以下代码的bar() 错误的警告，这会创建一个兼容的重载，该重载返回该类型的子类型父类：

class A {
  foo(): A {
    return this;
  }
}

class B extends A {
  foo(): B {
    return this;
  }

  bar(): B {
    return this;
  }
}

class C extends A {
  foo(): C {
    return this;
  }

  zoom(): C {
    return this;
  }
}

const result = new C().foo().zoom();

如果您的代码中的真实方法确实做了您想要重用的事情，您可以调用 super.foo()... 但在示例代码中不需要。

  foo(): C {
    const a = super.foo();
    // You still need to return this, as it is a C, not an A.
    return this;
  }

泛型

您不能将基类设为泛型，以返回类型T。您不能将类用作其自身类型参数的类型约束。您还有一个问题，A 不能保证与扩展 A 的 T 兼容。

你可以做的是引入一个接口，并在每个类上使用它：

interface Fooable<T> {
  foo(): T;
}

class A {
  foo(): any {
    return this;
  }
}

class B extends A implements Fooable<C> {
  bar(): B {
    return this;
  }
}

class C extends A implements Fooable<C> {
  zoom(): C {
    return this;
  }
}

const result = new C().foo().zoom();