Cosa sono i Generics e come vengono utilizzati nella programmazione?

I generici (generics) sono la possibilità di scrivere codice che può lavorare con diversi tipi di dati, mantenendo la sicurezza di tipo durante la compilazione. Consentono di creare classi, interfacce e metodi in cui il tipo di dato viene determinato al momento dell’utilizzo, non nella dichiarazione.

L’uso dei generici garantisce:

• Sicurezza di tipo: Il compilatore verifica la compatibilità dei tipi, aiutando a evitare errori legati a incompatibilità di tipo in fase di runtime.
• Riutilizzo del codice: Lo stesso codice può essere usato per lavorare con diversi tipi di dati senza duplicare la logica.
• Leggibilità del codice: L’uso di tipi specifici invece di Object universale aumenta la chiarezza del codice.
• Prestazioni: In alcuni linguaggi (ad esempio Java), i generici sono implementati tramite eliminazione di tipo (type erasure), mentre in altri (come C#, C++) l’informazione sul tipo viene mantenuta in fase di runtime.

Esempi di utilizzo:

• Collezioni: Creazione di liste, insiemi e mappe generiche che possono contenere elementi di qualsiasi tipo.

  // Creazione di una lista di stringhe
  List<String> stringList = new ArrayList<>();
  stringList.add("ciao");
  // Errore di compilazione se si tenta di aggiungere un numero
  // stringList.add(123);
  

• Fabbriche: Creazione di fabbriche che possono generare oggetti di diversi tipi.
• Metodi: Scrittura di metodi che lavorano con tipi di dati generici.

  // Metodo generico per scambiare valori
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Classi: Creazione di classi che sono generiche rispetto al tipo di dati memorizzati o elaborati.

  // Classe generica Box
  class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

Confronto con l’uso del tipo Object (in Java):

Caratteristica	Generics	Tipo Object
Sicurezza di tipo	In fase di compilazione	In fase di runtime (tramite cast)
Necessità di cast	No	Sì
Errori	Rilevati in fase di compilazione	Possono verificarsi in fase di runtime (ClassCastException)
Leggibilità	Alta	Inferiore (non è chiaro quali tipi siano attesi)

In generale, i generici sono uno strumento potente che permette di scrivere codice più affidabile, leggibile e riutilizzabile.