0Pricing
Frontend Academy · Lezione

Narrowing: typeof, instanceof e union discriminate

Usare i type guard per restringere i union type a runtime con typeof, instanceof e i pattern delle union discriminate.

Narrowing: typeof, instanceof e union discriminate è una lezione Frontend Academy gratuita su CoddyKit. Questa è la lezione 4 di 4. 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 Frontend Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Frontend Academy include 4 lezioni in totale.

Che cos'è il restringimento dei tipi?

TypeScript parte da un tipo ampio, ad esempio string | number. Il restringimento è il processo che perfeziona il tipo rendendolo più specifico all'interno di un blocco condizionale. TypeScript tiene automaticamente traccia dei restringimenti.

Restringimento con typeof

L'operatore typeof restringe i tipi primitivi. All'interno di un blocco if, TypeScript conosce il tipo esatto.

function format(value: string | number | boolean): string {
  if (typeof value === 'string') {
    return value.toUpperCase(); // string here
  }
  if (typeof value === 'number') {
    return value.toFixed(2);   // number here
  }
  return String(value);        // boolean here
}

Restringimento con instanceof

instanceof restringe i tipi delle istanze delle classi. All'interno del blocco, TypeScript conosce la classe specifica.

function processError(err: unknown) {
  if (err instanceof Error) {
    console.error(err.message); // Error methods available
  } else if (err instanceof Response) {
    console.error('HTTP error:', err.status);
  } else {
    console.error('Unknown:', err);
  }
}

Restringimento per veridicità

TypeScript esclude null e undefined nei controlli di veridicità.

function printLength(value: string | null | undefined) {
  if (value) {
    console.log(value.length); // string here (null/undefined filtered)
  }
}

Restringimento per uguaglianza

L'uguaglianza rigorosa restringe il tipo a un tipo literal. È utile per le unioni discriminate e gli enum di stringhe.

function handle(action: 'submit' | 'cancel' | 'reset') {
  if (action === 'submit') {
    // action is exactly 'submit'
    doSubmit();
  }
}

Restringimento con l'operatore in

L'operatore in restringe i tipi unione di oggetti verificando quali proprietà esistono.

interface Cat { meow(): void; }
interface Dog { bark(): void; }

function speak(animal: Cat | Dog) {
  if ('meow' in animal) {
    animal.meow(); // Cat
  } else {
    animal.bark(); // Dog
  }
}

Unioni discriminate — Restringimento basato su tag

Un'unione discriminata ha una proprietà di tipo literal condivisa, detta discriminante. TypeScript restringe l'unione in switch/if in base a tale proprietà.

type LoadingState = { status: 'loading' };
type SuccessState = { status: 'success'; data: User[] };
type ErrorState   = { status: 'error'; message: string };
type State = LoadingState | SuccessState | ErrorState;

function render(state: State) {
  switch (state.status) {
    case 'loading': return '<Spinner />';
    case 'success': return renderUsers(state.data);  // state.data available
    case 'error':   return renderError(state.message);
  }
}

Predicati di tipo — Guardie di tipo personalizzate

Una funzione predicato di tipo restringe il tipo per il chiamante. Utilizzi param is Type come tipo restituito.

function isUser(value: unknown): value is User {
  return (
    typeof value === 'object' &&
    value !== null &&
    'name' in value &&
    typeof (value as User).name === 'string'
  );
}

const data: unknown = await fetchJson('/api/me');
if (isUser(data)) {
  console.log(data.name); // typed as User
}

Funzioni di asserzione

Una funzione di asserzione genera un'eccezione se la condizione non è soddisfatta e restringe il tipo dopo la chiamata.

function assertIsString(val: unknown): asserts val is string {
  if (typeof val !== 'string') throw new Error('Expected string');
}

const val: unknown = getInput();
assertIsString(val);
console.log(val.toUpperCase()); // val is string here

Verifica dell'esaustività

Quando uno switch su un'unione discriminata lascia un tipo never nel ramo default, TypeScript garantisce che tutti i casi siano gestiti. Aggiunga un default che assegni a never per ottenere un errore di compilazione se viene aggiunta una nuova variante.

function render(state: State): string {
  switch (state.status) {
    case 'loading': return '...';
    case 'success': return state.data.length.toString();
    case 'error':   return state.message;
    default:
      const _exhaustive: never = state;
      throw new Error('Unhandled state: ' + _exhaustive);
  }
}

Restringimento con Array.isArray

Array.isArray() restringe un valore al tipo array.

function processInput(input: string | string[]) {
  if (Array.isArray(input)) {
    return input.join(', '); // string[]
  }
  return input.toUpperCase(); // string
}

Verifica rapida

Quale tecnica di restringimento utilizza una proprietà literal condivisa per distinguere le varianti di un tipo unione?

Riepilogo: restringimento dei tipi in TypeScript

typeof per i tipi primitivi. instanceof per le classi. L'operatore in per le forme degli oggetti. La veridicità filtra null/undefined. Le unioni discriminate con una proprietà literal condivisa consentono istruzioni switch esaustive. Predicati di tipo personalizzati (is) per controlli complessi a runtime. Verifica dell'esaustività con never nei default.

Domande Frequenti

La lezione «Narrowing: typeof, instanceof e union discriminate» è gratuita?

Sì — il testo completo di «Narrowing: typeof, instanceof e union discriminate» è 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 Frontend Academy, passa a CoddyKit PRO. Il corso Frontend Academy include 4 lezioni in totale.

Cosa imparerò in «Narrowing: typeof, instanceof e union discriminate»?

Usare i type guard per restringere i union type a runtime con typeof, instanceof e i pattern delle union discriminate. Eserciti Frontend 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 Frontend Academy?

Non è richiesta alcuna esperienza precedente. Frontend 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 4 di 4.

Quanto tempo richiede la lezione «Narrowing: typeof, instanceof e union discriminate»?

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 Frontend Academy?

Sì. Ogni lezione Frontend 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

  1. Generics: T extends e vincoli
  2. Utility type: Partial, Required, Pick e Omit
  3. Mapped type e conditional type
  4. Narrowing: typeof, instanceof e union discriminate
← Torna a Frontend Academy