TS как вывести массив типов параметров из массива дженериков?

Question

[Евгений Косухин]

Всем привет!
Я не глубоко знаю TS поэтому застрял с этой проблемой.
есть функция, которая на вход получает массив дженериков, например:
[G<number>, G<string>, G<boolean>]

Джереник G ставит свой первый параметр свойству value
Внутри функции я делаю такое
const values = containers.map(container => container.value)

И получается что values будет иметь тип [number, string, boolean]

Не могу придумать или нагуглить как правильно описать типы такой функции?
Помогите пожалуйста разобраться. Любая помощью и намеки приветствуются =)

function unwrap(containers: G<???>[]): [???] {
return containers.map(container => container.value)
}

Answer 1

[Дмитрий Беляев]

type ExtractGenerics<T extends readonly unknown[]> = T extends readonly []
  ? []
  : T extends readonly [G<infer V>, ...infer Next]
    ? [V, ...ExtractGenerics<Next>]
    : never;

function unwrap<C extends readonly G<unknown>[]>(containers: C) {
  return containers.map(container => container.value) as ExtractGenerics<C>
}

https://www.typescriptlang.org/play?#code/C4TwDgpg...

Comments

[Евгений Косухин]

Ух, выглядит круто, спасибо!

[WbICHA]

kosuha, немного доработал, чтобы работал не только с таплами, но и с массивами:

type ExtractGenerics<T extends readonly unknown[]> = T extends readonly []
  ? []
  : T extends readonly [G<infer V>, ...infer Next]
    ? [V, ...ExtractGenerics<Next>]
    : T extends readonly (G<infer V>)[]
      ? V[]
      : never;

type Input2 = G<number>[]

const values3 = unwrap([ // = number[]
  { value: 1 },
] as Input2)