Извлечение типов через infer

Принципы

• infer внутри условного типа позволяет «вырезать» тип параметра из обёртки (Array<...>, Promise<...>, Box<...>).
• Возвращайте never, если условие не выполняется — это гарантирует корректную типизацию в ошибочных кейсах.
• Паттерн удобен для построения утилит, извлекающих типы без дублирования объявлений.

Пример

type ArrayUnpacker<T> = T extends Array<infer U> ? U : never;
type PromiseUnpacker<T> = T extends Promise<infer U> ? U : never;

class Box<T> {
  constructor(private readonly value: T) {}
}
type BoxUnpacker<T> = T extends Box<infer U> ? U : never;

const stringArray = ['this', 'is', 'cool'];
type Element = ArrayUnpacker<typeof stringArray>; // string

Практика

• Создавайте утилиты AsyncResult<T> или ElementType<T> вместо ручного указания типов в каждом месте.
• Следите за случаями, когда infer возвращает объединение: например, при объединении различных массивов.
• Можно комбинировать infer с rest-кортежами для работы с первым/последним элементом (T extends [infer F, ...infer R]).