Основы Typescript
2026-02-26 16:26 Diff
https://ru.hexlet.io/courses/typescript-basics/lessons/variability/theory_unit

Когда мы присваиваем значение или передаем аргументы в вызов функции, проверка типов TypeScript проверяет типы на совместимость. При передаче аргументов в функцию проверка выполняется и для типов параметров, и для возвращаемых типов.

Представим, что мы хотим передать функцию, возвращающую тип number для колбека функции сортировки, которая ожидает возврата -1 | 0 | 1. В таком случае мы получим ошибку Type 'number' is not assignable to type '0 | 1 | -1':

Множество значений из объединения трех литеральных типов -1 | 0 | 1 является подмножеством number. Но из ошибки можно понять, что возвращаемый тип должен быть либо таким же, либо более узким. Такое поведение проверки типов называется ковариантностью.

Чтобы решить проблему с ComparatorCallback, нам нужно сузить возвращаемый тип функции comparator до -1 | 0 | 1 или более узкого. Перепишем код без Math.sign, чтобы вернуть нужный тип:

Теперь код проходит проверку типов. Возвращаемый тип comparator стал более узким.

Для аргументов функции проверка типов выполняется в обратном порядке. Если мы передадим функцию, которая ожидает литеральный тип 1 вместо number, то получим ошибку Type 'number' is not assignable to type '1'.:

Тип 1 является подмножеством number. И в нашем примере мы передаем в функцию sort функцию, которая ожидает более узкий тип на входе. Также вы можете обратить внимание, что мы приводим тип возвращаемого значения к -1 | 0 | 1 с помощью ключевого слова as. Нам потребовалось приведение вниз, так как типизация Math.sign возвращает number.

Когда мы передаем аргументы в функцию, то ожидаемые типы параметров должны быть более широкими, чем фактические. Такое поведение проверки типов называется контравариантностью.

Попробуйте самостоятельно объяснить поведение проверки типов через вариантность в следующем примере:

Ответ Тип параметров может быть шире, а тип на выходе — уже. В примере formatToConcrete не принимает никаких параметров. Это дает более широкий тип, нежели требуемый string. А возвращает более узкий литеральный тип. formatToNumber ожидает более узкий тип на входе, поэтому и возникает ошибка.

Если при работе с TypeScript учитывать наследие JavaScript с утиной типизацией, то все становится на свои места.

Чтобы код не упал с ошибкой, достаточно проверки на наличие полей или методов нужных типов. А чтобы получить гарантии во внешнем мире, нужно, чтобы переменная попадала под внешние ограничения. Для этого тип должен быть более узким или таким же.