TypeScript动态推断类型问题：传递函数复用参数失败

嘿，我来帮你搞定这个TypeScript的类型推断问题！咱们先拆解下你遇到的核心问题：你的c函数之所以失效，是因为参数c没有类型约束，TypeScript直接把它推断成了any类型，导致Parameters<typeof c>也变成了any[]，完全失去了类型检查的作用。

修复方案：给c函数加上泛型类型约束 #

只需要给c的参数加上泛型约束，让TypeScript能追踪传入函数的类型，就能自动推导参数列表了。修复后的代码如下：

// 原始函数
const a = (a: string) => { }
const b = (...args: Parameters<typeof a>) => { }

// 修复后的c函数：添加泛型约束，限定传入的是函数类型
const c = <T extends (...args: any[]) => any>(fn: T) => (...args: Parameters<T>) => {
  // 这里可以根据需求复用参数，比如直接调用传入的函数
  fn(...args);
}

// 现在调用完全正常，且会严格做类型检查
c(a)("hello world"); // ✅ 正确，传入string类型符合要求
// c(a)(123); // ❌ 报错！类型不匹配，符合预期

// 你觉得冗长的d函数写法，用修复后的c就能完美替代，无需手动指定泛型

为什么这个方案可行？ #

• 泛型约束T extends (...args: any[]) => any告诉TypeScript：fn必须是一个函数类型，这样TypeScript会自动把传入的a的具体类型（(a: string) => void）推断给T。
• Parameters<T>就能准确提取出T的参数类型（也就是[string]），所以返回的函数会严格要求传入对应类型的参数，完美实现了复用参数的需求。

对比你的原始写法 #

原始的c函数因为没有类型约束，TypeScript无法推断fn的具体类型，只能 fallback 到any，自然没法正确复用参数类型。而修复后的写法不需要手动指定泛型参数（比如d<typeof a>那种繁琐写法），TypeScript会自动完成类型推断，写法更简洁优雅。

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