Java泛型、接口和类继承

Question

考虑抽象类：

public abstract class Animal { ...}

和界面：

public interface Canine<T extends Animal> {...}

我已经定义了具体的类：

public class Dog extends Animal implements Canine<Dog> {...}
public class Wolf extends Animal implements Canine<Wolf> {...}

我想构建一个repository 类来访问动物数据库并返回它们。我是这样定义的：

public interface Repository {
    Option<Dog>  findById(String id, Class<Dog>  type);
    Option<Wolf> findById(String id, Class<Wolf> type);

（注意：Option 取自 vavr 库）

此存储库用于以下类：

public abstract AbstractFinderClass<T extends Animal & Canine<T>> {

    private Class<T> animalType;

    public AbstractFinderClass(Class<T> animalType) {
        this.animalType = animalType;
    }

    public Option<T> findMyAnimal(String id) {
        return repository.findById(id, this.animalType);
    }
}

这又以具体形式实现：

public class DogFinder extends AbstractFinderClass<Dog> {
    public DogFinder() {
        super(Dog.class);
    }
}

现在，return repository.findById(id, this.animalType) 行导致两个错误：

1. 在第二个参数上，this.animalType 是 Class<T> 类型，而预期类型是 Class<Dog>，这些显然是不兼容的；
2. 返回类型应为Option<T>，而我得到Option<Dog>

恐怕我遗漏了一些“小”细节，因为我希望 Dog 和 T 兼容。 你能帮我解决这个问题吗？

Answer 1

第一个问题是DogFinder 有一个不必要的类型参数。它是一个寻狗器，因此它所找到的类型参数是多余的（非常规命名的类型参数Dog 可能表明存在问题）。应该是：

class DogFinder extends AbstractFinderClass<Dog> {
    public DogFinder() {
        super(Dog.class);
    }
}

其次，您的Repository 类型具有绑定到特定类型的方法。这没有什么意义，因为您希望它是通用的。因此，您可以只使用一种方法，（可选）使存储库本身具有通用性（在解决签名冲突问题的过程中）：

interface Repository<T extends Animal> {
    Option<T> findById(String id, Class<T> type);
}

第三，除非我们缺少上下文，我相信您的 Canine 类型不需要是通用的（除非事情必须复杂）：

interface Canine {
}

如果您需要专门的犬类探测器，您可以简单地更改您的存储库类，如下所示：

abstract class CanineFinderClass<T extends Animal & Canine>
    implements Repository<T> {...}

---

附带说明，DogFinder 存储库是多余的，除非它提供特殊的狗方法，例如 findAllPuppies()。否则，使AbstractFinderClass 具体化就足够了，因为类型是通用的（只是一个例子）：

class AnimalFinderClass<T extends Animal> implements Repository<T> {

    Repository<T> repository;

    private Class<T> animalType;


    public AbstractFinderClass(Class<T> animalType) {
        this.animalType = animalType;
    }

    public Option<T> findMyAnimal(String id) {
        return repository.findById(id, this.animalType);
    }
}