dubbio su cast tra classi

[el92]

ciao svolgendo un esecizio mi è venuto un dubbio..se facio un cast da una superclasse verso una sottoclasse è come "convertire" un oggetto in un altro(sempre però della stessa gerchia) giusto?
Cioè se io ho:

for(Figura f:fig)
  if(f instanceof Rettangolo)
      Rettangolo r=(Rettangolo)f  //adesso r è una variabile  di tipo Rettangolo??

Quindi r è una varibile di tipo Rettangolo giusto?

[andbin]

ciao svolgendo un esecizio mi è venuto un dubbio..se facio un cast da una superclasse verso una sottoclasse è come "convertire" un oggetto in un altro(sempre però della stessa gerchia) giusto?

Il cast sui reference non cambia nulla nel valore del reference in sé e nemmeno nell'oggetto referenziato. Cambia solo la "visione" che si ha dell'oggetto.
Se è un down-cast (verso un sotto-tipo), è soggetto a controllo a runtime, perché in Java non è lecito che un reference possa fare riferimento ad un oggetto per cui non valga la relazione IS-A.

[el92]

ok quindi r è visto come un Rettangolo(quindi posso eseguire i metodi di Rettangolo) ma in realtà è una Figura..giusto?

[andbin]

ok quindi r è visto come un Rettangolo(quindi posso eseguire i metodi di Rettangolo) ma in realtà è una Figura..giusto?

Non so come hai definito Figura (se astratta o no, preferibilmente astratta) ma sicuramente hai fatto che Rettangolo extends Figura.

Quindi Rettangolo è-un Figura, ovunque è richiesto un Figura tu puoi passare lecitamente un oggetto Rettangolo. Ma il contrario è vero? Cioè dove è richiesto un Rettangolo tu puoi passare un Figura? Dipende. Questo è il caso che richiede appunto un down-cast, che è controllato a runtime.

Nel tuo fig potresti avere oggetti Rettangolo, Cerchio (altro che hai fatto ecc..). Se l'oggetto i-esimo è-un Rettangolo, allora il test con instanceof passerà ok e anche il cast. Se fosse altro, es. un oggetto Cerchio, allora instanceof fallisce ma essendo una condizione non succede nulla di grave (non esegue il corpo del if). Se facessi direttamente il cast, con Cerchio il cast fallisce a runtime con ClassCastException.

[el92]

grazie sei stato chiarissimo