conversioni ..

[JANUS70]

Ciao ..
cosa capite voi da questo esempio .. ?
relativamente ad una classe 'padre' (Pesce), e ad una classe 'figlia' (PesceRosso) .. si dice:

un PesceRosso è sempre un Pesce
ma un pesce (in generale) NON è un PesceRosso

Pesce p = new PesceRosso() ;  
PesceRosso s =(PesceRosso) p;

[andbin]

Originariamente inviato da JANUS70
relativamente ad una classe 'padre' (Pesce), e ad una classe 'figlia' (PesceRosso) .. si dice:

un PesceRosso è sempre un Pesce

Fin qui ok.

Originariamente inviato da JANUS70
ma un pesce (in generale) NON è un PesceRosso

Sì, è vero, in generale. Ma una variabile di tipo Pesce può fare riferimento ad un oggetto PesceRosso.

Originariamente inviato da JANUS70

Pesce p = new PesceRosso() ;  
PesceRosso s =(PesceRosso) p;

Il cast (PesceRosso) è precisamente un "down-cast". Il compilatore lo accetta perché "sa" che Pesce e PesceRosso sono in relazione di ereditarietà.
Quando c'è un down-cast, il controllo è a runtime. La JVM va a verificare: "l'oggetto referenziato da p è realmente un PesceRosso?". Se sì, la assegnazione viene fatta, se no scatta una eccezione ClassCastException.

Altro caso:

Pesce p = new PesceVerde() ;  
PesceRosso s =(PesceRosso) p;

Anche qui il compilatore lo accetta (quindi compila senza problemi) perché ripeto che "sa" che Pesce e PesceRosso sono in relazione (il cast teoricamente è possibile). Ma a runtime il cast fallisce (lanciando ClassCastException) perché l'oggetto referenziato da p non è davvero un PesceRosso.


Ripeto ancora per chiarire meglio: a livello di compilazione, il compilatore si limita solo a verificare se il cast ha "senso". Se ho una variabile Integer non posso fare un cast a Long. Il compilatore proprio non lo accetta. Ma perché "sa" che Integer e Long (pur avendo la stessa classe base Number) non sono il relazione di ereditarietà tra di loro (nessuno dei due deriva dall'altro).

Quello che poi succede a runtime è un altro conto. Qui si verifica se realmente l'oggetto referenziato può passare il cast. Se non lo passa salta fuori ClassCastException.