Typescript TS不能自己推断函数返回类型

TypeScrip不能执行维护name类型(generic类型K)和返回类型fcts[name]之间的相关性所需的那种高阶分析.它不会将fcts"视为"零参数函数的对象，该对象返回与name的类型相关的类型.当将类型(typeof fcts)[K]作为可调用函数求值时，编译器首先将其扩展到constraint，即(typeof fcts)[keyof typeof fcts]，并成为union type (() => number) | (() => boolean).一旦发生这种情况，就没有希望了，因为TypeScrip也不能对相关的联合类型做很多事情.这是microsoft/TypeScript#30581的主题.

如果你不想只是为了方便而使用type assertion，你可以try microsoft/TypeScript#47109中推荐的重构. 我们需要的是fcts是mapped type，就像{ [K in keyof FctsReturn]: () => FctsReturn[K] }是一个适当定义的FctsReturn. 那么fcts[name]将是类型为() => FctsReturn[K]的单个函数，调用它将得到FctsReturn[K]. 不涉及unions .

您可以使用现有的代码来派生FctsReturn，例如将fcts重新命名为_fcts，使用ReturnType<T> utility type计算FctsReturn，然后为fcts提供必要的类型注释:

const _fcts = {
    fctNumber: () => 1,
    fctBoolean: () => true,
}
type FctsReturn = { [K in keyof typeof _fcts]: ReturnType<typeof _fcts[K]> };
const fcts: { [K in keyof FctsReturn]: () => FctsReturn[K] } = _fcts;

这看起来像是一种无所事事的迂回方式；当然，无论哪种方式，fcts的类型都是等同的.但是，由于编译器不能自动"看到"如何在fcts的元素之间分配ReturnType<T>，所以您必须自己来做.现在，这个方法起作用了:

const getResult = <K extends keyof FctsReturn>(name: K) => {
    const fct = fcts[name]
    return fct()
}

const num = getResult('fctNumber');
//    ^? const num: number

const boo = getResult('fctBoolean');
//    ^? const boo: boolean

Playground link to code个