T extends U ? X : Y nella pratica
Scriva tipi condizionali pratici; apprenda la distribuzione sulle unioni e come disattivarla quando necessario.
T extends U ? X : Y nella pratica è una lezione TypeScript Academy gratuita su CoddyKit. Questa è la lezione 1 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: usare i tipi condizionali per esprimere la logica nel sistema dei tipi e capire quando si distribuiscono sulle unioni.
- Pattern:
T extends U ? X : Y - Distribuzione: applica il ramo a ogni membro dell'unione
Pattern di base
I tipi condizionali scelgono un ramo in base al fatto che T sia assegnabile a string.
type IsString<T> = T extends string ? true : false
type A = IsString<string>
// ^ true
type B = IsString<number>
// ^ falseDistribuzione
Con un T diretto, il controllo viene eseguito per ogni membro dell'unione: string | number diventa string[] | number[].
type ToArray<T> = T extends any ? T[] : never
type C = ToArray<string | number>
// distributes:
// C is string[] | number[]Disattivare la distribuzione
Racchiudere T in una tupla ([T]) per impedire la distribuzione e trattare l'unione nel suo insieme.
type ToArrayNoDist<T> = [T] extends [any] ? T[] : never
type D = ToArrayNoDist<string | number>
// no distribution:
// D is (string | number)[]Utility per casi reali
Esempio del pattern: per gli array, ElementType usa infer per estrarre l'elemento; altrimenti lascia invariato il tipo.
type NonEmptyArray<T> = T[] extends [] ? never : T[]
// Usually better:
// type ElementType<T> = T extends ReadonlyArray<infer U> ? U : T
type E1 = ElementType<string[]>
// ^ string
type E2 = ElementType<readonly number[]>
// ^ number
type E3 = ElementType<string>
// ^ stringSuggerimenti
Suggerimenti: mantenere semplici le condizioni; tenere presente la distribuzione; riutilizzare i tipi helper; includere file di test per le combinazioni complesse.
// Tips
// - Keep conditions simple; deep nesting harms readability
// - Document distribution behavior for teammates
// - Prefer helper aliases (ElementType, Awaited) for reuse
// - Watch for De Morgan like logic when composing unionsControllo della distribuzione
Controllo rapido: quando si distribuiscono i tipi condizionali?
Riepilogo
Riepilogo: i tipi condizionali modellano la logica nei tipi. La distribuzione si applica a ogni membro dell'unione; usare una tupla per disattivarla.
Domande Frequenti
La lezione «T extends U ? X : Y nella pratica» è gratuita?
Sì — il testo completo di «T extends U ? X : Y nella pratica» è 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 «T extends U ? X : Y nella pratica»?
Scriva tipi condizionali pratici; apprenda la distribuzione sulle unioni e come disattivarla quando necessario. 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 1 di 3.
Quanto tempo richiede la lezione «T extends U ? X : Y nella pratica»?
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
- T extends U ? X : Y nella pratica
- infer per utility simili a ReturnType
- Built-in: ReturnType, Parameters, InstanceType, ecc.