Introduzione ai tipi mappati

I tipi mappati consentono di trasformare i tipi esistenti in nuovi tipi applicando operazioni a ogni proprietà di un tipo.

Sono strumenti potenti per creare strutture di tipi flessibili e riutilizzabili in TypeScript.

Che cosa sono i tipi mappati?

I tipi mappati utilizzano una sintassi come { [P in keyof T]: T[P] } per iterare sulle proprietà di un tipo T.

Esempio di base dei tipi mappati

Ecco un semplice esempio di utilizzo di un tipo mappato per creare una versione di sola lettura di un tipo:

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

type ReadonlyUser = {
  readonly [P in keyof User]: User[P];
};

Utilizzo dei tipi mappati integrati

TypeScript fornisce diversi tipi mappati integrati, tra cui:

• Readonly<T>: rende di sola lettura tutte le proprietà di T.
• Partial<T>: rende facoltative tutte le proprietà di T.
• Required<T>: rende obbligatorie tutte le proprietà di T.

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

// Example of Partial
const user: Partial<User> = {
  name: 'John',
};

Mappatura sulle unioni

I tipi mappati possono essere utilizzati anche con i tipi unione per creare nuovi tipi combinati:

type Status = 'active' | 'inactive';

type StatusFlags = {
  [K in Status]: boolean;
};

const flags: StatusFlags = {
  active: true,
  inactive: false,
};

Tipi mappati condizionali

È possibile utilizzare i tipi condizionali insieme ai tipi mappati per creare trasformazioni dei tipi più complesse.

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

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

type RequiredUser = NonOptional<User>;

Esempio avanzato: esclusione di proprietà

Ecco come creare un tipo mappato per escludere determinate proprietà:

type User = {
  id: number;
  name: string;
  password: string;
};

type PublicUser = {
  [K in keyof User as Exclude<K, 'password'>]: User[K];
};

Esercizio pratico

Creare un tipo mappato che aggiunga il modificatore readonly a tutte le proprietà di un tipo Product. Verificarne il funzionamento dichiarando una variabile del nuovo tipo.

Congratulazioni!

Ha imparato a usare i tipi mappati per trasformare dinamicamente i tipi esistenti in nuovi tipi. Si eserciti con queste tecniche per rendere il codice TypeScript ancora più potente!