Точное равенство типов
Вопрос
Как проверить, что два типа в точности равны?
Попробуйте сами
Ответьте про себя или вслух, потом откройте ответ и сверьтесь.
Показать ответ и разбор
Коротко
Ответ
Приём со сравнением дженерик-функций: type Equal<X, Y> = (<T>() => T extends X ? 1 : 2) extends (<T>() => T extends Y ? 1 : 2) ? true : false. Компилятор сравнивает отложенные условные типы по идентичности, поэтому any не равен unknown, а readonly поле не равно обычному.
Разбор
Приём со сравнением дженерик-функций: type Equal<X, Y> = (<T>() => T extends X ? 1 : 2) extends (<T>() => T extends Y ? 1 : 2) ? true : false. Компилятор сравнивает отложенные условные типы по идентичности, поэтому any не равен unknown, а readonly поле не равно обычному.
Ответьте сами, а не прочитайте
В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.