Tipo apparente e tipo effettivo

• supertipo t, sottotipo s

• un oggetto di tipo s

  • può essere assegnato ad una variabile di tipo t
  • può essere passato come parametro ad un metodo che ha un parametro formale di tipo t
  • può essere ritornato da un metodo che ha un risultato di tipo t

• in tutti i casi, abbiamo un tipo apparente t ed un tipo effettivo s

• il compilatore ragiona solo in termini di tipo apparente

  • per fare il controllo dei tipi
  • per verificare la correttezza dei nomi (di variabili e di metodi)
  • per risolvere i nomi

Previous slide

Next slide

Back to first slide

View graphic version