TypeScript und bedingte Typen

In TypeScript gibt es ein spezielles Feature namens bedingte Typen, welches ermöglicht, Typüberprüfungen basierend auf Bedingungen durchzuführen. Dieses Feature erweitert die Flexibilität und Anpassungsfähigkeit von TypeScript, was es zu einem leistungsstarken Werkzeug für die Entwicklung von komplexen und zuverlässigen Code macht.

Was sind bedingte Typen in TypeScript?

Bedingte Typen sind eine flexible Möglichkeit, um komplexere Typsituationen in TypeScript-Code zu behandeln. Sie ermöglichen es Entwicklern, Typen dynamisch zu definieren, basierend auf Bedingungen, die zur Kompilierzeit ausgewertet werden.

Ein bedingter Typ sieht wie folgt aus:

T extends U ? X : Y

In diesem Ausdruck bedeutet T extends U, dass der Typ T kompatibel zu dem Typ U sein muss. Wenn das der Fall ist, nimmt der Ausdruck den Typ X an, ansonsten den Typ Y.

Wie benutzt man bedingte Typen?

Um ein praktisches Beispiel zu geben, nehmen wir an, wir möchten eine Funktion schreiben, die entweder eine Zeichenkette oder ein Array von Zeichenketten akzeptiert, und die gleiche Art von Daten zurückgibt, aber in Großbuchstaben. Dies kann mit bedingten Typen erreicht werden.

type UppercaseStringOrArray<T> = T extends string ? string : T extends string[] ? string[] : never;

function toUppercase<T extends string | string[]>(input: T): UppercaseStringOrArray<T> {
    if (typeof input === 'string') {
        return input.toUpperCase() as UppercaseStringOrArray<T>;
    } else {
        return (input as string[]).map(s => s.toUpperCase()) as UppercaseStringOrArray<T>;
    }
}

In diesem Beispiel definiert der bedingte Typ UppercaseStringOrArray einen Typ, der entweder string oder string[] ist, abhängig davon, ob T vom Typ string oder string[] ist.

Bedingte Typen sind ein mächtiges Werkzeug in TypeScript und können dazu beitragen, die Flexibilität und Sicherheit des Codes zu erhöhen. Sie haben jedoch auch ihre Komplexität und es ist wichtig, sie korrekt zu verwenden, um unerwartete Ergebnisse zu vermeiden. Obwohl ihre Verwendung nicht immer notwendig oder angebracht ist, sind sie eine wertvolle Ressource, wenn man sie braucht.