Cosa sono i generici?

I generici in programmazione sono uno strumento per creare componenti riutilizzabili che possono lavorare con diversi tipi di dati senza perdere la sicurezza di tipo. Permettono di scrivere classi, interfacce e metodi che operano con parametri di tipo.

Vantaggi principali:

• Sicurezza di tipo in fase di compilazione: Gli errori legati a incompatibilità di tipi vengono rilevati prima dell'esecuzione del programma.
• Riduzione della duplicazione del codice: Si può scrivere un algoritmo o una struttura dati universale che funziona con diversi tipi.
• Prestazioni: A differenza dell'uso di tipi generici (come Object), non è necessario effettuare cast, migliorando le prestazioni.

Esempio in Java:

// Classe List senza generici (approccio obsoleto)
List list = new ArrayList();
list.add("ciao");
list.add(123); // Può aggiungere qualsiasi tipo
String s = (String) list.get(0); // È richiesta una conversione manuale
Integer i = (Integer) list.get(1); // È richiesta una conversione manuale

// Classe List con generici
List<String> stringList = new ArrayList<>();
stringList.add("mondo");
// stringList.add(123); // Errore di compilazione! Solo stringhe

String s2 = stringList.get(0); // Non è richiesta conversione

I generici permettono di specificare il tipo di dato con cui lavorerà una collezione o altra classe/interfaccia generica. Questo garantisce la sicurezza di tipo e previene errori a runtime.

Per esempio, in C# anche le collezioni usano i generici:

// Lista di stringhe con generici
List<string> nomi = new List<string>();
nomi.Add("Alice");
// nomi.Add(123); // Errore di compilazione

string primoNome = nomi[0]; // Non è richiesta conversione

In Python, il concetto di generici si implementa usando annotazioni di tipo (type hints) e il modulo typing:

from typing import List, Dict, Any

# Lista di stringhe con annotazione di tipo
def processa_stringhe(dati: List[str]):
    for item in dati:
        print(item)

# Dizionario con chiavi di stringa e valori di qualsiasi tipo
def processa_dizionario(dati: Dict[str, Any]):
    for chiave, valore in dati.items():
        print(f"{chiave}: {valore}")

Sebbene in Python le annotazioni di tipo non garantiscano la sicurezza in fase di esecuzione (è compito degli analizzatori statici come MyPy), migliorano notevolmente la leggibilità del codice e facilitano il debugging.

In generale, i generici sono uno strumento potente per creare codice flessibile, riutilizzabile e sicuro in diversi linguaggi di programmazione.