EREDITARIETA’ IN JAVA TERZA PARTE

Sappiamo che possiamo definire metodi aventi lo stesso nome a patto che il numero e il tipo di parametri sia differente (diverse signature Overload). Vedremo adesso con l’ereditarietà cosa succede se dichiariamo nella sottoclasse un metodo avente stessa signature (Override). Vediamo la figura.

Quello che abbiamo fatto si chiama Override dei metodi.

L’override di un metodo avviene quando in una sottoclasse andiamo a ridefinire un metodo presente nella superclasse, a patto che questo metodo abbia lo stesso nome, stesso tipo di ritorno e stessa signature (cioè lo stesso numero e lo stesso tipo di parametri). Creiamo la classe di test.

Come vedi viene eseguito il metodo ridefinito in BClass. Dobbiamo fare questo quando in una sottoclasse vogliamo ridefinire in maniera integrale il comportamento di un metodo che si trova nella superclasse. Ora non sempre vogliamo questo ma il più delle volte vogliamo estendere il comportamento di un metodo nella superclasse, usando l’override e ampliandone le funzionalità. Allora richiamiamo con la keyword super il metodo della superclasse per avere il comportamento standard, poi specializziamo la sottoclasse. La figura chiarisce i concetti esposti, prima richiamiamo il comportamento standard del metodo invocandolo con super sulla superclasse, poi lo specializziamo nella sottoclasse.

Facciamo attenzione a una cosa.

Abbiamo tre metodi in override ciascuno con un comportamento differente.

Andiamo a creare un Array di oggetti AClass. Adesso abbiamo una variabile arr che è di tipo AClass, ma che in realtà contiene un Array che punta ad oggetti di livello inferiore. Vediamo la figura.

Nel ciclo foreach avviene la selezione dinamica dei tipi a runtime, in presenza di override vengono scelti gli oggetti riferiti da una variabile e non quelli presenti nella classe di definizione. La figura riassume quello che succede. Questa è la più importante forma di polimorfismo presenta in Java e se ben gestita consente di realizzare programmi molto sofisticati.

METODI ASTRATTI E CLASSI ASTRATTE

Riprendiamo l’esempio precedente. Vedi figura.

Potremmo volere definire un comportamento più generale nella superclasse, in particolare potremmo definire un metodo che di per sé non ha alcun comportamento, è come una sorta di segnaposto che obbliga a chi estende la classe ad implementarlo. Per fare tutto ciò si usa la keyword abstract.

Una classe può anche mischiare le due cose, cioè può avere alcuni metodi che sono astratti e altri no. Tuttavia, vi è una regola da seguire, se una classe contiene anche un solo metodo astratto tutta la classe diventa abstract.

Una classe astratta non può essere istanziata. Se una classe non intende ridefinire i metodi astratti della superclasse allora anche lei deve essere dichiarata abstract.

B2Class può essere istanziata e ridefinire il metodo.

LA KEYWORD FINAL

final viene utilizzata per impedire l’override dei metodi, la specializzazione di una classe e anche per creare delle costanti. Riprendiamo un esempio già visto.

In alcune situazioni vogliamo che la definizione di un metodo resti tale impedendone la ridefinizione e l’override nelle classi derivate.

Possiamo anche definire la classe final e impedirne l’ereditarietà.

Potremmo scrivere AClass anche in questo modo perché come abbiamo detto in cima alla catena di ereditarietà vi è la classe Object.

Il metodo equals è un metodo di istanza della classe Object e ha come parametro un tipo Object (una classe qualunque).

boolean equals(Object obj);

Il metodo ritorna una versione visualizzabile di un oggetto. Ritorna il nome qualificato del Data Type dell’istanza AClass seguito dal simbolo @ e un numero esadecimale che rappresenta lo HashCode() dell’oggetto, che è un numero univoco che identifica l’oggetto stesso.