typescript - typescript 中独立泛型类型的数组

Question

我正在尝试编写一个函数，它将采用一组初始化函数及其选项。我能够从函数中导出选项的类型，因此我认为我应该能够检查我提供的选项是否属于同一类型。

该示例是此示例的最小化版本。我认为每个数组项都需要一个独立的泛型，但我显然不知道数组的大小。

type O<T> = { a: T }
type E<T> = [O<T>, T]

const f = <T={}>(array: E<T>[]) => {}

f([
  [{ a: 4 }, 4],     //Works
  [{ a: "5" }, "5"]   //Doesn't work as T is set to number
])

Answer 1

解决方案:

type O = { a: any }

type E<T extends O[]> = {
   [P in keyof T]: T[P] extends T[number] ? [T[P], T[P]["a"]] : never;
}  

const f = <T extends O[]>(...args: E<T>) => { }  

或者更笼统地说:

type E<T extends {}[], K extends keyof T[number]> = {
   [P in keyof T]: T[P] extends T[number] ? [T[P], T[P][K]] : never;
}

const f = <T extends O[]>(...args: E<T, "a">) => { }

应该注意的是，如果不使用 rest 参数，我无法让它工作。

说明:

一旦我不再过多地关注每个元素的单个泛型，使用映射类型我设法做到了:

type E<T extends { a: any }[]> = {
   [P in keyof T]:  [T[P], T[P]["a"]]
}

但出现错误:类型“a”不能用于索引类型“T[P]”。

事实证明这是因为将 keyof 与元组一起使用包括非数字键(例如“长度”)。我在 Typescript Github issue 上找到了解决方案;只检查数字键。