数组参数是如何多态化运行的:
- 普通数组
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();
}
}