notes-ig

polimorfismo

2 min read

  • una variabile di un certo tipo può contenere un riferimento a un oggetto dello stesso tipo o di qualsiasi sua sottoclasse.
// a è un riferimento a un
// animale, ma chiama il costruttore 
// di un suo sottotipo 
Animale a = new Gatto();
 
a = new Chihuahua();
// a può "polimorfare" a un altro sottotipo 
// di animale, e diventare un chihuahua

metodi delle sottoclassi

Quando faccio questa cosa, non posso chiamare un metodo specifico della sottoclasse che non esista nella superclasse - i vari overriding avranno però comunque effetto.

  • la selezione del metodo da chiamare avviene in base all’effettivo tipo dell’oggetto riferito dalla variabile.

binding

-Associazione del proprio tipo ad ogni variabile.-

  • I linguaggi compilati fanno binding statico - il compilatore inizialmente osserva staticamente il codice senza eseguirlo e crea una tabella dei binding per associare variabili e tipo.
  • Il binding dinamico esiste anche in Java quando si parla di polimorfismo (ed è svolto dalla JVM) - l’associazione tra una variabile riferimento e un metodo da chiamare viene definita a tempo di esecuzione (si determina quale metodo dovrà essere invocato in una gerarchia di classi in cui è presente l’overriding).

conversione di tipo tra sub e superclassi

  • posso sempre convertire senza casting esplicito un sottotipo a un supertipo (upcasting).
ImpiStip is1 = new ImpStip("Mario", "imp1", 1500);
 
Impiegato i = is1;
  • convertire un supertipo a sottotipo (downcasting) richiede cast esplicito.
ImpStip is2 = (ImpStip)i;

Con l’upcasting, si “restringe” temporaneamente l’interfaccia dell’oggetto alla superclasse.

Backlinks