Ограничения типовых параметров

Принципы

• Ограничение T extends Logable гарантирует наличие метода log и позволяет вызывать его безопасно.
• Классы с дженериками (Form<T>) могут использовать keyof T, чтобы выдавать значения по ключу с корректным типом (T[K]).
• Нарушение ограничения (form.get('email') при отсутствии поля) выявляется на этапе компиляции.

Пример

interface Logable {
  log: () => void;
}

function logItems<T extends Logable>(items: T[]): void {
  items.forEach((item) => item.log());
}

class Form<T> {
  constructor(public data: T) {}

  get<K extends keyof T>(key: K): T[K] {
    return this.data[key];
  }
}

Практика

• Используйте ограничения, чтобы упростить реализацию (T extends { id: string }).
• При выводе ключей храните экземпляр формы (const form = new Form({ ... })) и обращайтесь к существующим полям (form.get('name')).
• Следите за корректностью ссылок: в примере form.get('email') должно вызываться на переменной form2.