T extends U ? X : Y w praktyce
Pisanie praktycznych typów warunkowych, poznanie ich dystrybucji po uniach oraz sposobów wyłączenia tej dystrybucji w razie potrzeby
T extends U ? X : Y w praktyce to bezpłatna lekcja TypeScript Academy na CoddyKit. To lekcja 1 z 3. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej TypeScript Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs TypeScript Academy zawiera 3 lekcji w sumie.
Wprowadzenie
Cel: używać typów warunkowych do wyrażania logiki w systemie typów i rozumieć, kiedy rozkładają się na unie.
- Wzorzec:
T extends U ? X : Y - Rozkładanie: zastosowanie gałęzi dla każdego elementu unii
Podstawowy wzorzec
Typy warunkowe wybierają gałąź na podstawie tego, czy T można przypisać do string.
type IsString<T> = T extends string ? true : false
type A = IsString<string>
// ^ true
type B = IsString<number>
// ^ falseRozkładanie
W przypadku niezawiniętego T sprawdzenie jest wykonywane dla każdego elementu unii: string | number staje się string[] | number[].
type ToArray<T> = T extends any ? T[] : never
type C = ToArray<string | number>
// distributes:
// C is string[] | number[]Wyłączenie rozkładania
Owiń T w krotkę ([T]), aby zapobiec rozkładaniu i traktować unię jako całość.
type ToArrayNoDist<T> = [T] extends [any] ? T[] : never
type D = ToArrayNoDist<string | number>
// no distribution:
// D is (string | number)[]Praktyczne zastosowanie
Przykład tego wzorca: w przypadku tablic ElementType używa infer do wyodrębnienia typu elementu, a w przeciwnym razie pozostawia typ bez zmian.
type NonEmptyArray<T> = T[] extends [] ? never : T[]
// Usually better:
// type ElementType<T> = T extends ReadonlyArray<infer U> ? U : T
type E1 = ElementType<string[]>
// ^ string
type E2 = ElementType<readonly number[]>
// ^ number
type E3 = ElementType<string>
// ^ stringWskazówki
Wskazówki: zachowuj prostotę warunków, uwzględniaj wdrożenie, ponownie używaj typów pomocniczych i dodawaj pliki testów dla złożonych kombinacji.
// Tips
// - Keep conditions simple; deep nesting harms readability
// - Document distribution behavior for teammates
// - Prefer helper aliases (ElementType, Awaited) for reuse
// - Watch for De Morgan like logic when composing unionsSprawdzanie rozkładania
Szybkie sprawdzenie: kiedy typy warunkowe rozkładają się na unie?
Podsumowanie
Podsumowanie: typy warunkowe modelują logikę w typach. Rozkładanie działa dla każdego elementu unii; aby je wyłączyć, użyj opakowania w krotkę.
Często zadawane pytania
Czy lekcja „T extends U ? X : Y w praktyce” jest bezpłatna?
Tak — pełny tekst „T extends U ? X : Y w praktyce” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu TypeScript Academy, przejdź na CoddyKit PRO. Kurs TypeScript Academy zawiera 3 lekcji w sumie.
Co nauczysz się w „T extends U ? X : Y w praktyce”?
Pisanie praktycznych typów warunkowych, poznanie ich dystrybucji po uniach oraz sposobów wyłączenia tej dystrybucji w razie potrzeby Ćwiczysz TypeScript Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.
Czy potrzebuję doświadczenia, aby zacząć TypeScript Academy?
Nie wymagamy żadnego doświadczenia. TypeScript Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 1 z 3.
Ile czasu zajmuje lekcja „T extends U ? X : Y w praktyce”?
Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.
Czy mogę pisać i uruchamiać kod w tej lekcji TypeScript Academy?
Tak. Każda lekcja TypeScript Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.
Wszystkie lekcje w tym kursie
- T extends U ? X : Y w praktyce
- infer dla narzędzi w stylu ReturnType
- Wbudowane: ReturnType, Parameters, InstanceType itd.