如何从键而不是值推断类型参数？

我有一个表示有向图结构的类，它是具有一个类型参数的通用类K extends string对于节点名称。图表是通过传递一个对象来构造的，例如{a: ['b'], b: []}在这个最小的例子中代表两个节点a and b，有一条边a → b.

class Digraph<K extends string> {
    constructor(readonly adjacencyList: Record<K, K[]>) {}

    getNeighbours(k: K): K[] {
        return this.adjacencyList[k];
    }
}

然而，像这样声明，类型参数K是从数组的内容推断的，而不是从对象的属性名称推断的。这意味着K变成'b'代替'a' | 'b'，所以 Typescript 会给出错误，因为它认为a是对象字面量中的多余属性。

// inferred as Digraph<'b'> instead of Digraph<'a' | 'b'>
// error: Argument of type '{ a: string[]; b: never[]; }' is not assignable to parameter of type 'Record<"b", "b"[]>'.
let digraph = new Digraph({
    a: ['b'],
    b: [],
});

有没有办法拥有K直接从属性名称而不是它们的值推断出来？

游乐场链接 https://www.typescriptlang.org/play?#code/MYGwhgzhAEAiCWBzATmADgCwDwGloFMAPAF3wDsATGCY5eMxAPmgG8AoaT6YAezJuQBXYMR7IAFMnxgKfEAE9oMgFZhg5YPIAy8GgC5oAJXy9kFXABpoOANoBdRgEpWAXzYcuifMQBy+JBgARjyCyBDiANYGOI7R9qweXFxSxKFk0MQYugB0Kmoa2rrENhF2ANyJ0G5ubAD0tdD0AGb4yFIUSjAIKOjYAOSBfcz0NNIdPE1wSKiYWH1gfdAAPtADQ3UNrchiBgCCyIiCALbkxNATGfJo+KssSgYC9Ij2ZdCBBmT4AG6tL1WLumgZB4Z0gECQZDAgRAN1E0DQYFQJ1IyHOk2IVxufWMpnMACJAnirAS8fZGH1smwYWcKNNetAALxA-AAdymPUw4nYSTABhsazsFkq72g9iFLkcFSAA

我尝试的一个解决方案是添加另一个类型参数T extends Record<K, K[]>并声明constructor(readonly adjacencyList: T) {}。然后多余的财产错误就消失了，但是现在K仅推断为string.

另外，类型Digraph<K, T>太具体了 - 具有相同节点的两个有向图应该可以彼此分配，即使它们具有不同的边，而且我宁愿不必写Digraph<K, Record<K, K[]>> or Digraph<K, any>来解决这个问题。我正在寻找一种不添加额外类型参数或更改内容的解决方案K如果可能的话，将会是。

所以你的问题是有多个候选推理站点K在类型中Record<K, K[]>，并且编译器的推理算法优先考虑错误的算法。您希望能够告诉编译器它不应该使用第二个K（在属性值位置的数组元素中）进行推断，并且应该只使用第一个K（在属性关键位置）用于此目的。它应该只关注之后的第二个站点K被推断，并且仅check推断的类型有效。

有一个未决问题位于微软/TypeScript#14829 https://github.com/microsoft/TypeScript/issues/14829要求这样的非推理类型参数用法。这个想法是应该有一些类型函数称为NoInfer<T>其中类型NoInfer<T>最终评估为T， 但只有after发生了类型推断。然后你会这样写：

class Digraph<K extends string> {
    constructor(readonly adjacencyList: Record<K, NoInfer<K>[]>) { }

    getNeighbours(k: K): K[] {
        return this.adjacencyList[k];
    }
}

一切都应该正常。

虽然没有official的版本NoInfer存在，microsoft/TypeScript#14829 中提到了一些适用于某些用例的用户实现。那个我倾向于推荐 https://github.com/microsoft/TypeScript/issues/14829#issuecomment-504042546 is:

type NoInfer<T> = [T][T extends any ? 0 : never];

条件类型的评估T extends any ? 0 : never是（目前用于 TS4.2）deferred until T是一种特定类型。所以虽然NoInfer<T>最终将评估为T，编译器看不到这一点。

希望 microsoft/TypeScript#14829 最终能够得到正式的实现，这样那里提到的解决方法就可以被放弃而代之以它。或者至少现有的解决方法将升级为受支持的功能。 （这type NoInfer<T> = T & {}版本是尽可能得到支持 https://github.com/microsoft/TypeScript/issues/14829#issuecomment-320754731，但不幸的是这不适用于您的用例。）

无论如何，你可以检查一下这个定义NoInfer<T>将在示例代码中按照您想要的方式运行：

let digraph = new Digraph({
    a: ['b'],
    b: [],
}); // okay, Digraph<"a" | "b">

let badDigraph = new Digraph({
    a: ['c'], // error, "c" is not assignable to "a" | "b"
    b: []
})

Playground 代码链接 https://www.typescriptlang.org/play?#code/C4TwDgpgBAcg9gSQHYDMICcA8AVAfFAXigG1sBdUqCAD2AiQBMBnKAQyRCgH4oAGKAFxQkEAG4YyAbgBQ0gMYAbVkxYARAJYBzdKzAALTAGkqtesyhNg6dUk34A3tKjOocuEkvoArnOBx0ABToEKwM7gqcoQBWrHL0ciAAMuqWQgBKEG7oDEYANLCIqBhGuMRkuACUUPZQAL6yLlCaEMAwEFp6AEZwXuhMAQDWQoYVw2XVTo0uwcC9SFDAeikAdNGx8UkpwMQDUpPO9fXSCi1QDFo6+oTCEADuUBraunoBjo2sQsQA5J1fZLn7KCdT7-aS1CqSKAAeihUDgA1YIHyj0uBgARKw0VAAD5QNGdNG4WQnYBA0Io57XET3Cn6V6Aj4kL5yP75GFUdDofz5NFyLEpYRwUnKJhaJCsTonBZwPGYnF4gmA4EkMhgirSIA