Categorie
Winzipedia Uso dell'wiki |
TypeCheckingInformatica3.TypeChecking VersioniNascondi le modifiche minori - Mostra le modifiche Modificate le linee 2-4: da:
'''Autore:''' [[Profiles.Vincenzo|Vincenzo Manzoni]] '''Hanno contribuito:''' a:
'''Autore:''' [[Profiles.Vincenzo|Vincenzo Manzoni]] Modificata la linea 37: da:
Di seguito, allegato l'esempio per provare in [[http://www.eclipse.org|Eclipse]] questi casi Attach:TypeChecking_ a:
Di seguito, allegato l'esempio per provare in [[http://www.eclipse.org|Eclipse]] questi casi Attach:TypeChecking_in_Java.zip 01/06/2006 ore 11:55 CEST
di - Aggiunta di autore, collaboratori e sommario
Modificate le linee 6-7: da:
->[- a:
->[-Piccoli esercizi sulla conversione di tipo in Java, in compilazione e in esecuzione.-] Aggiunte le linee 1-7:
!Esercizi sul Type Checking '''Autore:''' [[Profiles.Vincenzo|Vincenzo Manzoni]]\\ '''Hanno contribuito:''' ->'''Sommario''' ->[-Esercizi .-] 07/05/2006 ore 15:11 CEST
di - /* Aggiunta dell'esempio in Java */
Modificate le linee 28-30: da:
A runtime , l'elemento che viene estratto un oggetto della classe @@A@@, che non convertibile in un tipo @@B@@: la JVM lancia l'eccezione ClassCastException. a:
A runtime , l'elemento che viene estratto un oggetto della classe @@A@@, che non convertibile in un tipo @@B@@: la JVM lancia l'eccezione @@ClassCastException@@. Di seguito, allegato l'esempio per provare in [[http://www.eclipse.org|Eclipse]] questi casi Attach:TypeChecking_In_Java.zip 07/05/2006 ore 15:09 CEST
di - /* Creazione della pagina */
Aggiunte le linee 1-28:
Si consideri la seguente gerarchia di classi: public class A {} public class B extends A {} public class C extends B {} !! Si scriva, in Java, una conversione di tipo ''corretta'' sia ''in compilazione'' che ''in esecuzione''. C c = new C(); A a = (B) c; Ovviamente c deve essere convertibile in @@(B)@@. !! Si scriva, in Java, una conversione di tipo ''sbagliata'' B b = (A) c; !! Si scriva, in Java, una conversione ''corretta in compilazione'', ma che dia errore in ''esecuzione''. List l = new ArrayList(); l.add(new A()); B b = (B) l.get(0); |