typescript 扩展泛型不传播为什么？

Question

确实遇到了让我困惑的情况。以下是代码的摘录：

type TInputs<A> = A[] | Iterable<A> | Record<string, A>

type TTest = <A, Src extends TInputs<A>>(src: Src) => (x: A) => A

declare const arr: number[]
declare const t: TTest

t (arr) // infered as const t: <{}, number[]>(src: number[]) => (x: {}) => {}
// expected const t: <number, number[]>(src: number[]) => (x: number) => number

我不明白为什么A 没有保存？在这种情况下，有什么理由推断为{}？
除了了解如何通过该问题之外？

提前感谢您的任何回答
赛博

Answer 1

TypeScript 编译器不会使用泛型约束作为推理位置。有关它的讨论，请参阅 this similar GitHub question。这意味着虽然t(arr) 导致Src 被推断为number[]，但生成的约束number[] extends A[] 不能用于推断A。而且由于没有其他方法可以用来推断A，因此推断失败，“我放弃”空类型{}。

要修复它...您实际上可能不需要两个类型参数。如果您希望A 始终是Src 数组的元素类型，那么您可以通过对Src 的number-index 属性类型执行lookup 来获取该元素类型，即： Src[number] 代替 A：

type TTest = <Src extends any[]>(src: Src) => (x: Src[number]) => Src[number]

declare const arr: number[]
declare const t: TTest
t(arr)  // const t: <number[]>(src: number[]) => (x: number) => number

看起来它对我有用。希望有帮助。祝你好运！

---

更新

鉴于您的新类型，可以使用条件类型和infer 从Src 获取A，如下所示：

type AFromSrc<Src extends TInputs<any>> = Src extends TInputs<infer A> ? A : never;
type TTest = <Src extends TInputs<any>>(src: Src) => 
  (x: AFromSrc<Src>) => AFromSrc<Src>

只要编译器可以从TInputs<A> 推断出A，这也应该有效。这取决于TInputs<> 对推理算法是否足够透明。您应该检查它是否适合您。如果不是，你可能必须更聪明。

但如果它确实有效，那么您可能需要使用以下更简单的签名：

type TTest = <A>(src: TInputs<A>) => (x: A) => A

也就是说，保留A 并从中计算Src。这不涉及条件类型，但确实希望编译器能够从TInputs<A> 类型的值推断A。如果可以，那就太好了。如果没有，您将需要使用第一个签名和自定义AFromSrc，以帮助编译器确定A。

好的，再次祝你好运。