为什么Typescript只在调用方提供显式泛型类型参数时推断此函数的返回类型

TypeScrip的类型推理算法存在一些限制，这些限制阻碍了这种方法的工作.

第一个缺失的功能在microsoft/TypeScript#20126处描述:TypeScript无法从indexed access type T[K]推断类型T. 你的type参数的类型是R["type"]，但由于这个限制，TypeScript无法从中推断出R.

第二个缺失的特征在microsoft/TypeScript#7234处描述:TypeScrip不能从另一个类型参数的generic constraint中推断出类型T，例如U extends F<T>.在函数参数中的任何地方都没有提到T参数；它只是作为对R的约束出现，所以根本无法推断T.

除非这些问题得到解决，否则您将需要更改泛型类型参数.我建议的一般方法是减少到尽可能少的泛型类型参数(如果您使用default type arguments作为使用内联类型计算的快捷方式，这可能是可以接受的，但对于第一次传递，您不应该为此使用缺省值.或者计算内联类型，或者为它们编写实用程序类型)，并使您的函数参数的类型尽可能与这些类型参数直接相关.就像这样:

declare function getNeighborsByRelationship<
  T extends Relationship["type"],
  D extends "from" | "to">(
    type: T,
    dir: D,
    id: ExtractRelationshipByType<T>[D]
  ): {
    nodes: (
      ExtractNodeById<ExtractRelationshipByType<T>[
        Exclude<Extract<keyof ExtractRelationshipByType<T>, "from" | "to">, D>
      ]>)[];
    relationships: ExtractRelationshipByType<T>[];
  }

这里我们只有两个泛型类型参数；T与type的类型完全对应，D与D的类型完全对应.这意味着当您调用该函数时，从前两个函数参数应该可以推断出T和D.这两个类型参数应该足以计算您关心的所有其他类型，例如id的类型，以及返回值的nodes和relationships属性的元素类型.

如果这太混乱了，您可以将实用程序类型设置为

type N<R extends Relationship, D extends "from" | "to"> =
  ExtractNodeById<R[
    Exclude<Extract<keyof R, "from" | "to">, D>
  ]>;

declare function getNeighborsByRelationship<
  T extends Relationship["type"],
  D extends "from" | "to">(
    type: T,
    dir: D,
    id: ExtractRelationshipByType<T>[D]
  ): {
    nodes: N<ExtractRelationshipByType<T>, D>[];
    relationships: ExtractRelationshipByType<T>[];
  }

或者使用默认类型参数，但这超出了这里的范围.

不管怎样，让我们确保它的行为符合预期:

function test() {
  const id: AppleId = "A"
  const res = getNeighborsByRelationship('APPLE_TO_CLOCK_AND_DOGGIE', 'from', id)
  //    ^? const res: { 
  //         nodes: ExtractNodeById<"C" | "D">[]; 
  //         relationships: AppleToClockAndDoggie[]; 
  //       }
  return res?.nodes[0].label
}

const v = test()
//    ^? const v: "Clock" | "Doggie"

看上go 不错！推理正确，类型与您预期的一致.

Playground link to code个