Дженерики

Дженерики параметризуют функцию, класс или тип переменной типа, поэтому один и тот же код работает с разными типами, сохраняя точный тип. function identity<T>(x: T): T возвращает тот тип, который получил, поэтому identity(5) имеет тип number. В отличие от any, который стирает тип, дженерик сохраняет связь между входом и выходом, оставаясь полностью типобезопасным.

Каждый — mapped-тип поверх keyof T, меняющий один модификатор. Partial<T> делает все свойства необязательными, добавляя ?, Required<T> снимает необязательность через -?, а Readonly<T> помечает каждое свойство как readonly. Все три поверхностные и стираются из итогового JavaScript.

Компилятор выводит T из аргументов вызова: он сопоставляет тип каждого аргумента с параметром, где упомянут T, и выбирает лучшего общего кандидата, поэтому identity(5) даёт T = number. Если T нет ни в одном параметре, он откатывается к значению по умолчанию или к unknown.

Обобщайтесь по типу функции и пересоберите из него сигнатуру: (...args: Parameters<T>) => ReturnType<T>. Parameters<T> достаёт кортеж аргументов, ReturnType<T> — результат, поэтому кэширующая версия проверяется ровно как исходная.

Обобщение сохраняет связь между входом и выходом: в first<T>(xs: T[]): T компилятор связывает T в месте вызова и возвращает тот же тип. first(users) даёт User. С any[] связь разорвана: результат — any, и любое обращение к его свойствам не проверяется.

Объявите function toArray<T>(input: T | T[]): T[]. Компилятор выводит T из любой ветви: и toArray(user), и toArray(users) дают User[]. Внутри Array.isArray(input) сужает объединение, а аргумент типа не нужен.

Используйте extends, чтобы потребовать совместимости аргумента типа с заданной формой: function len<T extends { length: number }>(x: T) принимает только типы, у которых есть length, поэтому x.length разрешён внутри тела. Ограничение сужает то, что можно передать, сохраняя точный тип. Можно ограничить один параметр другим, например <K extends keyof T>, чтобы безопасно индексировать T.

Pick<T, K> строит тип только с ключами K из T. Omit<T, K> строит тип со всеми ключами T, кроме K — это буквально Pick<T, Exclude<keyof T, K>>. Exclude<U, E> работает с объединением, убирая из U члены, совместимые с E. То есть Pick и Omit выбирают или отбрасывают свойства объекта, а Exclude фильтрует члены объединения.

Параметр выводим лишь там, где он встречается в позиции параметра. У fetchOne<User>(url) в аргументах нет User, поэтому аргумент типа — непроверенное утверждение об ответе; там место схеме времени выполнения. Дайте выводу работать всюду, где тип несёт аргумент.

Они объявляют вариантность, которую компилятор иначе вывел бы сам: out T — T встречается только в выходных позициях (ковариантно), in T — только во входных (контрвариантно), in out T инвариантен. Аннотацию сверяют с реальным использованием, расхождение — ошибка.

Параметры функций контрвариантны: обработчик любого Animal справится и с тем Dog, который придёт на деле, поэтому более широкий параметр безопасен. Обработчик только для Dog сломался бы на Cat. strictFunctionTypes включает это для свойств функционального типа.

Это намеренная несостоятельность ради совместимости. strictFunctionTypes делает свойства функционального типа контрвариантными, но освобождает краткую запись метода: иначе Array<Dog> перестал бы быть Array<Animal>. Нужна строгая проверка — объявляйте член свойством.