Cosa sono i tipi generici?

I tipi generici consentono di definire classi, interfacce e metodi utilizzando parametri di tipo. Ciò aumenta la flessibilità, la riutilizzabilità e la sicurezza del tipo del codice, consentendo di lavorare con diversi tipi di dati senza perdere il controllo statico dei tipi.

Vantaggi principali:

• Sicurezza del tipo: Il compilatore verifica i tipi durante la fase di compilazione, prevenendo errori a runtime legati a incompatibilità di tipi.
• Riutilizzabilità: Lo stesso codice può essere usato con diversi tipi di dati, riducendo la duplicazione del codice.
• Prestazioni: In alcuni linguaggi (ad esempio, C#), i tipi generici sono implementati considerando un tipo specifico, il che può migliorare le prestazioni rispetto all'uso di Object.

Esempi di utilizzo:

• Collezioni: Liste, dizionari, set parametrizzati per tipo di elementi.
• Metodi: Metodi che lavorano con qualsiasi tipo di dato che implementa un'interfaccia specifica.
• Classi: Classi wrapper, factory, che lavorano con parametri di tipo.

Esempio in C#:

// Lista generica
List<string> nomi = new List<string>();
nomi.Add("Alice");
nomi.Add("Bob");

// Metodo generico
public T OttieniPrimoElemento<T>(List<T> lista)
{
    if (lista != null && lista.Count > 0)
    {
        return lista[0];
    }
    return default(T); // Restituisce il valore di default per il tipo T
}

Esempio in Java:

// Lista generica
List<String> nomi = new ArrayList<>();
nomi.add("Alice");
nomi.add("Bob");

// Metodo generico
public <T> T ottieniPrimoElemento(List<T> lista) {
    if (lista != null && !lista.isEmpty()) {
        return lista.get(0);
    }
    return null; // Restituisce null per tipi di riferimento
}

Esempio in Python (type hinting):

from typing import List, TypeVar

T = TypeVar('T')

def ottieni_primo_elemento(dati: List[T]) -> T | None:
    # La funzione può lavorare con qualsiasi lista e restituire un elemento
    if dati:
        return dati[0]
    return None

nomi: List[str] = ["Alice", "Bob"]
primo_nome = ottieni_primo_elemento(nomi) # IDE capisce che primo_nome è di tipo str

In alcuni linguaggi (Java), i tipi generici usano "erasure" (eliminazione del tipo), dove l'informazione sul tipo di parametro viene rimossa durante la compilazione. Questo può portare a alcune limitazioni. In altri linguaggi (C#, Go), l'informazione sul tipo viene mantenuta durante l'esecuzione.

I tipi generici sono uno strumento fondamentale per scrivere codice pulito, sicuro e riutilizzabile.