Cosa sono i Generics e a cosa servono?

I generici (generics) sono un meccanismo nei linguaggi di programmazione che consente di creare classi, interfacce e metodi che lavorano con dati di diversi tipi, senza conoscere in anticipo il tipo specifico.

Vengono utilizzati per:

Aumentare la sicurezza dei tipi (Type Safety): Il compilatore verifica i tipi di dati durante la compilazione, prevenendo errori che potrebbero manifestarsi solo in fase di esecuzione (Runtime Errors).

// Esempio senza Generics - errore potenziale durante l'estrazione
List list = new ArrayList();
list.add("string");
list.add(123); // Si può aggiungere qualsiasi tipo
String s = (String) list.get(1); // Errore ClassCastException in fase di esecuzione

Riutilizzo del codice (Code Reusability): Lo stesso codice può lavorare con diversi tipi di dati senza dover scrivere versioni separate per ogni tipo.

// Esempio con Generics - uso sicuro
List<String> list = new ArrayList<>(); // Specificato il tipo String
list.add("string");
// list.add(123); // Il compilatore darà errore - non si può aggiungere un int
String s = list.get(0); // Non è richiesta conversione di tipo

Miglioramenti nella leggibilità del codice: La indicazione esplicita dei tipi di dati aiuta a capire con quali dati lavora il codice.
Ottimizzazioni delle prestazioni: In alcuni linguaggi (ad esempio, C#), i Generics possono offrire migliori prestazioni rispetto all'uso di tipi di base (ad esempio, Object), poiché non è necessario il boxing/unboxing.

Ad esempio, le collezioni di dati standard (liste, insiemi, mappe) nella maggior parte dei linguaggi usano Generics per lavorare con elementi di qualsiasi tipo, garantendo sicurezza e comodità.

Senza Generics	Con Generics
Funziona con tipi `Object`	Funziona con tipi specifici
Richiede conversione esplicita di tipi	Non richiede conversione di tipi
Gli errori di tipo vengono rilevati in Runtime	Gli errori di tipo vengono rilevati in fase di compilazione
Codice meno leggibile	Codice più leggibile