Ограничение по структуре

export function lengthOf<T extends { length: number }>(value: T): number {
  return value.length;
}

export const nameLength = lengthOf("Макс");
export const listLength = lengthOf([1, 2, 3]);

// @ts-expect-error
export const nonsense = lengthOf(42);

T extends { length: number } читается как «T может быть любым типом, у которого есть числовое поле length». Теперь внутри функции value.length разрешён, а lengthOf(42) падает, и директива @ts-expect-error получает свою ошибку.

Ограничение описывает форму, а не тип

Строка, массив и обычный объект никак не связаны между собой, но все проходят:

lengthOf("привет");      // string
lengthOf([1, 2, 3]);     // number[]
lengthOf({ length

TypeScript сравнивает типы по структуре: если у значения есть нужные поля нужного типа, оно подходит. Ни наследовать, ни объявлять что-то специально не требуется.

extends в дженериках это не наследование

Слово то же, что у классов, но смысл другой. Здесь extends означает «является подтипом», то есть «подходит под описание». T extends string пропустит и string, и "Макс", а T extends object пропустит любой объект или массив.

Зачем тогда T, если можно без него

В этой функции дженерик на самом деле не обязателен:

function lengthOf(value: { length: number }): number {
  return value.length;
}

Работает так же, потому что T нигде больше не используется. Дженерик с ограничением становится нужен, когда тип значения важно не потерять, например вернуть его наружу. Про это задание 7.