Completezza con never (introduzione)
Utilizzi never per imporre switch completi sulle unioni e individuare tempestivamente i casi mancanti.
Completezza con never (introduzione) è una lezione TypeScript Academy gratuita su CoddyKit. Questa è la lezione 3 di 3. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento TypeScript Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso TypeScript Academy include 3 lezioni in totale.
Introduzione
Obiettivo: garantire che il proprio switch gestisca tutti i membri di un'unione. Il tipo never aiuta il compilatore ad avvisare quando manca un nuovo caso.
Configurazione dell'unione
Crei una unione discriminata con un'etichetta letterale (ad esempio kind) su cui eseguire successivamente lo switch.
type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; size: number };
type Shape = Circle | Square;Switch non esaustivo
Un ramo mancante viene compilato, ma la logica è incompleta. Serve un modo per forzare un errore in fase di compilazione quando manca un caso.
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 }));Helper assertNever
Definisca assertNever: accetta solo never. Se un valore lo raggiunge, lo switch non è esaustivo e il compilatore segnalerà l'errore.
function assertNever(x: never): never {
throw new Error("Unhandled case: " + JSON.stringify(x));
}Switch esaustivo
Aggiunga un default che chiami assertNever. Quando compare un nuovo membro dell'unione, il compilatore impone di gestirlo.
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 }));Linee guida
Linee guida:
- Usi un discriminante (come
kind) nei membri dell'unione. - Mantenga il modello default + assertNever.
- Preferisca tipi restituiti chiari, così i casi mancanti risultano evidenti.
Verifica dell'esaustività
Verifica rapida: come si rende esaustivo uno switch su un'unione discriminata?
Riepilogo
Riepilogo: never indica un valore impossibile. Usi assertNever nel ramo default per forzare switch completi e a prova di modifiche future.
Impara TypeScript con un tutor IA — gratis
Scrivi ed esegui vero codice nel tuo browser, ricevi aiuto istantaneo da un tutor IA disponibile 24/7, e riprendi da dove hai lasciato sul web o nell'app.
- Corsi
- 101
- Lezioni
- 352
Domande Frequenti
La lezione «Completezza con never (introduzione)» è gratuita?
Sì — il testo completo di «Completezza con never (introduzione)» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso TypeScript Academy, passa a CoddyKit PRO. Il corso TypeScript Academy include 3 lezioni in totale.
Cosa imparerò in «Completezza con never (introduzione)»?
Utilizzi never per imporre switch completi sulle unioni e individuare tempestivamente i casi mancanti. Eserciti TypeScript Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.
Ho bisogno di esperienza per iniziare TypeScript Academy?
Non è richiesta alcuna esperienza precedente. TypeScript Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 3 di 3.
Quanto tempo richiede la lezione «Completezza con never (introduzione)»?
La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.
Posso scrivere ed eseguire codice in questa lezione TypeScript Academy?
Sì. Ogni lezione TypeScript Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.
Tutte le lezioni di questo corso
- typeof, uguaglianza e restrizione tramite veridicità
- in, instanceof e unioni discriminate
- Completezza con never (introduzione)