Tür bağlamında Infer operatörünün rolü nedir ve nasıl uygulanır?

TypeScript'te (genellikle Node.js projelerinde tipli olarak) koşullu türler içinde başka bir tiple ilişkili bir tiple çıkarmak için kullanılan infer operatörü, geçici bir tip değişkeni tanımlamaya olanak tanır ve bu değişken, koşullu tür içinde kullanılabilir.

Kullanım örneği:

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

function foo() { return 42; }

type FooReturn = ReturnType<typeof foo>; // FooReturn number olacak

Burada, infer R fonksiyonun dönüş tipini çıkarmaya izin verir. Eğer T bir fonksiyon ise, R onun dönüş tipi olur, değilse never olur.

Bu şekilde, infer operatörü, içsel tipleri karmaşık yapılar içinden çıkararak daha esnek ve genelleyici türler oluşturmaya yardımcı olur.