Typy Mapowane

Typy mapowane pozwalają na tworzenie nowych typów na podstawie istniejących poprzez transformację ich właściwości jedna po drugiej. Opierają się na składni pętli po kluczach przy użyciu operatora keyof.

type Mapped<T> = {
  [P in keyof T]: T[P];
};

Ten przykład to typ mapowany identyczny z oryginalnym: przechodzi przez każdy klucz P w keyof T i przypisuje mu ten sam typ T[P].

Modyfikatory mutowalności i opcjonalności

Możemy dodawać lub usuwać modyfikatory, takie jak readonly oraz ? (opcjonalność), poprzez poprzedzenie ich znakiem + (dodaj, domyślnie) lub - (usuń).

Na przykład, aby usunąć opcjonalność ze wszystkich właściwości typu (czyniąc je wymaganymi):

type Concrete<T> = {
  [P in keyof T]-?: T[P];
};

Modyfikator -? usuwa flagę opcjonalności z każdej właściwości.

Remapowanie kluczy za pomocą as

W TypeScript 4.1+ możliwe jest remapowanie kluczy typu mapowanego przy użyciu klauzuli as oraz szablonowych typów literalnych (template literal types).

type ScriviSetters<T> = {
  [K in keyof T as `set${Capitalize<string & K>}`]: (value: T[K]) => void;
};

W tym przypadku zmieniamy nazwę każdej właściwości K na set[SklasyfikowanyKlucz] i zmieniamy jej typ na funkcję ustawiającą (setter).

Spróbuj sam

Ćwiczenie 1: Czynienie właściwości nullowalnymi

Ćwiczenie 2: Dynamiczne generowanie getterów za pomocą as