Выбор ответа Senior Задачи на типы обновлено
Строгое равенство типов
Вопрос
Почему в type-challenges Equal<X, Y> пишут через (<T>() => T extends X ? 1 : 2) extends (<T>() => T extends Y ? 1 : 2), а не через взаимную присваиваемость?
Попробуйте сами
Выберите вариант, и откроется разбор.
Показать ответ и разбор
Коротко
Правильный ответ: Взаимная присваиваемость путает any с другими типами и readonly с обычными полями. X extends Y и Y extends X одновременно истинны для any и string, а { readonly a: 1 } и { a: 1 } взаимно присваиваемы.
Варианты ответа
- Так быстрее компилируется: функции кешируются, а взаимная проверка нет
- Взаимная присваиваемость путает
anyс другими типами иreadonlyс обычными полямиправильный ответ - Взаимная присваиваемость вообще не работает с объектными типами и кортежами
- Это требование
strict: без него условные типы сextendsне вычисляются
Разбор
X extends Y и Y extends X одновременно истинны для any и string, а { readonly a: 1 } и { a: 1 } взаимно присваиваемы. Трюк с дженерик-функциями заставляет TS сравнивать два отложенных условных типа, а они совместимы, только если X и Y идентичны внутренне. Скорость и strict тут ни при чём, с объектами взаимная проверка работает, просто слишком мягко.
Ответьте сами, а не прочитайте
В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.