Tipi condizionali (introduzione) e distribuzione sulle unioni
Apprenda i tipi condizionali (T extends U ? X : Y) e come si distribuiscono sulle unioni per realizzare una potente logica a livello di tipo.
Tipi condizionali (introduzione) e distribuzione sulle unioni è una lezione TypeScript Academy gratuita su CoddyKit. Questa è la lezione 2 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: utilizzare i tipi condizionali (T extends U ? X : Y) per diramare la logica a livello di tipo e comprendere la distribuzione sulle unioni per ottenere risultati precisi.
Condizionale di base
Un tipo condizionale restituisce uno di due tipi in base al fatto che T extends U sia verificato o meno.
type IsString<T> = T extends string ? true : false;
let a: IsString<string>; // true
let b: IsString<number>; // false
Distribuzione
Con un parametro di tipo naked T, il condizionale viene valutato su ogni membro dell'unione e poi unisce i risultati.
type ToArray<T> = T extends any ? T[] : never;
type R1 = ToArray<string | number>; // string[] | number[]Arrestare la distribuzione
Racchiuda T in una tupla (ad esempio [T]) per arrestare la distribuzione e trattare l'unione nel suo insieme.
type ToArrayNoDistrib<T> = [T] extends [any] ? T[] : never;
type R2 = ToArrayNoDistrib<string | number>; // (string | number)[]Exclude nella pratica
Molti tipi di utilità si basano sulla distribuzione (ad esempio Exclude e Extract). Può creare facilmente varianti personalizzate.
type MyExclude<T, U> = T extends U ? never : T;
type R3 = MyExclude<"a" | "b" | "c", "b">; // "a" | "c"Suggerimenti
Suggerimenti:
- La distribuzione avviene solo con un parametro di tipo naked a sinistra di
extends. - Lo racchiuda in una tupla per escluderlo dalla distribuzione.
- Verifichi il comportamento con piccoli esempi per confermare la propria intuizione.
Verifica della distribuzione
Verifica rapida: perché i tipi condizionali si distribuiscono sulle unioni?
Riepilogo
Riepilogo: utilizzi i tipi condizionali per diramare la logica a livello di tipo. Comprenda quando i risultati si distribuiscono sulle unioni e come disattivare questo comportamento racchiudendo il tipo in una tupla.
Domande Frequenti
La lezione «Tipi condizionali (introduzione) e distribuzione sulle unioni» è gratuita?
Sì — il testo completo di «Tipi condizionali (introduzione) e distribuzione sulle unioni» è 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 «Tipi condizionali (introduzione) e distribuzione sulle unioni»?
Apprenda i tipi condizionali (T extends U ? X : Y) e come si distribuiscono sulle unioni per realizzare una potente logica a livello di tipo. 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 2 di 3.
Quanto tempo richiede la lezione «Tipi condizionali (introduzione) e distribuzione sulle unioni»?
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
- Interfacce generiche e alias di tipo
- Tipi condizionali (introduzione) e distribuzione sulle unioni
- Pattern riutilizzabili per i modelli di dati