打字稿中独立泛型类型的数组

Question

I'm trying to write a function that will take an array of initialisation functions, along with their options. I am able derive the type of the options from the function, so I thought I should therefore be able to check that the options I provide are of the same type.

The example is a minimised version of this. I think I need an independent generic for each array item, but I obviously don't know the size of the array.

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

The solution:

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>) => { }  

Or more generically as:

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">) => { }

It should be noted that I could not get this to work without using the rest parameter.

Explanation:

Once I stopped focusing so much on a single generic for each element, using mapped types I managed to get to:

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

But got an error: Type '"a"' cannot be used to index type 'T[P]'.

This turns out to be because using keyof with tuples includes non-number keys (eg 'length'). I found the solution on a Typescript Github issue ; only check the numeric keys.