Kompletność z never — wprowadzenie
Używanie never do wymuszania kompletnych instrukcji switch dla unii i wczesnego wykrywania brakujących przypadków
Kompletność z never — wprowadzenie to bezpłatna lekcja TypeScript Academy na CoddyKit. To lekcja 3 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: Zapewnić, że instrukcja switch obsługuje wszystkie elementy unii. Typ never pomaga kompilatorowi ostrzec o braku nowego przypadku.
Przygotowanie unii
Należy utworzyć unię dyskryminowaną z literałem pełniącym funkcję znacznika (np. kind), na którym później będzie oparta instrukcja switch.
type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; size: number };
type Shape = Circle | Square;Niekompletna instrukcja switch
Brakująca gałąź nie uniemożliwia kompilacji, ale logika pozostaje niekompletna. Potrzebny jest sposób wymuszenia błędu podczas kompilacji, gdy brakuje przypadku.
function areaBad(s: Shape): number {
switch (s.kind) {
case "circle":
return Math.PI * s.radius ** 2;
// OOPS: forgot "square" -> no compile error yet
}
return 0; // silently wrong
}
console.log(areaBad({ kind: "circle", radius: 2 }));Funkcja pomocnicza assertNever
Należy zdefiniować assertNever: przyjmuje ona wyłącznie never. Jeśli dotrze do niej wartość, instrukcja switch nie jest kompletna i kompilator zgłosi ten problem.
function assertNever(x: never): never {
throw new Error("Unhandled case: " + JSON.stringify(x));
}Kompletna instrukcja switch
Należy dodać default wywołujący assertNever. Gdy pojawi się nowy element unii, kompilator wymusi jego obsługę.
function area(s: Shape): number {
switch (s.kind) {
case "circle":
return Math.PI * s.radius ** 2;
case "square":
return s.size * s.size;
default:
return assertNever(s); // compiler error if a member is unhandled
}
}
console.log(area({ kind: "square", size: 3 }));Wskazówki
Wskazówki:
- Należy używać wyróżnika (np.
kind) w elementach unii. - Należy zachować wzorzec default + assertNever.
- Należy preferować przejrzyste typy zwracane, aby brakujące przypadki były oczywiste.
Sprawdzanie kompletności
Szybkie sprawdzenie: Jak zapewnić kompletność instrukcji switch działającej na unii dyskryminowanej?
Podsumowanie
Podsumowanie: never oznacza niemożliwą wartość. Należy używać assertNever w gałęzi default, aby wymusić kompletne i odporne na przyszłe zmiany instrukcje switch.
Ucz się TypeScript dzięki korepetycjom AI — za darmo
Pisz i uruchamiaj kod w przeglądarce, otrzymuj natychmiastową pomoc od korepetytora AI dostępnego 24/7 i kontynuuj naukę w sieci lub w aplikacji.
- Kursy
- 101
- Lekcje
- 352
Często zadawane pytania
Czy lekcja „Kompletność z never — wprowadzenie” jest bezpłatna?
Tak — pełny tekst „Kompletność z never — wprowadzenie” 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 „Kompletność z never — wprowadzenie”?
Używanie never do wymuszania kompletnych instrukcji switch dla unii i wczesnego wykrywania brakujących przypadków Ć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 3 z 3.
Ile czasu zajmuje lekcja „Kompletność z never — wprowadzenie”?
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
- typeof, równość i zawężanie przez truthiness
- in, instanceof i unie rozróżniane
- Kompletność z never — wprowadzenie