Отображаемые типы: преобразование типов объектов

Добро пожаловать

Базовый синтаксис отображаемых типов

type Copy<T> = { [K in keyof T]: T[K] };
type UserCopy = Copy<User>; // same as User

Сделать все свойства необязательными

type Partial<T> = { [K in keyof T]?: T[K] };
type PartialUser = Partial<User>;

Сделать все свойства доступными только для чтения

type Readonly<T> = { readonly [K in keyof T]: T[K] };
type FrozenUser = Readonly<User>;

Преобразование типов значений

type Stringify<T> = { [K in keyof T]: string };
type StringUser = Stringify<User>; // all values are string

Фильтрация свойств с помощью never

type OnlyStrings<T> = {
  [K in keyof T as T[K] extends string ? K : never]: T[K]
};

Record<K, V>

type Record<K extends string | number | symbol, V> = { [P in K]: V };
const roles: Record<'admin' | 'user', boolean> = { admin: true, user: false };

Отображаемые типы сохраняют необязательность

interface User { id: number; name?: string; }
type Copy<T> = { [K in keyof T]: T[K] };
type C = Copy<User>; // id: number; name?: string (preserved)

Переназначение ключей с помощью as

type Getters<T> = {
  [K in keyof T as `get${Capitalize<string & K>}`]: () => T[K]
};

Перебор объединения

type Flags = { [K in 'option1' | 'option2' | 'option3']: boolean };

Объединение отображаемых и условных типов

type NullableValues<T> = { [K in keyof T]: T[K] | null };

Быстрая проверка

Итоги