Bedingte Typen und infer

Bedingte Typen (Conditional Types) ermöglichen es, nicht-triviale Typentscheidungen basierend auf Vererbungsbeziehungen auszudrücken. Die Syntax ähnelt der des ternären Operators in JavaScript:

T extends U ? X : Y

Wenn der Typ T an U zugewiesen werden kann, ist der resultierende Typ X, andernfalls Y.

Einfache bedingte Typen

Ein bedingter Typ wertet eine Bedingung statisch auf Typebene aus:

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

Dieses Muster ist in Kombination mit Generics äußerst mächtig, um flexible und dynamische Hilfstypen zu erstellen.

Extraktion von Typen mit infer

Innerhalb der extends-Klausel eines bedingten Typs können wir das Schlüsselwort infer verwenden, um eine Typvariable zu deklarieren, die vom Compiler abgeleitet werden muss.

Wenn wir beispielsweise den Rückgabetyp einer Funktion extrahieren möchten:

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type FunzioneEsempio = () => string;
type Ritorno = GetReturnType<FunzioneEsempio>; // string

In diesem Beispiel weist infer R TypeScript an, den Rückgabetyp der Funktion automatisch zu ermitteln und ihn als R im positiven Zweig der Bedingung verfügbar zu machen.

Probier es aus

Aufgabe 1: Der Typ IsString

Aufgabe 2: Typ aus einem Array mit infer extrahieren