Свои utility types (Partial, Pick, Omit, Readonly)

Задача

Реализовать самостоятельно встроенные утилитные типы: MyPartial<T>, MyRequired<T>, MyReadonly<T>, MyPick<T, K>, MyOmit<T, K>.

Пример

type User = { id: number; name: string; email: string };
 
type A = MyPartial<User>; // { id?: number; name?: string; email?: string }
type B = MyReadonly<User>; // { readonly id: number; ... }
type C = MyPick<User, 'id' | 'name'>; // { id: number; name: string }
type D = MyOmit<User, 'email'>; // { id: number; name: string }

Решение

Оптимальное решение

// Mapped type: перебираем ключи через [P in keyof T]
 
// ? делает поля необязательными
type MyPartial<T> = {
    [P in keyof T]?: T[P];
};
 
// -? убирает необязательность
type MyRequired<T> = {
    [P in keyof T]-?: T[P];
};
 
// readonly-модификатор
type MyReadonly<T> = {
    readonly [P in keyof T]: T[P];
};
 
// K ограничен ключами T; перебираем только выбранные
type MyPick<T, K extends keyof T> = {
    [P in K]: T[P];
};
 
// Exclude убирает K из общего набора ключей
type MyOmit<T, K extends keyof T> = {
    [P in Exclude<keyof T, K>]: T[P];
};

Модификаторы mapped types

• ? / -? — добавить/убрать необязательность.
• readonly / -readonly — добавить/убрать неизменяемость.
• [P in keyof T] перебирает ключи; T[P] — indexed access к типу значения.
• Exclude<keyof T, K> — встроенный тип, вычитающий одно объединение из другого.

См. также

• discriminated-union
• get-by-path