Was sind Generics und wie werden sie in der Programmierung verwendet?

Generics (Generics) sind die Möglichkeit, Code zu schreiben, der mit verschiedenen Datentypen arbeiten kann, während die Typsicherheit während der Kompilierung erhalten bleibt. Sie ermöglichen die Erstellung von Klassen, Schnittstellen und Methoden, bei denen der Datentyp bei der Verwendung bestimmt wird und nicht bei der Deklaration.

Der Einsatz von Generics gewährleistet:

• Typsicherheit: Der Compiler überprüft die Kompatibilität der Typen, was hilft, Fehler im Zusammenhang mit Typinkompatibilitäten zur Laufzeit zu vermeiden.
• Wiederverwendbarkeit des Codes: Derselbe Code kann für verschiedene Datentypen verwendet werden, ohne Logik zu duplizieren.
• Lesbarkeit des Codes: Die Verwendung spezifischer Typen anstelle von Object erhöht die Verständlichkeit des Codes.
• Leistung: In einigen Sprachen (z.B. Java) werden Generics durch Typenlöschung (type erasure) implementiert, in anderen (z.B. C#, C++) bleibt die Typinformation zur Laufzeit erhalten.

Anwendungsbeispiele:

• Sammlungen: Erstellung von generischen Listen, Mengen und Abbildungen, die Elemente beliebigen Typs speichern können.

  // Erstellen einer String-Liste
  List<String> stringList = new ArrayList<>();
  stringList.add("Hallo");
  // Fehler bei Kompilierung, wenn versucht wird, eine Zahl hinzuzufügen
  // stringList.add(123);
  

• Fabriken: Erstellung von Fabriken, die Objekte verschiedener Typen erzeugen können.
• Methoden: Schreiben von Methoden, die mit generischen Datentypen arbeiten.

  // Generische Methode zum Tauschen von Werten
  public static void Swap<T>(ref T a, ref T b)
  {
      T temp = a;
      a = b;
      b = temp;
  }
  

• Klassen: Erstellung von Klassen, die bezüglich des Typs der gespeicherten oder verarbeiteten Daten generisch sind.

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

Vergleich mit der Verwendung des Typs Object (in Java):

Merkmal	Generics	Object-Typ
Typsicherheit	Während der Kompilierung	Zur Laufzeit (durch Casts)
Notwendigkeit des Castings	Nein	Ja
Fehler	Werden während der Kompilierung erkannt	Können zur Laufzeit auftreten (ClassCastException)
Lesbarkeit	Hoch	Niedriger (nicht klar, welche Typen erwartet werden)

Insgesamt sind Generics ein mächtiges Werkzeug, das es ermöglicht, zuverlässigeren, lesbareren und wiederverwendbaren Code zu schreiben.