Co robi infer N extends number w typie warunkowym? type ToNum = S extends `${infer N extends number}` ? N : never; type X = ToNum ;

Wnioskuje N z ograniczeniem - X staje się typem literalnym 42

Konwertuje string '42' na liczbę w runtime przez Number()

Powoduje błąd kompilacji: infer nie obsługuje extends

TypeScript · Senior · Pytanie 13 z 75

Co robi `infer N extends number` w typie warunkowym?

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

✓Poprawna odpowiedź: Wnioskuje N z ograniczeniem - X staje się typem literalnym 42
2Konwertuje string '42' na liczbę w runtime przez Number()
3Powoduje błąd kompilacji: infer nie obsługuje extends

Wyjaśnienie

Ograniczenie przy infer (TS 4.7+) nie tylko sprawdza zgodność, ale pozwala wywnioskować literalny typ liczbowy ze stringa. Wcześniej wymagało to zagnieżdżonych typów warunkowych.

Do poczytania

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

Co robi `infer N extends number` w typie warunkowym?

Wyjaśnienie

Do poczytania

Błąd w pytaniu

Sprawdź się