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

Question

重用前面的例子，想象一个动物园，其中新到的动物必须由动物园管理员“处理”（想想将它们登记到动物园）。每只动物的登记流程取决于其类别分类（哺乳动物、鸟类等）。

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

代码如下：

Animal.java

public interface Animal {

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

哺乳动物.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());
    }

}

獾.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>>。

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

Answer 2

AnimalProcessor.java：

public interface AnimalProcessor<T extends Animal> {
    public void process(Animal critter);
}

MammalProcessor.java

public class MammalProcessor implements AnimalProcessor<Mammal> {
    @Override
    public void process(Animal a) {
        System.out.println("Tooth count is " + ((Mammal)a).getToothCount());
    }
}