Дженерики в интерфейсах

Принципы

• Интерфейс с типовыми параметрами адаптируется под конкретные значения (Form<LoginForm>).
• Итерирование по ключам ([K in keyof T]) позволяет типизировать связанные структуры (errors, values).
• Нарушение контракта (лишние поля в errors) приводит к ошибке компиляции, подчёркивая ценность строгой типизации.

Пример

interface Form<T> {
  errors: {
    [K in keyof T]?: string;
  };
  values: T;
}

type LoginForm = {
  email: string;
  password: string;
};

const form: Form<LoginForm> = {
  errors: {
    email: 'Неверный адрес',
    // age: '...' // Ошибка: ключа нет в LoginForm
  },
  values: {
    email: 'teniryte@gmail.com',
    password: 'charmed',
  },
};

Практика

• Храните значения и ошибки в общей структуре, чтобы IDE подсказывала ключи и типы.
• Используйте несколько параметров (Form<TValue, TError>), если тип ошибки не совпадает со string.
• Ограничивайте параметр типа, если требуется наличие определённых полей (T extends Record<string, unknown>).