Що робить infer N extends number в умовному типі? type ToNum = S extends `${infer N extends number}` ? N : never; type X = ToNum ;

Виводить N з обмеженням - X буде літеральним типом 42

Перетворює рядок '42' на число в рантаймі через Number()

Спричиняє помилку компіляції: infer не підтримує extends

TypeScript · Senior · Запитання 13 з 75

Що робить `infer N extends number` в умовному типі?

type ToNum<S> = S extends `${infer N extends number}` ? N : never;
type X = ToNum<'42'>;

✓Правильна відповідь: Виводить N з обмеженням - X буде літеральним типом 42
2Перетворює рядок '42' на число в рантаймі через Number()
3Спричиняє помилку компіляції: infer не підтримує extends

Пояснення

Обмеження в infer (TS 4.7+) не лише перевіряє сумісність, а й дає змогу вивести літеральний числовий тип із рядка. Раніше для цього були потрібні вкладені умовні типи.

Де почитати

TS Handbook: Conditional Types ↗
TS Handbook: Template Literal Types ↗

Що робить `infer N extends number` в умовному типі?

Пояснення

Де почитати

Помилка в запитанні

Перевірте себе