never è il tipo di valori che non si verificano mai — una funzione che non ritorna mai (lancia un'eccezione o cicla infinitamente), o un ramo che il compilatore ha provato essere impossibile. È il tipo vuoto: nessun valore può essere assegnato a never (tranne never stesso).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
Quando si restringe un'unione a nulla, TypeScript tipizza il valore rimanente come never. Sfruttate questo per forzare la gestione di ogni caso:
type Shape =
| { kind: "circle"; r: number }
| { kind: "square"; side: number };
function area(s: Shape): number {
switch (s.kind) {
case "circle": return Math.PI * s.r ** 2;
case "square": return s.side ** 2;
default:
// if all cases are handled, s is `never` here — assignment OK
const _exhaustive: never = s;
return _exhaustive;
}
}
Adesso se qualcuno aggiunge { kind: "triangle"; ... } a Shape ma dimentica un caso, s nel default è il tipo triangolo (non never), quindi const _exhaustive: never = s non riesce a compilare — puntando esattamente quale switch deve essere aggiornato.
never vs voidfunction a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never trasforma "ho gestito ogni caso?" da una speranza in fase di esecuzione a una garanzia in fase di compilazione.
È la chiave per una gestione sicura e a prova di futuro delle unioni discriminate — aggiungete una variante e il compilatore enumera ogni posto dove dovete fare aggiornamenti.
Una raccolta di domande di colloquio IT con risposte dettagliate — da Junior a Senior.
Dona