Map in TypeScript: Map<K, V>, get, set, has e iterazione

Un Map di TypeScript è il Map integrato di JavaScript con chiavi e valori tipizzati: Map<string, number> associa stringhe a numeri. Crealo con new Map<K, V>(), poi usa set, get, has e delete. get restituisce V | undefined, perché la chiave potrebbe mancare.

const ages = new Map<string, number>();

ages.set("ada", 36);
ages.set("grace", 85).set("alan", 41); // set returns the map, so calls chain

console.log(ages.get("ada"));    // 36
console.log(ages.get("linus"));  // undefined
console.log(ages.has("grace"));  // true
console.log(ages.size);          // 3

ages.delete("alan");
console.log(ages); // Map(2) { 'ada' => 36, 'grace' => 85 }

// @ts-expect-error: Argument of type 'string' is not assignable to parameter of type 'number'.
ages.set("bob", "forty");

Sono gli argomenti di tipo a rendere utile un Map in TypeScript: ogni set viene controllato e ogni get restituisce il tipo del valore. L'ultima riga è un errore di compilazione (TS2345); @ts-expect-error fa sì che il blocco venga comunque eseguito.

Questa pagina parla della collezione Map. Se cercavi array.map(), lo trovi nell'ultima sezione.

Creare un Map

I tipi arrivano dagli argomenti di tipo, dalle voci iniziali o da un'annotazione. Le voci iniziali sono un array di tuple [key, value], o qualsiasi altra cosa che le produca.

// 1. Type arguments, empty map
const scores = new Map<string, number[]>();

// 2. Inferred from entries: Map<string, number>
const prices = new Map([
    ["tea", 2.5],
    ["coffee", 3.2],
]);

// 3. From an object: Map<string, boolean>
const flags = new Map(Object.entries({ darkMode: true, beta: false }));

// 4. Keys and values of any type
type User = { id: number; name: string };
const lastSeen = new Map<User, Date>();
lastSeen.set({ id: 1, name: "Ada" }, new Date("2024-03-15T10:30:00Z"));

console.log(scores.size, prices.get("tea"), flags.get("beta"), lastSeen.size);

Due trappole dell'inferenza:

• new Map() senza argomenti di tipo e senza voci è Map<any, any>. Niente di ciò che inserisci o estrai viene controllato. Scrivi sempre new Map<K, V>().
• Voci con tipi di valore diversi non producono un'unione. new Map([["a", 1], ["b", "x"]]) è l'errore TS2769 (No overload matches this call). Scrivi il tipo: new Map<string, number | string>([...]).

get restituisce V | undefined

Un Map non può garantire che una chiave esista, quindi get ha tipo V | undefined. Con strict, devi gestire undefined prima di usare il valore come V:

// This does not compile: get may return undefined.
const stock = new Map<string, number>([["apples", 3]]);

const apples: number = stock.get("apples");
console.log(apples);

index.ts(4,7): error TS2322: Type 'number | undefined' is not assignable to type 'number'.
  Type 'undefined' is not assignable to type 'number'.

Le soluzioni, dalla più comune alla meno comune:

const stock = new Map<string, number>([["apples", 3]]);

// 1. A default value with ??
const pears = stock.get("pears") ?? 0;
console.log(pears); // 0

// 2. Store the result and check it
const apples = stock.get("apples");
if (apples !== undefined) {
    console.log(apples * 2); // 6: apples is number here
}

// 3. Update a counter in one line
stock.set("apples", (stock.get("apples") ?? 0) + 1);
console.log(stock.get("apples")); // 4

// has() does not narrow a later get():
if (stock.has("apples")) {
    const n = stock.get("apples"); // still number | undefined
    console.log(n);
}

TypeScript non ricorda che has ha restituito true quando in seguito chiami get. Controllare direttamente il risultato di get è più breve e sicuro. Una non-null assertion, stock.get("apples")!, zittisce l'errore ma non ti protegge se la chiave manca.

Metodi di Map e i loro tipi

Iterare un Map

Un Map si itera in ordine di inserimento. for...of sul map produce tuple [key, value], con tipo [K, V].

const prices = new Map<string, number>([
    ["tea", 2.5],
    ["coffee", 3.2],
    ["juice", 4],
]);

for (const [item, price] of prices) {   // item: string, price: number
    console.log(`${item}: ${price.toFixed(2)}`);
}

