使用多态参数与泛型

head first java一书中提到集合元素的参数多态的实现需要使用泛型。以ArrayList为例，假设Animal类是Dog类和Cat类的父类

abstract class Animal{
    public void eat(){
        System.out.println("Animal eat");
    }
}

class Dog extends Animal{
    public void eat(){
        System.out.println("Dog eat");
    }
}

class Cat extends Animal{
    public void eat(){
        System.out.println("Cat eat");
    }
}

下面的代码是没有问题的, 因为是含有Animal类型引用的ArrayList(注意里面是三个对象而非引用，没有引用的对象会有被回收的风险，这个例子举得不太好)传入takeAnimals()，参数类型符合要求。：

public class AnimalEat{
    public static void main(String[] args){
        new AnimalEat().go();
    }

    public void go(){
        ArrayList<Animal> animals = new ArrayList<Animal>();
        animals.add(new Dog());
        animals.add(new Cat());
        animals.add(new Dog());
        takeAnimals(animals);
    }

    public void takeAnimals(ArrayList<Animal> animals){
        for (Animal a : animals){
            a.eat();
        }
    }
}

会输出：

Dog eat
Cat eat
Dog eat

但如果是我们可以把ArrayList<Dog> 传入takeAnimals方法中么？根据多态的思想按说我们应该允许，但实际编译器不允许，原因是如果我们这么做了，那么在这个方法里面我们可以合法地添加Cat进list里面，但实际上不行,编译器不允许这种有风险的情况。如下：

public class AnimalEat{
    public static void main(String[] args){
        new AnimalEat().go();
    }

    public void go(){
        ArrayList<Dog> animals = new ArrayList<Dog>();
        animals.add(new Dog());
        animals.add(new Dog());
        animals.add(new Dog());
        takeAnimals(animals);
    }

    public void takeAnimals(ArrayList<Animal> animals){
        for (Animal a : animals){
            a.eat();
        }
    }
}

会输出：

Error:(33, 21) java: 不兼容的类型: java.util.ArrayList<chap16.Dog>无法转换为java.util.ArrayList<chap16.Animal>

这时需要使用泛型强制takeAnimal方法接受Animal的子型参数，可以使用万用字符(wildcard)如下，实际在使用带有<?>的声明时，编译器会组织任何可能破坏参数所指集合的行为，也就是说你不能对animals做任何增添删除之类的操作：

public void takeAnimals(ArrayList<? extends Animal> animals){
        for (Animal a : animals){
            a.eat();
        }
 }

另一种语法是在方法返回类型前声明泛型.效果和上面一样，编译器也会不会允许任何对animals的更改。

public <T extends Animal> void takeAnimals(ArrayList<T> animals){
        for (Animal a : animals){
            a.eat();
        }
}