如何用TypeScript实现带额外参数的泛型高阶函数？

你需要的是一个能保留原函数参数结构（含参数名、类型）并在末尾新增指定参数的泛型高阶函数，TypeScript完全支持这类类型推导，以下是正确的实现方案：

核心思路 #

利用TypeScript的元组展开语法捕获原函数的参数元组，再通过元组拼接生成新函数的参数类型，这样既能保留原参数的完整类型信息，又能新增指定参数。

固定新增参数类型的实现（对应你的示例） #

function hof<Args extends unknown[], ReturnType>(fn: (...args: Args) => ReturnType) {
  // 新函数参数：原参数元组 + 新增的number类型参数arg3
  return (...args: [...Args, arg3: number]) => {
    // 提取新增的参数
    const newArg = args.at(-1)!;
    // 执行额外逻辑（示例：打印新增参数）
    console.log("新增参数值:", newArg);
    // 调用原函数，传入除最后一个参数外的所有原参数
    return fn(...args.slice(0, -1) as Args);
  };
}

// 测试示例
function func1(arg1: number, arg2: string) {
  return `${arg1}${arg2}`;
}

const func2 = hof(func1);
// TypeScript自动推导类型为：(arg1: number, arg2: string, arg3: number) => string
func2(1, "test", 2); // 正常调用，返回"1test"

可配置新增参数类型的通用版本 #

如果需要灵活指定新增参数的类型，可以再添加一个泛型参数：

function hof<Args extends unknown[], ReturnType, NewArgType>(fn: (...args: Args) => ReturnType) {
  return (...args: [...Args, newArg: NewArgType]) => {
    const newArg = args.at(-1)!;
    // 这里可以基于newArg执行任意额外逻辑
    return fn(...args.slice(0, -1) as Args);
  };
}

// 使用示例：新增string类型参数
const func3 = hof(func1);
// 调用时传入对应类型参数，TS会自动推导类型
func3(1, "test", "extra-info");

你原有写法的问题分析 #

1. 泛型约束错误：原代码中P没有约束为数组类型，导致TypeScript无法识别为参数元组，无法正确展开。
2. 返回类型错误：原代码返回类型写为T，但实际应该返回一个新函数，而非原函数的返回值类型。
3. 参数语法错误：JS/TS中剩余参数...params必须是最后一个参数，不能和其他参数并列，因此需要用元组拼接的方式组合原参数和新增参数。

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