Что делает ключевое слово `infer`?

Question

Accepted Answer

`infer` используется внутри **conditional type** для *захвата* (извлечения) типа из другого типа в новую переменную типа, которую вы затем можете использовать. Это сопоставление шаблонов для типов. ```ts // Extract the element type of an array type ElementOf = T extends (infer U)[] ? U : never; type A = ElementOf; // string type B = ElementOf; // number ``` Читайте так: "если `T` совпадает с шаблоном `U[]`, свяжите `U` с любым типом элемента и верните его." `infer U` объявляет заполнитель, который компилятор заполняет сопоставлением шаблонов. ## Типичные извлечения из реального мира ```ts // the resolved type of a Promise type Awaited2 = T extends Promise ? R : T; type R = Awaited2>; // User // a function's return type (this is how ReturnType is built) type MyReturn = T extends (...args: any[]) => infer R ? R : never; type X = MyReturn<() => number>; // number // a function's first parameter type FirstArg = T extends (a: infer A, ...rest: any[]) => any ? A : never; ``` ## Множественные и рекурсивные infer ```ts type UnwrapBoth = T extends Promise ? UnwrapBoth : // recurse to unwrap nested promises T extends (infer E)[] ? E : T; ``` Вы можете использовать несколько `infer` в одном шаблоне и даже рекурсию. ## Почему это важно `infer` — это основа встроенных типов таких как `ReturnType`, `Parameters`, `Awaited` и `InstanceType`, а также магии библиотек, которая выводит типы ответов из fetcher-ов или props из компонентов. Оно позволяет коду типов "открывать" сложный тип и извлекать внутренние части — самый мощный инструмент для написания типов, которые адаптируются к другим типам.