Quali capacità forniscono i Generics?

I generici offrono i seguenti vantaggi:

• Riutilizzo del codice: Creazione di classi, interfacce e metodi che possono lavorare con oggetti di diversi tipi senza perdere la sicurezza di tipo.
• Sicurezza di tipo durante la compilazione: Il compilatore può verificare la correttezza dell'uso dei tipi, prevenendo errori di runtime legati alle conversioni di tipo.
• Migliore leggibilità del codice: La dichiarazione esplicita dei tipi nelle firme dei metodi e nelle dichiarazioni delle classi rende il codice più comprensibile.
• Aumento delle prestazioni (in alcuni linguaggi): In linguaggi in cui i generici sono implementati tramite eliminazione dei tipi (ad esempio Java), ciò si ottiene eliminando la necessità di conversioni di tipo in fase di esecuzione. In linguaggi in cui sono implementati tramite monomorfizzazione (ad esempio, i template C++), ciò può portare a un aumento delle dimensioni del codice, ma potenzialmente a un'esecuzione più rapida eliminando le chiamate dinamiche.
• Compatibilità con le collezioni: Facilita il lavoro con le collezioni, consentendo di specificare il tipo di elementi in esse contenuti.

Esempio in Java:

// Senza generici
List list = new ArrayList();
list.add("string");
// È necessario un cast al momento dell'estrazione, possibile ClassCastException
String s = (String) list.get(0);

// Con generici
List<String> stringList = new ArrayList<>();
stringList.add("string");
// Non è necessario il cast, la sicurezza di tipo è garantita
String s2 = stringList.get(0);
// Errore di compilazione se si tenta di aggiungere un tipo incompatibile
// stringList.add(123);

Esempio in C#:

// Senza generici
ArrayList list = new ArrayList();
list.Add("string");
// È necessario un cast al momento dell'estrazione
string s = (string)list[0];

// Con generici
List<string> stringList = new List<string>();
stringList.Add("string");
// Non è necessario il cast
string s2 = stringList[0];
// Errore di compilazione
// stringList.Add(123);