Как извлечь generic-тип из другого типа в TypeScript?

Извлечение generic-типа из другого типа в TypeScript выполняется через комбинацию условных типов (conditional types) и оператора infer. Условный тип имеет форму T extends U ? X : Y, а infer позволяет «захватить» часть типа в новую переменную прямо в позиции проверки.

Базовый синтаксис

Ключевое слово infer можно использовать только внутри ветки extends условного типа. Оно объявляет переменную типа, значение которой TypeScript выведет автоматически.

type ElementType<T> = T extends Array<infer U> ? U : never;

type A = ElementType<string[]>;   // string
type B = ElementType<number[]>;   // number
type C = ElementType<boolean>;    // never

Практические примеры

Извлечение типа из Promise, функции и кортежа:

type Unwrap<T> = T extends Promise<infer U> ? U : T;
type R = Unwrap<Promise<number>>; // number

type FirstArg<T> = T extends (a: infer A, ...rest: any[]) => any ? A : never;
type F = FirstArg<(x: string, y: number) => void>; // string

type Head<T> = T extends [infer H, ...any[]] ? H : never;
type H = Head<[boolean, string]>; // boolean

Где применяется

• Стандартные утилиты: ReturnType, Parameters, Awaited, InstanceType.
• Типизация обёрток над API, где нужно достать payload из ответа.
• Библиотеки и фреймворки, где типы выводятся из пользовательских схем.

Итог: используйте infer внутри условных типов, когда нужно вытащить вложенный generic-параметр и построить переиспользуемую утилиту типизации.