Typescript 从泛型类型引用推断的文本类型

Graph类型在其NodeDef<N, D>个属性中使用Node作为D类型参数，因此Graph的每个属性显然都依赖于所有 node .如果这不是您想要的，那么您需要想出一种方法来为D类型参数插入更具体的内容.可以这样写Graph，这样每个属性都是every possible D的NodeDef<K, D>的union，但是这个并集会随着Node的成员数量呈指数级增长，这很快就会变得不可用.所以我们不要试着这么做.

因此，您会希望Graph本身为generic并接受一个类型参数，该参数表示每个属性的D种类型.因此，它应该是Graph<D>，对于keyof D中的每个K，属性的类型将是NodeDef<K, D[K]>.也许是这样的:

type Graph<D extends Record<keyof D, Node>> = {
  [K in Node & keyof D]: NodeDef<K, D[K]>
};

在这里，D具有不在Node中的密钥在技术上是可能的，但是由于具有Node的keyof D的intersection，这些密钥将被从结果中排除.

现在您可以为您的类型命名，但它需要手动annotation，这会导致您同时使用值和类型进行重复:

const config: Graph<{ a: "b" }> = {
  a: {
    name: 'a',
    deps: ['b'],
    compute: ({ b, c }) => { // error
      // --------> ~
      // Property 'c' does not exist on type '{ b: number; }'.
      return 2 * b + c.length;
    },
  },
};

这完全符合你的要求，但你必须自己写{a: "b"}. 如果TypeScript可以推断泛型类型中的类型参数，那就太好了，但它不能. 但是，当你调用泛型时，它会推断类型参数. 因此，你可以提供一个名为graph()的帮助函数，它为你推断D，并用函数调用替换注释:

const config = graph({
  a: {
    name: 'a',
    deps: ['b'],
    compute: ({ b, c }) => { // error
      // --------> ~
      // Property 'c' does not exist on type '{ b: number; }'
      return 2 * b + c.length;
    },
  },
});
config;
// ^? const config: Graph<{ a: "b" }>

所以现在config被推断为类型Graph<{a: "b"}仅仅是因为graph()的参数. 我们现在要做的就是定义graph().

这里有一种方法:

const graph = <const D extends Record<keyof D, Node>>(
  g: { [K in keyof D]: K extends Node ? NodeDef<K, D[K]> : never }
): Graph<D> => g;

TypeScrip的泛型推理有点棘手；可以从mapped type中推断出D，而不是D的键(即，如果它是homomorphic映射的类型，请参阅What does "homomorphic mapped type" mean?以了解更多信息).所以它必须是in keyof D，而不是in Node & keyof D.因此，我将"AND Node"限制移至属性类型，将其设置为conditional type K extends Node? NodeDef<K, D[K]> : never.keyof D中没有出现在Node中的任何键都将被映射到never，您将得到一个错误.

Playground link to code个