Напиши тип Senior Условные и mapped-типы обновлено

infer у массива

Вопрос

Достань тип элемента массива через infer.

type ElementOf<T> = /* ? */;

Попробуйте сами

Напишите тип, как написали бы в коде.

Показать ответ и разбор

Коротко

Правильный тип: T extends (infer U)[] ? U : never. Ответ Почему так infer ловит часть структуры в условном типе.

Правильный тип

T extends (infer U)[] ? U : never

Разбор

Ответ

T extends (infer U)[] ? U : never

Почему так

infer ловит часть структуры в условном типе. Шаблон T extends (infer U)[] ? U : never - база для всех распаковок.

Ответьте сами, а не прочитайте

В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.