0 added
0 removed
Original
2026-01-01
Modified
2026-02-26
1
<p>Когда мы присваиваем значение или передаем аргументы в вызов функции, проверка типов TypeScript проверяет типы на совместимость. При передаче аргументов в функцию проверка выполняется и для типов параметров, и для возвращаемых типов.</p>
1
<p>Когда мы присваиваем значение или передаем аргументы в вызов функции, проверка типов TypeScript проверяет типы на совместимость. При передаче аргументов в функцию проверка выполняется и для типов параметров, и для возвращаемых типов.</p>
2
<p>Представим, что мы хотим передать функцию, возвращающую тип number для колбека функции сортировки, которая ожидает возврата -1 | 0 | 1. В таком случае мы получим ошибку<em>Type 'number' is not assignable to type '0 | 1 | -1'</em>:</p>
2
<p>Представим, что мы хотим передать функцию, возвращающую тип number для колбека функции сортировки, которая ожидает возврата -1 | 0 | 1. В таком случае мы получим ошибку<em>Type 'number' is not assignable to type '0 | 1 | -1'</em>:</p>
3
<p>Множество значений из объединения трех литеральных типов -1 | 0 | 1 является подмножеством number. Но из ошибки можно понять, что возвращаемый тип должен быть либо таким же, либо более узким. Такое поведение проверки типов называется<strong>ковариантностью</strong>.</p>
3
<p>Множество значений из объединения трех литеральных типов -1 | 0 | 1 является подмножеством number. Но из ошибки можно понять, что возвращаемый тип должен быть либо таким же, либо более узким. Такое поведение проверки типов называется<strong>ковариантностью</strong>.</p>
4
<p>Чтобы решить проблему с ComparatorCallback, нам нужно сузить возвращаемый тип функции comparator до -1 | 0 | 1 или более узкого. Перепишем код без Math.sign, чтобы вернуть нужный тип:</p>
4
<p>Чтобы решить проблему с ComparatorCallback, нам нужно сузить возвращаемый тип функции comparator до -1 | 0 | 1 или более узкого. Перепишем код без Math.sign, чтобы вернуть нужный тип:</p>
5
<p>Теперь код проходит проверку типов. Возвращаемый тип comparator стал более узким.</p>
5
<p>Теперь код проходит проверку типов. Возвращаемый тип comparator стал более узким.</p>
6
<p>Для аргументов функции проверка типов выполняется в обратном порядке. Если мы передадим функцию, которая ожидает литеральный тип 1 вместо number, то получим ошибку Type 'number' is not assignable to type '1'.:</p>
6
<p>Для аргументов функции проверка типов выполняется в обратном порядке. Если мы передадим функцию, которая ожидает литеральный тип 1 вместо number, то получим ошибку Type 'number' is not assignable to type '1'.:</p>
7
<p>Тип 1 является подмножеством number. И в нашем примере мы передаем в функцию sort функцию, которая ожидает более узкий тип на входе. Также вы можете обратить внимание, что мы приводим тип возвращаемого значения к -1 | 0 | 1 с помощью ключевого слова as. Нам потребовалось приведение вниз, так как типизация Math.sign возвращает number.</p>
7
<p>Тип 1 является подмножеством number. И в нашем примере мы передаем в функцию sort функцию, которая ожидает более узкий тип на входе. Также вы можете обратить внимание, что мы приводим тип возвращаемого значения к -1 | 0 | 1 с помощью ключевого слова as. Нам потребовалось приведение вниз, так как типизация Math.sign возвращает number.</p>
8
<p>Когда мы передаем аргументы в функцию, то ожидаемые типы параметров должны быть более широкими, чем фактические. Такое поведение проверки типов называется<strong>контравариантностью</strong>.</p>
8
<p>Когда мы передаем аргументы в функцию, то ожидаемые типы параметров должны быть более широкими, чем фактические. Такое поведение проверки типов называется<strong>контравариантностью</strong>.</p>
9
<p>Попробуйте самостоятельно объяснить поведение проверки типов через вариантность в следующем примере:</p>
9
<p>Попробуйте самостоятельно объяснить поведение проверки типов через вариантность в следующем примере:</p>
10
Ответ Тип параметров может быть шире, а тип на выходе - уже. В примере formatToConcrete не принимает никаких параметров. Это дает более широкий тип, нежели требуемый string. А возвращает более узкий литеральный тип. formatToNumber ожидает более узкий тип на входе, поэтому и возникает ошибка.<p>Если при работе с TypeScript учитывать наследие JavaScript с утиной типизацией, то все становится на свои места.</p>
10
Ответ Тип параметров может быть шире, а тип на выходе - уже. В примере formatToConcrete не принимает никаких параметров. Это дает более широкий тип, нежели требуемый string. А возвращает более узкий литеральный тип. formatToNumber ожидает более узкий тип на входе, поэтому и возникает ошибка.<p>Если при работе с TypeScript учитывать наследие JavaScript с утиной типизацией, то все становится на свои места.</p>
11
<p>Чтобы код не упал с ошибкой, достаточно проверки на наличие полей или методов нужных типов. А чтобы получить гарантии во внешнем мире, нужно, чтобы переменная попадала под внешние ограничения. Для этого тип должен быть более узким или таким же.</p>
11
<p>Чтобы код не упал с ошибкой, достаточно проверки на наличие полей или методов нужных типов. А чтобы получить гарантии во внешнем мире, нужно, чтобы переменная попадала под внешние ограничения. Для этого тип должен быть более узким или таким же.</p>