如何用提供的參數推斷函數的返回類型？

Question

與https://github.com/Microsoft/TypeScript/issues/26043相關

const f = <T extends any>(a: T) => a;

// How to implement ReturnTypeWithArguments ???

type r = ReturnTypeWithArguments<typeof f, number> // number

Answer 1

在類型注釋中沒有將類型參數應用於通用函數的語法。 我們可以聲明一個函數，在其中調用通用函數（我們將不使用）並獲取該函數的返回值：

const f = <T extends any>(a: T) => a;

const fForNumber = () => f(0)
type r = ReturnType<typeof fForNumber> // number