什么是泛型的正确使用解决了这个编译错误？

Question

重复使用前面的例子,想象一个动物园,动物园管理员必须"处理"新到达的动物(考虑将它们检入动物园).每只动物的登记过程取决于其类别分类(哺乳动物,鸟类等).

这些过程因分类学课程之间的根本差异而不同 - 例如,鸟类有翅膀,哺乳动物有牙齿.您可能还有一些过程的共享位对所有动物都适用,但我在这里省略了它们.

这是代码:

Animal.java

public interface Animal {

    public AnimalProcessor<? extends Animal> getAnimalProcessor();
}

Mammal.java

public abstract class Mammal implements Animal {

    @Override
    public AnimalProcessor<Mammal> getAnimalProcessor() {

        return new MammalProcessor();
    } 

    // Specific to mammals
    public abstract int getToothCount();

}

Bird.java

public abstract class Bird implements Animal {

    @Override
    public AnimalProcessor<Bird> getAnimalProcessor() {

        return new BirdProcessor();
    }

    // Specific to birds
    public abstract float getWingspan();
}

AnimalProcessor.java

public interface AnimalProcessor<T extends Animal> {

    public void process(T critter);
}

MammalProcessor.java

public class MammalProcessor implements AnimalProcessor<Mammal> {

    @Override
    public void process(Mammal a) {
        System.out.println("Tooth count is " + a.getToothCount());
    }

}

BirdProcessor.java

public class BirdProcessor implements AnimalProcessor<Bird> {

    @Override
    public void process(Bird a) {
        System.out.print("Wingspan is " + a.getWingspan());
    }

}

Badger.java

public class Badger extends Mammal {

    @Override
    public int getToothCount() {
        return 40;
    }
}

Condor.java

public class Condor extends Bird {

    @Override
    public float getWingspan() {
        return 2.9f;
    }
}

ZooKeeper.java

import java.util.List;

public class ZooKeeper {

    public void processNewAnimals(List<Animal> newcomers)
    {
        for(Animal critter : newcomers)
        {
            AnimalProcessor<? extends Animal> ap = critter.getAnimalProcessor();

                        // This line has a compilation error!
            ap.process(critter);
        }
    }
}

MainClass.java

import java.util.LinkedList;
import java.util.List;

public class MainClass {

    public static void main(String[] args) {

        ZooKeeper keeper = new ZooKeeper();

        List<Animal> animals = new LinkedList<Animal>();

        animals.add(new Badger());
        animals.add(new Condor());

        keeper.processNewAnimals(animals);

    }
}

在任何地方都没有警告,但ap.process(critter)无法编译.我知道这是因为AnimalProcessor<Bird>是没有的类型AnimalProcessor<Animal>,但我看不出如何解决这个问题.该调用<T extends Animal> getAnimalProcessor()将返回一个合适的AnimalProcessor<T extends Animal>,但我无法在代码中表达这一点.

也许我不应该首先将AnimalProcessor拉出来？

当然,目标是能够在Reptile不改变核心的情况下进行添加.

Answer 1

public interface Animal<THIS extends Animal<THIS>> {
    AnimalProcessor<THIS> getAnimalProcessor();
}
public abstract class Mammal implements Animal<Mammal> {

有点像Enum<E extends Enum<E>>.

删除该方法可能是一个更好的主意.