Ограничение у класса

export class Registry<T extends { id: number }> {
  private items: T[] = [];

  add(item: T): void {
    this.items.push(item);
  }

  byId(id: number): T | undefined {
    return this.items.find((item) => item.id === id);
  }
}

const registry = new Registry<{ id: number; name: string }>();
registry.add({ id: 1, name: "Макс" });
export const found = registry.byId(1);

// @ts-expect-error
export const broken = new Registry<string>();

Ограничение у класса действует во всех его методах: внутри byId компилятор знает, что у каждого item есть числовой id. Снаружи new Registry<string>() больше не проходит: «Type 'string' does not satisfy the constraint '{ id: number; }'».

Элемент не обрезается

Как и в задании 7, ограничение только проверяет, а не сужает. byId возвращает T, поэтому у found тип { id: number; name: string } | undefined, и после проверки на undefined можно читать found.name.

Выносим ограничение в тип

Если одно и то же ограничение встречается во многих местах, его удобно назвать:

type WithId = { id: number };

class Registry<T extends WithId> {}

Так сразу видно, что все эти сущности работают с одним контрактом, и менять его придётся в одном месте.

Почему не просто Registry<WithId>

Можно отказаться от дженерика и хранить WithId[]. Тогда byId будет возвращать WithId, и name у найденного элемента пропадёт. Дженерик с ограничением снова нужен, чтобы и потребовать id, и сохранить остальные поля.