http://www.flaviocdc.net/wiki/ 2023-11-07T06:19:07+01:00 http://www.flaviocdc.net/wiki/ http://www.flaviocdc.net/wiki/lib/images/favicon.ico text/html 2012-01-17T17:51:53+01:00 http://www.flaviocdc.net/wiki/java:generics:alcune_novita_rispetto_a_java_1.4 PREV Introduzione a java generics NEXT Subtyping & wildcards FIXME Pagina in costruzione. Questa pagina è una rielaborazione, fatta prevalentemente di copia&incolla, delle slide relative ai generics disponibili sulla pagina dedicata. Cominciamo Generics e Collections vanno a braccetto con altre nuove feature (introdotte da Java5): text/html 2012-01-31T20:43:04+01:00 http://www.flaviocdc.net/wiki/java:generics:confronti_tra_elementi PREV Subtyping & wildcards NEXT Dichiarazioni di variabili Parleremo di Comparable<T> * Confrontare elementi * Trovare massimo e minimo in una collezione * Metodi bridge Comparable public interface Comparable<T> { public int compareTo(T elem); } text/html 2012-03-05T10:57:24+01:00 http://www.flaviocdc.net/wiki/java:generics:dichiarazioni_di_classi_generiche PREV Confronti tra elementi NEXT Evoluzione, non rivoluzione Costruttori public class Coppia<P,S> { private final P primo; private final S secondo; public P getPrimo() { return primo; } public S getSecondo() { return secondo; } public Coppia(P primo, S secondo) { this.primo = primo; this.secondo = secondo; }} text/html 2012-03-11T12:06:25+01:00 http://www.flaviocdc.net/wiki/java:generics:evoluzione_non_rivoluzione PREV Dichiarazioni di variabili NEXT Reificazione Migrare gradualmente il codice all'utilizzo dei generics (evoluzione) senza modifche radicali (rivoluzione) Evoluzione L'implementazione dei generics permette che il vecchio codice venga compilato ed eseguito anche con l'utilizzo delle nuove librerie L'evoluzione è più forte della retro compatibilità: non esistono più versioni delle classi e delle librerie ma una sola versione (grazie alla type erasure) compatibile text/html 2012-03-11T12:06:41+01:00 http://www.flaviocdc.net/wiki/java:generics:reificazione Reificazione, si è una parola Italiana ... PREV Evoluzione, non rivoluzione Defnizioni di reifcazione Processo mentale mediante il quale a concetti astratti viene assegnata consistenza di cose concrete Nella flosofa di Marx, processo secondo cui nell'economia capitalistica l'uomo e il suo lavoro sono ridotti al valore della merce che producono text/html 2012-03-11T11:38:13+01:00 http://www.flaviocdc.net/wiki/java:generics:start Sto studiando in maniera più o meno seria i Generics messi a disposizione di java5; per queso motivo sto realizzando alcune slide ispirate al libro java Generics and Collections Le slide sono praticamente ultimate, mancano solo le rifiniture. Argomenti trattati * Alcune novità rispetto a java 1.4 * Subtyping & wildcards * Confronti tra elementi * Dichiarazioni di variabili * Evoluzione, non rivoluzione * Reificazione text/html 2012-01-17T10:03:26+01:00 http://www.flaviocdc.net/wiki/java:generics:subtiping_wildcards PREV Alcune novità rispetto a java 1.4 NEXT Confronti tra elementi In Java un tipo A è un sottotipo di un altro tipo B se questi sono legati da una clausola extends o implements A extends B o A implements B</java> (Integer è sottotipo di Number, List<E> è sottotipo di Collection<E>) Subtyping è riflessiva e transitiva: //Se A è sottotipo di B allora B è supertipo di A// Ogni tipo reference è sottotipo di Object ed Object è supertipo di ogni reference type ===== Principio di sostituzione… text/html 2012-01-17T17:50:19+01:00 http://www.flaviocdc.net/wiki/java:generics:type_erasure Elaborazione delle pagie relative a Type Erasure e Generics di wikipedia EN Nei linguaggi di programmazione la Type Erasure (cancellazione di tipo) si riferisce al processo, eseguito a tempo di compilazione, tramite il quale tramite il quale le informazione sul tipo vengono rimosse da un programma prima che questo venga eseguito (a run-time) . In java quindi i Generics sono implementati tramite la Type Erasure, la correttezza sui tipi è effettuata a tempo di compilazione; l'informazione sui …