Шаблонные литеральные типы и комбинаторный взрыв
Вопрос
Что произойдёт с типом `${A}-${B}-${C}`, если A, B, C объединения по 100 строк?
Попробуйте сами
Выберите вариант, и откроется разбор.
Показать ответ и разбор
Коротко
Варианты ответа
- TS молча оставит первые 1000 вариантов и отбросит остальные
- Тип тихо расширится до
string, и ошибки не будет - Миллион комбинаций: компилятор откажется, тип слишком сложныйправильный ответ
- Шаблонные типы не принимают объединения, нужен один литерал
Разбор
Шаблонный литеральный тип с объединениями раскрывается в декартово произведение. У TS есть предел на размер такого объединения, при превышении ошибка «Expression produces a union type that is too complex to represent». Он не обрезает тихо и не откатывается к string. Вывод для проектирования: не генерируйте типы на все комбинации, лучше string с проверкой формата или более узкие ключи.
Ответьте сами, а не прочитайте
В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.
Предыдущий вопрос
Глубина рекурсии условных типов
Следующий вопрос
Распределительный условный тип от never