Mi az Infer operátor szerepe a típusok kontextusában, és hogyan alkalmazzák?

Az infer operátor TypeScriptben (gyakran Node.js projektekben típusos környezetben) használatos feltételes típusokban, hogy egy típusból egy másik típust nyerjen ki. Lehetővé teszi ideiglenes típusváltozó deklarálását, amit a feltételes típuson belül lehet használni.

Használati példa:

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

function foo() { return 42; }

type FooReturn = ReturnType<typeof foo>; // FooReturn típusa number lesz

Itt az infer R lehetővé teszi, hogy kinyerjük a T függvény visszatérési típusát. Ha T egy függvény, akkor R annak a visszatérési típusa, különben never.

Így az infer operátor segít rugalmasabb és általánosabb típusokat létrehozni, belső típusokat kinyerve összetett struktúrákból.