typescript - 抽象类作为类型的实现

Question

我想为我的类的属性定义一个类型:

abstract class CoolStuff {
    protected abstract service: any;
}

这个服务也是一个抽象:

abstract class BaseService<T,K> {
     // Code
}

所以我希望这样:

abstract class CoolStuff {
    protected abstract service: BaseService
}

但是编译器希望我定义T 和K。但是这些已经在实现的服务中定义了:

class ActualService extends BaseService<Collection, Model>{
    // Code
}

所以我想做的是:

abstract class CoolStuff {
    protected abstract service: instanceof BaseService;
}

但是如何呢？

Answer 1

最好的方法是制作CoolStuff同样也是通用的，然后您可以在 CoolStuff 的派生类中指定实际类型

abstract class CoolStuff<T, K> {
    protected abstract service: BaseService<T, K>;
}

class CoolStuffWithActualService extends CoolStuff<Collection, Model> {
    protected service: ActualService
}

您也可以通过指定 any 来解决问题作为 CoolStuff 中的类型参数, 但这会导致基类中的类型较弱，因为它可以将任何内容传递给 BaseService这可能是个问题。

abstract class CoolStuff {
    protected abstract service: BaseService<any, any>;
}

class CoolStuffWithActualService extends CoolStuff {
    protected service: ActualService
}

编辑

第三种选择是将服务类型本身作为 CoolStuff 的类型参数并将其约束为 BaseService<any, any> 类型

abstract class CoolStuff<TService extends BaseService<any, any>> {
    protected abstract service: TService
}

class CoolStuffWithActualService extends CoolStuff<ActualService> {
    protected service!: ActualService
}