TypeScript Academy · Lezione

Condizionali a livello di tipo

Crei diramazioni sui tipi con espressioni di tipo condizionali.

Condizionali a livello di tipo è una lezione TypeScript Academy gratuita su CoddyKit. Questa è la lezione 2 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.

L'if a livello di tipo

Il linguaggio dei tipi acquisisce il branching con i tipi condizionali. La sintassi T extends U ? X : Y si legge così: se T è assegnabile a U, il risultato è X; altrimenti è Y.

È l'equivalente a livello di tipo di un'espressione if / else.

type IsString<T> = T extends string ? "yes" : "no";

type A = IsString<string>; // "yes"
type B = IsString<number>; // "no"

extends indica l'assegnabilità

Il test non verifica l'uguaglianza. T extends U è vero quando un valore di tipo T può essere usato dove è previsto un U. I tipi letterali sono assegnabili al rispettivo tipo di base.

type T1 = "hello" extends string ? true : false; // true
type T2 = string extends "hello" ? true : false; // false
type T3 = 42 extends number ? true : false;       // true

Scelta del tipo risultato

I condizionali consentono a un generico di restituire forme diverse in base all'input. Qui Wrap racchiude gli array in modo diverso dagli scalari.

type Wrap<T> = T extends unknown[]
  ? { list: T }
  : { value: T };

type A = Wrap<number>;   // { value: number }
type B = Wrap<string[]>; // { list: string[] }

Filtrare usando never

Un espediente comune consiste nel restituire never in uno dei rami. never significa «nessun valore» ed è utile per rimuovere successivamente membri dalle unioni.

type OnlyStrings<T> = T extends string ? T : never;

type A = OnlyStrings<string>; // string
type B = OnlyStrings<number>; // never

Inferenza con infer

La vera potenza emerge con la parola chiave infer. All'interno di un condizionale, infer introduce una nuova variabile di tipo che acquisisce una parte del tipo confrontato.

Qui acquisiamo il tipo degli elementi di un array.

type ElementType<T> = T extends (infer U)[] ? U : never;

type A = ElementType<number[]>; // number
type B = ElementType<string[]>; // string

Inferenza dei risultati delle funzioni

Può inserire infer in qualsiasi punto dello schema. Per estrarre il tipo restituito da una funzione, ricavi per inferenza la parte successiva alla freccia. È così che funziona l'utility integrata ReturnType.

type MyReturn<T> = T extends (...args: any[]) => infer R ? R : never;

type A = MyReturn<() => number>;      // number
type B = MyReturn<(x: string) => boolean>; // boolean

Inferenza di più parti

Un singolo condizionale può introdurre contemporaneamente diverse variabili infer. Qui estraiamo sia il primo elemento sia il resto di una tupla.

type FirstRest<T> = T extends [infer H, ...infer R]
  ? { head: H; rest: R }
  : never;

type A = FirstRest<[1, 2, 3]>;
// { head: 1; rest: [2, 3] }

Condizionali annidati

I condizionali si annidano proprio come una catena di else if. Il ramo else di un condizionale può essere a sua volta un altro condizionale, formando una sequenza di decisioni.

type Describe<T> =
  T extends string ? "text" :
  T extends number ? "num" :
  T extends boolean ? "flag" :
  "other";

type A = Describe<number>; // "num"
type B = Describe<null>;   // "other"

Le condizioni come controlli

Usi un condizionale per verificare una struttura prima di estrarre dati da essa. Se l'input non corrisponde, ricorra a never affinché l'uso errato sia visibile.

type GetName<T> = T extends { name: infer N } ? N : never;

type A = GetName<{ name: string }>; // string
type B = GetName<{ age: number }>;  // never

Combinazione delle condizioni

Può richiedere più condizioni annidandole. Qui, per essere accettato, un tipo deve essere sia un oggetto sia avere un id.

type RequireId<T> =
  T extends object
    ? T extends { id: unknown } ? T : never
    : never;

type A = RequireId<{ id: 1; x: 2 }>; // { id: 1; x: 2 }
type B = RequireId<{ x: 2 }>;        // never

I condizionali sono ovunque

La maggior parte dei tipi utility integrati è basata internamente su condizionali: NonNullable, Extract, Exclude, Parameters e ReturnType. Comprendere extends ? : consente di padroneggiarli tutti.

type MyNonNullable<T> = T extends null | undefined ? never : T;

type A = MyNonNullable<string | null>; // string

Verifica rapida

Metta alla prova la Sua comprensione dei tipi condizionali e di infer.

Riepilogo

I tipi condizionali forniscono al linguaggio dei tipi un if/else e il pattern matching.

T extends U ? X : Y sceglie un ramo in base all'assegnabilità.
infer acquisisce le parti confrontate in nuove variabili.
I condizionali si annidano per formare sequenze di decisioni.
Restituire never filtra i membri.

Successivamente: fare in modo che un condizionale richiami sé stesso per ottenere la ricorsione.

Domande Frequenti

La lezione «Condizionali a livello di tipo» è gratuita?

Sì — il testo completo di «Condizionali a livello di tipo» è 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 «Condizionali a livello di tipo»?

Crei diramazioni sui tipi con espressioni di tipo 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 2 di 4.

Quanto tempo richiede la lezione «Condizionali a livello di tipo»?

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

← Torna a TypeScript Academy