De forma geral a superclasse não deveria conhecer nada das subclasses. E de fato estenesse código isto não ocorre.
O foreach
está varrendo um array com objetos que possuem abstratamente um monte de Animal
. Cada um deles tem uma característica própria concretamente, cada um é um animal específico. Por isso na hora de imprimir ele assume o comportamento do objeto específico. Ele não chamará o comportamento específico do Animal
, e sim do Gato
, da Vaca
, etc. isto, isso é o polimorfismo. Sem ele, tentaria chamar o comportamento do Animal
, o que neste caso nem seria permitido por ele ser, acertadamente, abstrato (sem comportamento real).
Superclasse não recebe coisa alguma, ela é só um modelo para as outras classes, que é só um modelo para criar um objeto. Veja Qual a diferença entre uma classe e um objeto?.
O que está no objeto é que importa durante a execução. No momento que executa ele sabe qual é o tipo em questão e chama o método de acordo com o tipo, istoisso é resolvido dinamicamente. Se o método fosse final
, ou seja, sem polimorfismo, o tipo declarado seria usado e chamaria o método da superclasse, o que é impossível neste caso.
Se terá várias ações diferentes ou não, é indiferente. Polimorfismo é um comportamento sendo assumido pelo objeto de acordo com seu tipo concreto, nada mais que isto.