prices.forEach((price, item) => {       // value first, then key
    console.log(item.toUpperCase(), price);
});

const items = [...prices.keys()];       // string[]
const total = [...prices.values()].reduce((a, b) => a + b, 0);
console.log(items, total);              // [ 'tea', 'coffee', 'juice' ] 9.7

// Sorted by value: sort the entries, build a new Map
const byPrice = new Map([...prices].sort((a, b) => b[1] - a[1]));
console.log([...byPrice.keys()]);       // [ 'juice', 'coffee', 'tea' ]

Impostare una chiave esistente aggiorna il valore ma ne mantiene la posizione originale nell'ordine.

Chiavi oggetto e conteggi

Qualsiasi valore può essere una chiave, compresi oggetti e array. Le chiavi si confrontano come con ===: due oggetti con lo stesso contenuto sono chiavi diverse. Un Map è anche il modo standard per contare o raggruppare elementi.

const a = { id: 1 };
const b = { id: 1 };
const visits = new Map<object, number>([[a, 5]]);
console.log(visits.get(a), visits.get(b)); // 5 undefined: b is another object

// Counting words
const words = "the cat and the hat and the bat".split(" ");
const counts = new Map<string, number>();
for (const w of words) {
    counts.set(w, (counts.get(w) ?? 0) + 1);
}
console.log(counts); // Map(5) { 'the' => 3, 'cat' => 1, 'and' => 2, 'hat' => 1, 'bat' => 1 }

// Grouping into arrays
const byLength = new Map<number, string[]>();
for (const w of new Set(words)) {
    const group = byLength.get(w.length) ?? [];
    group.push(w);
    byLength.set(w.length, group);
}
console.log(byLength); // Map(1) { 3 => [ 'the', 'cat', 'and', 'hat', 'bat' ] }

Per usare come chiave il contenuto di un oggetto, ricava invece una chiave stringa o numerica, come user.id o `${x},${y}`.

Map vs oggetto vs Record

Regola pratica: un Map per una collezione le cui chiavi sono dati (id utente, parole, voci di cache) e cambiano a runtime; un tipo oggetto o Record per un insieme fisso di chiavi note e per tutto ciò che va verso o arriva da JSON. La pagina sul dictionary confronta index signature, Record e Map per le ricerche con chiavi stringa.

Convertire i Map in oggetti e JSON

Le voci di un Map non sono proprietà, quindi JSON.stringify non le vede. Converti passando per Object.fromEntries e Object.entries:

const settings = new Map<string, string | number>([
    ["theme", "dark"],
    ["fontSize", 14],
]);

console.log(JSON.stringify(settings)); // {}

const obj = Object.fromEntries(settings); // { [k: string]: string | number }
const json = JSON.stringify(obj);
console.log(json); // {"theme":"dark","fontSize":14}

// And back again
const restored = new Map(Object.entries(JSON.parse(json) as Record<string, string | number>));
console.log(restored.get("theme")); // dark

JSON.parse restituisce any, quindi as Record<...> dichiara cosa ti aspetti che siano i dati. Non è un controllo a runtime; valida il JSON non affidabile prima di fidarti di quel tipo.

Tipizzare array.map()

Molte ricerche di "typescript map" riguardano il metodo degli array, che trasforma ogni elemento e restituisce un nuovo array. Il suo tipo viene inferito dalla callback, quindi le annotazioni servono di rado:

type User = { id: number; first: string; last: string };
const users: User[] = [
    { id: 1, first: "Ada", last: "Lovelace" },
    { id: 2, first: "Alan", last: "Turing" },
];

const names = users.map((u) => `${u.first} ${u.last}`); // string[]
const ids = users.map((u) => u.id);                     // number[]

// An explicit result type, checked against what the callback returns
type Option = { value: number; label: string };
const options = users.map((u): Option => ({ value: u.id, label: u.first }));

// With the index
const numbered = users.map((u, i) => `${i + 1}. ${u.first}`);

console.log(names, ids);
console.log(options);
console.log(numbered);

Annotare il tipo di ritorno della callback ((u): Option => ...) è il modo più chiaro per dichiarare il tipo del risultato: una proprietà mancante o scritta male nell'oggetto restituito diventa allora un errore di compilazione nella callback.