Расширенные mapped-типы

Принципы

• Mapped-типы можно строить от собственного объединения ключей (Keys2 = 'one' | 'two' | 'three').
• Модификаторы (readonly, ?) добавляются и снимаются через + или -.
• Комбинируйте mapped-типы с keyof, чтобы трансформировать существующие типы (Req<T>, Read<T>).

Пример

type Keys = 'one' | 'two' | 'three';

type MappedType = {
  [K in Keys]: number;
};

type Contact = {
  readonly name: string;
  email?: string;
};

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

const readContact: Read<Contact> = { name: 'Bob', email: 'bob@mail' };
readContact.name = 'Robert';

Практика

• Стройте карты значений (Record-подобные типы) из литеральных объединений для типизации словарей.
• Создавайте утилиты для добавления/удаления модификаторов, чтобы не дублировать код.
• Следите за консистентностью: когда снимаете readonly, проверьте, что это не нарушает инварианты бизнес-логики.