Карточка Middle Условные и mapped-типы спрашивают часто обновлено
infer
Вопрос
Что делает ключевое слово infer?
Попробуйте сами
Ответьте про себя или вслух, потом откройте ответ и сверьтесь.
Показать ответ и разбор
Коротко
Объявляет переменную типа внутри условия extends и захватывает в неё часть сопоставленного типа: T extends Promise<infer V ? V : never.
Ответ
Объявляет переменную типа внутри условия extends и захватывает в неё часть сопоставленного типа: T extends Promise<infer V> ? V : never. Работает только в extends-части условного типа. Можно добавить ограничение: infer N extends number.
Разбор
Объявляет переменную типа внутри условия extends и захватывает в неё часть сопоставленного типа: T extends Promise<infer V> ? V : never. Работает только в extends-части условного типа. Можно добавить ограничение: infer N extends number.
Ответьте сами, а не прочитайте
В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.