TypeScript泛型函数参数匹配问题：如何让回调参数对应元组类型

你的推测完全正确：TypeScript默认会把包含不同类型元素的数组字面量推断为联合类型数组（比如(number | string)[]），而非元组类型，导致回调参数被统一为联合类型。以下是几种解决方法：

方法1：使用as const断言参数 #

调用时给第二个参数添加as const断言，强制TypeScript将其推断为只读元组，这样每个元素的具体类型会被精确保留，回调参数类型也会对应匹配：

someFunc((a, b, c) => {}, [1, '2', 3] as const);
// a: number, b: string, c: number

方法2：修改函数泛型定义，引导元组推断 #

调整函数的泛型约束为T extends readonly any[]，让TypeScript更倾向于将参数推断为元组而非数组，同时兼容as const生成的只读元组类型：

function someFunc<T extends readonly any[]>(callback: (...args: T) => void, params: T) {}

// 此时直接调用即可自动推断元组类型
someFunc((a, b, c) => {}, [1, '2', 3]);
// a: number, b: string, c: number

方法3：显式指定泛型参数 #

如果需要完全手动控制类型，可以在调用时直接指定泛型T为目标元组类型：

someFunc<[number, string, number]>((a, b, c) => {}, [1, '2', 3]);
// a: number, b: string, c: number

内容的提问来源于stack exchange，提问作者chocojunkie