TypeScript如何实现移除函数首个参数的包装函数？

当然可以实现你想要的功能！你当前遇到的类型推断问题，是因为手动编写的重载没有让TypeScript正确提取原函数的参数类型。咱们换一种更优雅且通用的方式来解决这个问题——利用TypeScript的条件类型和infer关键字，不用写一堆重载也能完美处理任意数量的额外参数。

问题根源 #

你手动定义的重载虽然覆盖了0、1、2个额外参数的场景，但TypeScript在匹配这些重载时，泛型约束的类型推断逻辑不够灵活，无法准确从传入的函数中提取后续参数的类型，最终导致推断出(a1: {}) => {}这种兜底的空类型。

正确实现方式 #

我们可以先定义一个条件类型，专门用来移除函数的第一个string类型参数，同时保留剩余参数和返回值类型：

// 定义条件类型：如果函数首参数是string，就返回移除该参数后的函数类型
type RemoveFirstStringParam<Func> = 
  Func extends (first: string, ...restArgs: infer Rest) => infer ReturnType 
    ? (...args: Rest) => ReturnType 
    : never;

然后基于这个类型实现函数f：

function f<Func extends (first: string, ...args: any[]) => any>(func: Func): RemoveFirstStringParam<Func> {
  // 运行时逻辑和你原来的一致，加上类型断言确保类型匹配
  return (...args) => func('hello', ...args) as RemoveFirstStringParam<Func>;
}

测试验证 #

用你提供的测试函数验证一下：

function testFunc(x: string, y: number): number{
  return x.length + y;
}
const x = f(testFunc); // 现在类型正确推断为 (y: number) => number
console.log(x(5)); // 输出 5 + 5 = 10，符合预期

这个方案还支持任意数量的额外参数，比如：

function multiParamFunc(s: string, a: boolean, b: string, c: Date): string {
  return `${s}-${a}-${b}-${c.toISOString()}`;
}
const multiParamWrapper = f(multiParamFunc);
// 类型自动推断为 (a: boolean, b: string, c: Date) => string
multiParamWrapper(true, "test", new Date()); // 正常执行

额外的类型安全 #

这个实现还自带类型校验：如果传入的函数首参数不是string类型，TypeScript会直接报错，避免误用：

function badFunc(x: number, y: string): boolean {
  return x > y.length;
}
const bad = f(badFunc); // 类型错误：类型'(x: number, y: string) => boolean'的参数不能赋给类型'(first: string, ...args: any[]) => any'的参数

总结 #

相比手动编写多个重载，这种基于条件类型的实现更通用、更可靠，能自动适配任意数量的额外参数，同时保证类型推断的准确性，完美实现你想要的功能。

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