为泛型的实现类的变量提供扩展功能到子类

Question

我不熟悉泛型，并且深入研究了一些基本上超出我知识范围的东西，所以请耐心听我说。也许我问的问题很傻，但我似乎无法找到一个明确的答案来说明我希望做的事情是否可行，也许是因为我不知道要寻找的正确术语。

我有两个Java类，它们由一个T类型的实体参数化——一个存储库和一个服务。由于我的所有存储库和所有服务都将执行一些相同的基本任务，因此我的通用repo和服务已经实现了上述任务，并通过受保护的功能将它们提供给任何扩展它们的东西。到目前为止，一切都很顺利。目前它们看起来像这样：

存储库类：

public interface GenericRepo<T> {
    protected T findObject();
}

服务等级：

public class GenericService<T> {
    private GenericRepo<T> repo;

    public GenericService(GenericRepo<T> repo) {
        this.repo = repo;
    }

    protected T findObject() {
        return this.repo.findObject();
    }
}

当我希望扩展我的服务并允许人们使用存储库的子类时，问题就来了。虽然许多实体是基本的，并且功能包含在泛型函数中，但有时需要特殊情况才能在实体上执行附加功能。在设置中，存储库被实现/扩展，然后扩展类被传递给服务（它接受它，因为它是GenericRepo的一种类型

public class ExtendedRepo implements GenericRepo<Entity> {
   protected Entity findObjectByWeirdKeyOnEntity(String weirdKey) {
       //awesome code that does stuff here
   }
}

我还将该服务声明为通用服务，因为该服务上也有很多定制功能的可能性。因此，GenericService的扩展如下：

public class ExtendedService extends GenericService<Entity> {
    public ExtendedService(ExtendedRepo repo) {
        super(repo);
    }

    public Entity findObjectByWeirdKeyOnEntity() {
        // Do stuff to generate weird key to search by
        return this.repo.findObjectByWeirdKeyOnEntity(weirdKey);
    }
}

这允许我在服务上执行自定义函数，但也可以利用通用服务上的所有基本函数，而无需复制代码。但是，因为GenericService中的变量repo被声明为类型GenericRepo

public class ExtendedService extends GenericService<Entity> {
    private ExtendedRepo extendedRepo;

    public ExtendedService(ExtendedRepo repo) {
        super(repo);
        this.extendedRepo = repo;
    }

    public Entity findObjectByWeirdKey() {
        return this.extendedRepo.findObjectByWeirdKeyOnEntity(weirdKey);
    }
}

在扩展服务中为存储库重新声明和保留一个单独的变量似乎是错误的，因为我本质上保留了同一个类的两个实例，以便我可以在扩展类中使用一个自定义函数，同时也使用超级类的所有常见功能。有没有办法在GenericService上创建变量GenericRepo，使其具有扩展GenericRepo的任何类型，这将允许扩展GenericService的类在GenericRepo类的扩展版本上使用自定义方法？




Answer 1

GenericService具有类型为GenericRepo的repo。您在ExtendedService的构造函数中所做的操作将仅在运行时可见，即repo实例的运行时类型将为ExtendedService（前提是它仅在ExtendedService对象中）
但是在编译时，repo属于GenericRepo类型，GenericRepo没有findObjectByWeirdKeyOnEntity方法
因此，如果要在ExtendedService类中使用它，必须显式地将其大小写为ExtendedService。所以只需这样做：返回（（ExtendedRepo）这个。回购协议）。FindObjectByWeirdKeyOnenity（古怪钥匙）；

或者

使用@Banannon的解决方案。这也是一个很好的例子。

Answer 2

您可以向GenericService添加一个类型参数，它将表示GenericRepo的类型：

public class GenericService<R extends GenericRepo<T>, T> {
    protected R repo;

    public GenericService(R repo) {
        this.repo = repo;
    }

    protected T findObject() {
        return this.repo.findObject();
    }
}

public class ExtendedService extends GenericService<ExtendedRepo, Entity> {
    public ExtendedService(ExtendedRepo repo) {
        super(repo);
    }

    public Entity findObjectByWeirdKeyOnEntity(String weirdKey) {
        return this.repo.findObjectByWeirdKeyOnEntity(weirdKey);
    }
}

注意：在上一个示例中，您保留了对同一实例的两个引用，但不是对同一类的两个实例。