具有相应回调的Typecript通用Rest运算符

Question

我最近学了打字，因为它看起来很有趣。我以前在C中使用过泛型，并在Typescript中成功地完成了一些泛型操作，但现在我对以下用例感到困惑：

我有一个通用函数，可以接受任意数量的Rest参数。然后将这些参数传递给回调函数，该函数也提供了。但我似乎不知道如何使typescript编译器接受我提供的类型，以隐式传递到回调函数中。

async SampleFunction(
    cb: () => void,
    ...args: any[]
)

以此作为示例用法：

let stringVariable = "lorem";
let numberVariable = 8;

SampleFunction(
    (stringArg, numberArg) => {},
    stringVariable,
    numberVariable,
)

此示例导致参数认为它们隐式类型为“any”。

我的问题是：我如何定义这个函数，这样我就可以传入任何传统的参数，这些参数的类型将以相同的顺序传递到回调函数中。

Answer 1

您可以使用参数

function sampleFunction<T extends (...args: any[]) => any>(
  callback: T,
  ...args: Parameters<T>
) {}

sampleFunction((a: string, b: number) => null, "foo"); // Doesn't pass
sampleFunction((a: string, b: number) => null, "foo", "bar"); // Doesn't pass
sampleFunction((a: string, b: number) => null, "foo", 42); // Passes
sampleFunction((a: string, b: number) => null, 42, "bar"); // Doesn't pass

Answer 2

多亏了@Etheryte的帮助，我进入了正确的搜索轨道。

我找到了我想要的解决方案：

function SampleFunction<T extends any[]>(
    cb: (...args: T) => void,
    ...args: T
): void {}

let stringVariable = 'lorem';
let numberVariable = 8;

SampleFunction(
    (a, b) => {}, 
    stringVariable, 
    numberVariable
);

这会将正确的参数类型从函数隐式传递到回调