Co robi infer w type ElementType = T extends (infer U)[] ? U : never?

Deklaruje zmienną typu U, którą TS wywnioskuje z dopasowania do wzorca

Pyta kompilator w runtime o typ elementu tablicy

Czyni U opcjonalnym parametrem generycznym z domyślnym unknown

TypeScript · Middle · Pytanie 7 z 75

Co robi `infer` w `type ElementType<T> = T extends (infer U)[] ? U : never`?

✓Poprawna odpowiedź: Deklaruje zmienną typu U, którą TS wywnioskuje z dopasowania do wzorca
2Pyta kompilator w runtime o typ elementu tablicy
3Czyni U opcjonalnym parametrem generycznym z domyślnym unknown

Wyjaśnienie

infer stosuje się tylko w części extends typu warunkowego: TS dopasowuje T do wzorca i „przechwytuje” potrzebną część. ElementType<string[]> → string. Tak działają ReturnType, Parameters i Awaited.

Do poczytania

TS Handbook: Conditional Types ↗

Co robi `infer` w `type ElementType<T> = T extends (infer U)[] ? U : never`?

Wyjaśnienie

Do poczytania

Błąd w pytaniu

Sprawdź się

Co robi infer w type ElementType<T> = T extends (infer U)[] ? U : never?

Wyjaśnienie

Do poczytania

Sprawdź się

Co robi `infer` w `type ElementType<T> = T extends (infer U)[] ? U : never`?