Карточка Middle Условные и mapped-типы обновлено
Дистрибутивный условный тип
Вопрос
Что такое дистрибутивный условный тип?
Попробуйте сами
Ответьте про себя или вслух, потом откройте ответ и сверьтесь.
Показать ответ и разбор
Коротко
Условный тип T extends U ? X : Y, где T это «голый» параметр типа.
Ответ
Условный тип T extends U ? X : Y, где T это «голый» параметр типа. Если подставить объединение, условие применится к каждому члену отдельно, и результаты объединятся. Отключается обёрткой: [T] extends [U]. Для never результат всегда never.
Разбор
Условный тип T extends U ? X : Y, где T это «голый» параметр типа. Если подставить объединение, условие применится к каждому члену отдельно, и результаты объединятся. Отключается обёрткой: [T] extends [U]. Для never результат всегда never.
Ответьте сами, а не прочитайте
В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.