25. Jaki jest cel infer w TypeScript i jak jest używany w zaawansowanej manipulacji typami?

infer jest słowem kluczowym w TypeScript używanym w kontekście typów warunkowych. Pozwala na wyodrębnienie typu z określonego wyrażenia w przypadku, gdy warunek jest spełniony. Głównie jest używane w zaawansowanej manipulacji typami, takich jak ekstrakcja typów z funkcji, tablic czy obiektów.

Przykład użycia infer:

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

function add(a: number, b: number): number {
  return a + b;
}

type AddReturnType = ReturnType<typeof add>; // 'number'

W tym przykładzie infer pozwala na wyodrębnienie typu zwracanego przez funkcję (w tym przypadku number). Zastosowanie infer w typach warunkowych pozwala na elastyczne manipulowanie typami na poziomie składniowym, umożliwiając tworzenie bardziej zaawansowanych i dynamicznych typów.