O polimorfismo, cujo conceito já foi explicado em outras respostas, pode ocorrer entre classes que tenham uma relação de "é-um", ou seja, que apresentam herança. No caso do seu exemplo, a classe Vaca
"é um" Animal
porque estaaquela estende (extends
) aquelaesta. Gato
e Carneiro
seguem o mesmo modelo.
Uma das vantagens da herança é que você pode usar uma superclasse como argumento que sirva, ao mesmo tempo, para essa superclasse e também para todas as subclasses dela. Imagine que você precise criar um método que imite o som de cada bicho. Sem herança e polimorfismo, você teria algo assim:
private void imitarSom(Carneiro carneiro);
private void imitarSom(Gato gato);
private void imitarSom(Vaca vaca);
Para cada subclasse, um método diferente, com código muito parecido, enfim, uma solução ruim.
Em vez disso, por que não um método que receba uma superclasse como parâmetro?
private void imitarSom(Animal animal);
Pronto. Agora, você pode passar para esse método uma VacaVaca
, um GatoGato
, um CarneiroCarneiro
e seja lá qual outro bicho você crie no futuro, porque o método recebe um AnimalAnimal
. Lembra-se quando eu disse que herança é uma relação de "é-um"? Pois então, qualquer classe que "é um" AnimalAnimal
pode ir como parâmetro, e o polimorfismo dará conta.
É isso, então, que acontece no arrayarray e tem relação com a sua dúvida:
Isso significa que a superClasse pode receber as subclasses?
Como você faz o for
usando como argumento uma superclasse e nós sabemos que subclasses têm relação de "é-um" com ela, em tempo de execução o compilador polimorficamente acessa o método correspondente daquela classe filha sendo iterada naquele exato momento no for
, imprimindo o valor correspondente.
Animal bichos[] = {mimosa, bichano, barnabe};
for(Animal animal : bichos) {
System.out.print(animal.nome + " é da classe " + animal.getClass().getName() + ", tem " + animal.numeroPatas + " patas e faz ");
animal.som();
System.out.println();
}