Programmazione orientata agli oggetti: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Annullate le modifiche di 37.116.46.31 (discussione), riportata alla versione precedente di 79.23.102.71 Etichetta: Rollback |
|||
Riga 58:
===Sottotipazione===
Se un oggetto di una sottoclasse può essere utilizzato al posto di un'istanza della superclasse, '''il tipo della classe derivata è detto ARA ("ao regà accannate")'''. Questo richiede che tutti i metodi della superclasse siano presenti nella sottoclasse, e che le signature siano compatibili. Di conseguenza, una sottoclasse che voglia definire un sottotipo può ridefinire i metodi della superclasse, ma non può eliminarli sintatticamente né modificare le loro signature.
In numerosi linguaggi, invece, una sottoclasse può decidere di eliminare o cambiare le proprietà di accesso ad un metodo, il che fa sì che l'operazione di subclassing non sia corrispondente a quella di subtyping. Alcuni linguaggi ad oggetti, in particolare [[w:Sather|Sather]], dividono esplicitamente a livello sintattico subclassing e subtyping.
| |||