多态化集合参数

数组参数是如何多态化运行的：

• 普通数组

public class TestGenericsl{

	public void takeAnimals(Animal[] animals){//方法的参数为animal[] 
		for(Animal a : animals){
			a.eat();//所以后面只能使用的animal方法
		}
	}
	public static void main(){
		new TestGenericsl().go();
	}
	public void go(){
		Animal[] animals = {new Dog(),new Cat(),new Dog()};//有猫有狗
		Dog[] dogs = {new Dog(),new Dog(),new Dog()};
		takeAnimals(animals);
		takeAnimals(dogs);
		//传入的dogs[]数组是animal[]数组的子类，这就是多态（把子类对象当作父类来看）
	}
}

• 动态数组ArrayList

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

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

这段代码对在编译时报错，因为方法声明是animal[]数组，它就只会取用animal[]参数，狗数组和猫数组都不行。为什么普通数组可以呢？

严格意义来说，普通数字参数也没有真正实现多态化。这是因为数组的类型是运行期间检查的，集合的类型检查只会发生在编译期间。

我们使用animal[] 来作为数组参数，就是为了能够放进所有动物类元素，但是以上无法实现。

这时候就需要万用字符 <？>，也就是多态化的集合参数。

public void takeAnimals(ArrayList<? extends Animal> animals){//extends 代表继承或者实现，也就是说extends 或 implements皆可
	for(Animal a : animals){
		a.eat();
	}
}