0Pricing
TypeScript Academy · Lezione

Tipi condizionali: T extends U ? X : Y

Scriva istruzioni if a livello di tipo con i tipi condizionali.

Tipi condizionali: T extends U ? X : Y è una lezione TypeScript Academy gratuita su CoddyKit. Questa è la lezione 3 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 TypeScript Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso TypeScript Academy include 4 lezioni in totale.

Benvenuto

I tipi condizionali consentono di esprimere istruzioni if a livello di tipo. Sono una parte fondamentale del sistema avanzato dei tipi di TypeScript e vengono usati per creare utility per i tipi.

Sintassi di base

Scriva T extends U ? X : Y. Se T è assegnabile a U, il risultato è X; altrimenti è Y.
type IsString<T> = T extends string ? true : false;
type A = IsString<string>; // true
type B = IsString<number>; // false

Built-in NonNullable

NonNullable è implementato con un tipo condizionale che rimuove null e undefined da T.
type NonNullable<T> = T extends null | undefined ? never : T;
type C = NonNullable<string | null>; // string

Condizionali con i generics

I tipi condizionali sono più utili all'interno di funzioni generiche e alias di tipo.
type Flatten<T> = T extends Array<infer I> ? I : T;
type Str = Flatten<string[]>; // string
type Num = Flatten<number>;   // number

Condizionali annidati

I tipi condizionali possono essere annidati per gestire logiche più complesse.
type TypeName<T> =
  T extends string ? 'string' :
  T extends number ? 'number' :
  T extends boolean ? 'boolean' :
  'object';

Distribuzione sulle unioni

Quando T è un parametro di tipo semplice, un tipo condizionale si distribuisce sui membri dell'unione.
type ToArray<T> = T extends any ? T[] : never;
type R = ToArray<string | number>; // string[] | number[]

Come impedire la distribuzione

Racchiuda T in una tupla per impedire la distribuzione.
type NoDistribute<T> = [T] extends [any] ? T[] : never;
type R2 = NoDistribute<string | number>; // (string | number)[]

Uso di never per il filtraggio

La restituzione di never da un tipo condizionale rimuove i membri dell'unione.
type OnlyStrings<T> = T extends string ? T : never;
type S = OnlyStrings<'a' | 'b' | 1 | 2>; // 'a' | 'b'

Tipi condizionali nei tipi mappati

Combini i tipi mappati e i tipi condizionali per trasformare selettivamente le proprietà degli oggetti.
type NullableValues<T> = { [K in keyof T]: T[K] extends string ? null : T[K] };

Inferenza dai parametri di funzione

Usi infer nei tipi condizionali per estrarre parti di tipi complessi.
type FirstParam<T> = T extends (first: infer P, ...rest: any[]) => any ? P : never;
type FP = FirstParam<(a: string, b: number) => void>; // string

Utility condizionali built-in

Molte utility built-in (ReturnType, Parameters, InstanceType) sono create con tipi condizionali e infer.
type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;

Verifica rapida

Qual è il risultato di `type R = string extends object ? 'yes' : 'no'`?

Riepilogo

I tipi condizionali (T extends U ? X : Y) consentono la logica a livello di tipo. Si distribuiscono sulle unioni, funzionano con infer per l'estrazione e sono alla base di molte utility per i tipi built-in di TypeScript.

Domande Frequenti

La lezione «Tipi condizionali: T extends U ? X : Y» è gratuita?

Sì — il testo completo di «Tipi condizionali: T extends U ? X : Y» è 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 4 lezioni in totale.

Cosa imparerò in «Tipi condizionali: T extends U ? X : Y»?

Scriva istruzioni if a livello di tipo con i tipi condizionali. 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 4.

Quanto tempo richiede la lezione «Tipi condizionali: T extends U ? X : Y»?

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

  1. keyof e tipi di accesso indicizzato
  2. Vincoli dei generics: restringere i parametri di tipo
  3. Tipi condizionali: T extends U ? X : Y
  4. Tipi condizionali distributivi
← Torna a TypeScript Academy