Introduzione ai tipi condizionali

I tipi condizionali in TypeScript consentono di creare tipi che si adattano dinamicamente in base a una condizione, rendendo il codice più flessibile e riutilizzabile.

Usano una sintassi simile a quella dell'operatore condizionale (ternary) di JavaScript.

Cosa sono i tipi condizionali?

I tipi condizionali consentono di definire un tipo che dipende da un altro tipo. La sintassi di base è:

T extends U ? X : Y

Questo significa: se T estende U, il tipo è X; altrimenti è Y.

Esempio di base dei tipi condizionali

Ecco un semplice esempio:

type IsString<T> = T extends string ? 'Yes' : 'No';

// Test cases
type A = IsString<string>; // 'Yes'
type B = IsString<number>; // 'No'

Usare i tipi condizionali per i sovraccarichi delle funzioni

I tipi condizionali possono semplificare i sovraccarichi delle funzioni determinando dinamicamente i tipi restituiti:

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

function getData(): string {
  return 'Hello';
}

type DataType = ReturnType<typeof getData>; // string

Tipi condizionali distributivi

Quando i tipi condizionali vengono applicati a tipi unione, vengono distribuiti su ogni membro dell'unione:

type ToArray<T> = T extends any ? T[] : never;

type A = ToArray<string | number>;
// A = string[] | number[]

Combinare i tipi condizionali con i tipi mappati

È possibile combinare i tipi condizionali con i tipi mappati per eseguire potenti trasformazioni dei tipi:

type User = {
  id: number;
  name: string;
  isAdmin?: boolean;
};

type MakeRequired<T> = {
  [K in keyof T]-?: T[K] extends undefined ? never : T[K];
};

type RequiredUser = MakeRequired<User>;
// { id: number; name: string; isAdmin: never; }

Casi d'uso comuni dei tipi condizionali

I tipi condizionali vengono comunemente usati per:

• Inferire i tipi restituiti o i parametri.
• Trasformare unioni e intersezioni.
• Creare tipi di utilità come Exclude, Extract e NonNullable.

Attività pratica

Crei un tipo condizionale che verifichi se un tipo è un array e, in tal caso, restituisca il tipo dei suoi elementi; altrimenti, restituisca il tipo stesso.

Congratulazioni!

Ha imparato a usare i tipi condizionali per creare definizioni di tipo dinamiche e riutilizzabili in TypeScript. Metta in pratica questi concetti per scrivere codice TypeScript più potente e flessibile!