Parámetros de conjunto polimórficos

Cómo los parámetros de la matriz son polimórficos:

• Matriz ordinaria

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 de matriz dinámica

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

Este código da un error en el momento de la compilación, porque la declaración del método es una matriz animal [], solo tomará el parámetro animal [], ni la matriz de perro ni la matriz de gato. ¿Por qué pueden hacer las matrices ordinarias?

Estrictamente hablando, los parámetros digitales ordinarios no son realmente polimórficos. Esto se debe a que el tipo de matriz se verifica durante el tiempo de ejecución, y la verificación de tipo de la colección solo se realizará durante la compilación.

Usamos animal [] como un parámetro de matriz, solo para poder poner todos los elementos animales, pero lo anterior no se puede lograr.

En este momento, necesitas personajes salvajes >, Es decir, parámetros de conjunto polimórficos.

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