Typescript 类型参数未按预期从泛型 class 中推断出来

Question

在此示例中，我使用参数类型(keyof TFoo)[]来期望包含TFoo中的任何键的数组，以保持示例简单，但我在任何时候都看到类型参数推断的相同行为使用模式<T, TSomeClass extends SomeClass<T>> 。 它似乎正确地推断出TFoo类型，因为它适用于第一个fooBarBad function 参数bar的 class ，因此在此示例中它将TBar标识为Bar<{ a: number, b: number }> ，但对于第二个参数fooKeys ，它推断TFoo是{ a: any, c: any } ，它是从数组中传递的值中获取的。 我可以看到它可能试图以任何一种方式推断TFoo ，但我至少希望它对两个 function 参数应用相同的TFoo推断值，因为它们都引用相同类型的参数TFoo 。

class Bar<TFoo> {
  constructor(foo: TFoo) {}
}

function fooBarBad<TFoo, TBar extends Bar<TFoo>>(bar: TBar, fooKeys: (keyof TFoo)[]) {}

// No error, but I expect one - fooKeys is instead inferred to be ('a' | 'c')[]
fooBarBad(new Bar({ a: 1, b: 2 }), ['a', 'c']);

有没有其他方法可以声明这个以获得我想要的推论？ 或者有什么技巧可以强迫它？

一个更简单的例子推断出我所期望的。

function fooBar<TFoo>(foo: TFoo, fooKeys: (keyof TFoo)[]) {}

// Error as expected - 'c' is not a key of TFoo
fooBar({ a: 1, b: 2 }, ['a', 'c']);

Answer 1

TypeScript在寻找推理目标时优先考虑arguments。 TBar的类型由第一个参数推断，而TFoo由第二个参数推断，而不是通过TFoo的约束。

我们可以将您的示例简化为具有单个通用参数TFoo 。

class Bar<TFoo> {
  constructor(foo: TFoo) {}
}

function fooBarBad<TFoo>(bar: Bar<TFoo>, fooKeys: (keyof TFoo)[]) {}

这导致了正确的推理。

fooBarBad(
  new Bar({ a: 1, b: 2 }), ['a', 'c']
//                               ~~~ Type '"c"' is not assignable
//                                   to type '"a" | "b"'
)

---

操场