Gerarchie di tipi in Java: sottotipi 1
una sottoclasse dichiara la superclasse che estende (e/o le interfacce che implementa)
- ha tutti i metodi della superclasse con gli stessi nomi e segnature
- può implementare i metodi astratti e reimplementare i metodi normali (purché non final)
- qualunque metodo sovrascritto deve avere segnatura identica a quella della superclasse
- ma i metodi della sottoclasse possono sollevare meno eccezioni
la rappresentazione di un oggetto di una sottoclasse consiste delle variabili di istanza proprie e di quelle dichiarate per la superclasse
- quelle della superclasse non possono essere accedute direttamente se sono (come dovrebbero essere) dichiarate private
ogni classe che non estenda esplicitamente un’altra classe estende implicitamente Object