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();
}
}
