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

Question

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

我创建代表这里的问题Github的要点是： 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

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

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也有问题，不能保证兼容T，延伸A。

什么你可能要做的是引入一个接口，并用它在每个类：

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();