获取使用泛型的函数的返回类型

Question

免责声明：以下是过度简化的功能，我知道它们是 没用的

function thinger<T>(thing: T): T {
    return thing;
}

const thing = thinger({ a: "lol" });

thing.a;

上面的代码编译得很好。但我需要将thinger<T> 的结果放入一个对象中。

interface ThingHolder {
    thing: ReturnType<typeof thinger>;
}

const myThingHolder: ThingHolder = {
    thing: thinger({ a: "lol" }),
};

但是我丢失了类型信息，所以myThingHolder.thing.a 不起作用

类型“{}”上不存在属性“a”

所以我尝试了以下

interface ThingHolder<T> {
    thing: ReturnType<typeof thinger<T>>;
}

const myThingHolder: ThingHolder<{ a: string }> = {
    thing: thinger({ a: "lol" }),
};

但是typeof thinger<T> 不是有效的打字稿。

如何获取基于泛型具有不同返回类型的函数的返回类型？

Answer 1

这可能会解决问题。但是你需要创建一个假类。它之所以有效，是因为类同时是类型和 JS 运行时对象。

// generic function
// we want to get its result, but we cannot do it like
// ReturnType<typeof foo<T>()> // syntax error
const foo = <T,>(arg: T) => ({ test: arg });
// so, let's create a parametric class
class Wrapper<T> {
  // with the only method that uses our "foo"
  wrapped = (arg: T) => foo(arg);   
};
// due to the fact that class is a type we can use it as a type 
// with a generic parameter.
type GetFooResult<T> = ReturnType<Wrapper<T>['wrapped']>
type Bingo = GetFooResult<number>; // { test: number }

TS 游乐场link。基于this answer。感谢@Colin

Answer 2

我不妨把它放在一个答案中，尽管它看起来不能满足您的需求。 TypeScript 目前既没有 generic values、higher kinded types 也没有 typeof on arbitrary expressions。 TypeScript 中的泛型有点“浅”。据我所知，不幸的是，没有办法描述将类型参数插入泛型函数并检查结果的类型函数：

// doesn't work, don't try it
type GenericReturnType<F, T> = F extends (x: T) => (infer U) ? U : never

function thinger<T>(thing: T): T {
  return thing;
}

// just {}, ?
type ReturnThinger<T> = GenericReturnType<typeof thinger, T>;

---

所以我能为您做的就是建议解决方法。最明显的解决方法是使用类型别名来描述 thinger() 返回的内容，然后在多个地方使用它。这是您想要的“向后”版本；不是从函数中提取返回类型，而是从返回类型构建函数：

type ThingerReturn<T> = T; // or whatever complicated type you have

// use it here
declare function thinger<T>(thing: T): ThingerReturn<T>;

// and here
interface ThingHolder<T> {
  thing: ThingerReturn<T>;
}

// and then this works ? 
const myThingHolder: ThingHolder<{ a: string }> = {
  thing: thinger({ a: "lol" }),
};

这有帮助吗？我知道这不是你想要的，但希望这至少是你前进的一条可能的道路。祝你好运！