TypeScript Academy · Lektion

Distributive bedingte Typen

Verstehen Sie, wie sich bedingte Typen über die Mitglieder einer Union verteilen.

Lektion 4 von 413 Schritte

Distributive bedingte Typen ist eine kostenlose TypeScript Academy-Lektion auf CoddyKit. Dies ist Lektion 4 von 4. Du kannst die komplette Lektion unten kostenlos lesen – dann übst du sie direkt im Browser mit einem integrierten Code-Editor und einem KI-Tutor rund um die Uhr. Sie ist Teil des TypeScript Academy-Lernpfads, und dein Fortschritt wird über Web und CoddyKit-App synchronisiert. Der TypeScript Academy-Kurs umfasst insgesamt 4 Lektionen.

Willkommen

Distributive bedingte Typen wenden einen bedingten Typ separat auf jedes Mitglied einer Union an. Dieses leistungsfähige Verhalten ermöglicht die Transformation und Filterung von Unions.

Was ist Verteilung

Wenn ein bedingter Typ einen unverpackten generischen Typparameter T enthält und T eine Union ist, wendet TypeScript die Bedingung separat auf jedes Mitglied der Union an.
type Wrap<T> = T extends any ? { value: T } : never;
type R = Wrap<string | number>;
// = { value: string } | { value: number }

Die entscheidende Bedingung

Eine Verteilung findet nur statt, wenn T ein unverpackter generischer Typparameter ist. Wenn Sie T in ein Tupel verpacken, wird sie verhindert.
type Bare<T> = T extends string ? 'yes' : 'no';
type Wrapped<T> = [T] extends [string] ? 'yes' : 'no';
type B = Bare<'a' | 'b'>; // 'yes' | 'yes' = 'yes'
type W = Wrapped<'a' | 'b'>; // 'no' — treated as a tuple

Unions mit never filtern

Wenn der false-Zweig `never` zurückgibt, werden Mitglieder aus der Union herausgefiltert.
type StringsOnly<T> = T extends string ? T : never;
type S = StringsOnly<string | number | boolean>; // string

Integrierter Typ Extract

`Extract` wird mit einem distributiven bedingten Typ implementiert, der die U zuweisbaren Mitglieder beibehält.
type Extract<T, U> = T extends U ? T : never;
type E = Extract<string | number | boolean, string | number>; // string | number

Integrierter Typ Exclude

`Exclude` entfernt aus U zuweisbare Mitglieder aus der Union.
type Exclude<T, U> = T extends U ? never : T;
type Ex = Exclude<string | number | boolean, boolean>; // string | number

Verteilung mit ToArray

Wenden Sie ToArray durch Verteilung separat auf jedes Mitglied einer Union an.
type ToArray<T> = T extends any ? T[] : never;
type R = ToArray<string | number>; // string[] | number[]

Anwendungsfall für das Verhindern der Verteilung

Manchmal soll die gesamte Union als ein einziges Typargument behandelt werden, ohne sie zu verteilen.
type IsUnion<T> = [T] extends [T] ? [T] extends [Exclude<T, T>] ? false : true : false;

Distributive Mapped Types

Kombinieren Sie distributive bedingte Typen mit Mapped Types, um ausgewählte Eigenschaften zu transformieren.
type PickByValue<T, V> = {
  [K in keyof T as T[K] extends V ? K : never]: T[K]
};

Distributiver bedingter Typ in ReturnType

Durch das distributive Verhalten funktioniert `ReturnType` auch dann korrekt, wenn T eine Union von Funktionstypen ist.
type Fn = (() => string) | (() => number);
type R = ReturnType<Fn>; // string | number

Eager- und Lazy-Verteilung

TypeScript verzögert die Auswertung bedingter Typen mit freien Typparametern, bis diese aufgelöst sind – dies wird als Lazy-Evaluation bezeichnet.

Kurztest

Was ist `type R = (string | number) extends string ? 'yes' : 'no'`, wenn T KEIN unverpackter generischer Typ ist?

Zusammenfassung

Distributive bedingte Typen werden separat auf jedes Mitglied einer Union angewendet, wenn T ein unverpackter generischer Parameter ist. Dies bildet die Grundlage für `Extract`, `Exclude` und die benutzerdefinierte Filterung von Unions. Verpacken Sie T in ein Tupel, um die Verteilung zu verhindern.
Kostenlos starten

Lerne TypeScript mit einem KI-Tutor — kostenlos

Schreibe und führe echten Code in deinem Browser aus, bekomme sofortige Hilfe von einem 24/7 KI-Tutor und setze dein Lernen im Web oder in der App fort.

Kurse
101
Lektionen
352

Häufig gestellte Fragen

Ist die Lektion „Distributive bedingte Typen“ kostenlos?

Ja — der vollständige Text von „Distributive bedingte Typen“ ist hier im Web kostenlos zu lesen. Um sie interaktiv zu üben (integrierter Code-Editor und 24/7 KI-Tutor) und den Rest des TypeScript Academy-Kurses freizuschalten, upgrade auf CoddyKit PRO. Der TypeScript Academy-Kurs umfasst insgesamt 4 Lektionen.

Was lerne ich in „Distributive bedingte Typen“?

Verstehen Sie, wie sich bedingte Typen über die Mitglieder einer Union verteilen. Du übst TypeScript Academy mit praktischem Code, den du direkt im Browser ausführst, und ein 24/7 KI-Tutor beantwortet deine Fragen während du die Lektion bearbeitest.

Brauche ich Erfahrung, um TypeScript Academy zu starten?

Keine Vorkenntnisse erforderlich. TypeScript Academy auf CoddyKit ist für Anfänger bis fortgeschrittene Lernende strukturiert, sodass du hier starten oder von Anfang an beginnen und in deinem eigenen Tempo voranschreiten kannst. Dies ist Lektion 4 von 4.

Wie lange dauert die Lektion „Distributive bedingte Typen“?

Die meisten CoddyKit-Lektionen dauern etwa 5–10 Minuten. Jede ist kompakt und interaktiv, sodass du stetig Fortschritte machst und genau dort weitermachst, wo du aufgehört hast – im Web und in der App.

Kann ich in dieser TypeScript Academy-Lektion Code schreiben und ausführen?

Ja. Jede TypeScript Academy-Lektion enthält einen integrierten Code-Editor, sodass du echten Code direkt in deinem Browser schreibst und ausführst und sofort KI-Feedback erhältst — ohne lokale Einrichtung erforderlich.

Alle Lektionen in diesem Kurs

  1. keyof und Indexed-Access-Typen
  2. Generische Einschränkungen: Typparameter eingrenzen
  3. Bedingte Typen: T extends U ? X : Y
  4. Distributive bedingte Typen
← Zurück zu TypeScript Academy