Was sind generische Typen?

Generische Typen ermöglichen die Definition von Klassen, Schnittstellen und Methoden unter Verwendung von Typparametern. Dies erhöht die Flexibilität, Wiederverwendbarkeit und Typsicherheit des Codes, indem es ermöglicht, mit verschiedenen Datentypen zu arbeiten, ohne die statische Typüberprüfung zu verlieren.

Wichtige Vorteile:

• Typsicherheit: Der Compiler überprüft die Typen zur Compile-Zeit und verhindert Laufzeitfehler im Zusammenhang mit Typinkompatibilitäten.
• Wiederverwendbarkeit: Der gleiche Code kann mit verschiedenen Datentypen verwendet werden, was Duplizierung reduziert.
• Leistung: In einigen Sprachen (z.B. C#) werden generische Typen unter Berücksichtigung eines bestimmten Typs implementiert, was die Leistung im Vergleich zur Verwendung von Object verbessern kann.

Anwendungsbeispiele:

• Sammlungen: Listen, Wörterbücher, Mengen, die nach Elementtyp parametrisiert sind.
• Methoden: Methoden, die mit jedem Datentyp arbeiten, der eine bestimmte Schnittstelle implementiert.
• Klassen: Wrapper-Klassen, Fabriken, die mit Typparametern arbeiten.

Beispiel in C#:

// Generische Liste
List<string> namen = new List<string>();
namen.Add("Alice");
namen.Add("Bob");

// Generische Methode
public T HoleErstesElement<T>(List<T> liste)
{
    if (liste != null && liste.Count > 0)
    {
        return liste[0];
    }
    return default(T); // Gibt den Standardwert für den Typ T zurück
}

Beispiel in Java:

// Generische Liste
List<String> namen = new ArrayList<>();
namen.add("Alice");
namen.add("Bob");

// Generische Methode
public <T> T holeErstesElement(List<T> liste) {
    if (liste != null && !liste.isEmpty()) {
        return liste.get(0);
    }
    return null; // Gibt null für Referenztypen zurück
}

Beispiel in Python (Type Hints):

from typing import List, TypeVar

T = TypeVar('T')

def holeErstesElement(daten: List[T]) -> T | None:
    # Die Funktion kann mit jeder Liste arbeiten und ein Element daraus zurückgeben
    if daten:
        return daten[0]
    return None

namen: List[str] = ["Alice", "Bob"]
erstesName = holeErstesElement(namen) # IDE erkennt, dass ersterName vom Typ str ist

In einigen Sprachen (Java) verwenden generische Typen "Type Erasure", bei der die Information über den Parametertyp bei der Kompilierung entfernt wird. Dies kann zu Einschränkungen führen. In anderen Sprachen (C#, Go) bleibt die Typinformation zur Laufzeit erhalten.

Generische Typen sind ein grundlegendes Werkzeug für sauberen, sicheren und wiederverwendbaren Code.