从具有泛型类型的类数组中推断元组类型

Question

我有一个 function someFunction

function someFunction<T extends SomeClass<any>[]>(
  name: string,
  callback: (dependencyValues: any[]) => void,
  dependencies: T,

我希望dependencyValues是由dependencies中的值推断的元组。

例如：

someFunction(
    'someName', // name
    (dependencyValues: [number, boolean, string]) => { // callback
        ...
        ... do something
        ...
    }, 
    [new SomeClass<number>(), new SomeClass<boolean>(), new SomeClass<string>()] // dependencies
)

我需要在我的 function 定义中更改什么才能实现这一目标？

谢谢 ！

我尝试使用它： Generic type wrapping in TypeScript for tuples但无法弄清楚如何在我的问题中使用它

Answer 1

使用可变元组类型，我们可以将T推断为元组，这意味着我们可以“循环” callback类型中的元组并推断其中的类型参数。

function someFunction<T extends SomeClass<any>[]>(
  name: string,
  callback: (dependencyValues: { [K in keyof T]: T[K] extends SomeClass<infer U> ? U : never }) => void,
  dependencies: [...T],
) {}

操场