Il polimorfismo è l'argomento successivo che devo affrontare. Però mi sono/ero impantanato su questa storia delle dichiarazioni "miste" tra oggetti in gerarchia, e mi fa piacere trovare conferma che sono costrutti puramente accademici/didattici, poiché io, se mi serve un Gatto per dargli solo l'attributo/variabile "coda", già lo istanzio come Animale, non come Gatto; però poi negli esercizi (e nei quiz di certificazione!) queste stravaganze di mescolare le carte e fare downcasting ci sono perché lecite in Java, come per venire incontro a un programmatore che ha strutturato male il suo codice.

Grazie mille a entrambi!
Concetti immediati ed esposti con padronanza dell'argomento!