Introduzione alla creazione dinamica dei tipi

La creazione dinamica dei tipi in TypeScript consente di definire tipi che si adattano in base ad altri tipi o dati, rendendo il codice più flessibile e riutilizzabile.

Questo risultato si ottiene tramite funzionalità come i tipi condizionali, i tipi mappati e i tipi di accesso indicizzato.

Cos'è la creazione dinamica dei tipi?

La creazione dinamica dei tipi consiste nel generare nuovi tipi trasformando o manipolando quelli esistenti, spesso usando le utilità avanzate per i tipi di TypeScript.

Usare i tipi condizionali

I tipi condizionali usano extends per valutare i tipi in base a una condizione:

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

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

Tipi mappati per la creazione dinamica dei tipi

I tipi mappati iterano sulle chiavi di un tipo per creare dinamicamente nuovi tipi:

type Optional<T> = {
  [K in keyof T]?: T[K];
};

type User = {
  name: string;
  age: number;
};

type OptionalUser = Optional<User>;
// { name?: string; age?: number; }

Usare i tipi di accesso indicizzato

I tipi di accesso indicizzato recuperano il tipo di una proprietà da un altro tipo:

type User = {
  name: string;
  age: number;
};

type UserName = User['name']; // string

Combinare le tecniche

È possibile combinare tipi condizionali, mappati e di accesso indicizzato per creare tipi dinamici più avanzati:

type ReadonlyIfString<T> = {
  [K in keyof T]: T[K] extends string ? Readonly<T[K]> : T[K];
};

type User = {
  name: string;
  age: number;
};

type UpdatedUser = ReadonlyIfString<User>;
// { name: Readonly<string>; age: number; }

Casi d'uso pratici

La creazione dinamica dei tipi è utile per:

• Adattare dinamicamente le API in base all'input dell'utente.
• Creare tipi di utilità riutilizzabili e sicuri dal punto di vista dei tipi.
• Definire tipi per le trasformazioni dei dati.

Esercizio

Crei un tipo dinamico che renda opzionali tutte le proprietà di un tipo Product se sono di tipo string. Lo testi con dati di esempio.

Congratulazioni!

Ha imparato a creare tipi dinamici in TypeScript usando tipi condizionali, mappati e di accesso indicizzato. Si eserciti con queste tecniche per sfruttare appieno la potenza del sistema dei tipi di TypeScript!