如何扩展TypeScript泛型函数参数，新增末尾可选参数？

要实现保留原函数所有参数并在末尾添加可选参数的泛型扩展函数，核心是利用TypeScript元组类型拼接规避剩余参数必须位于末尾的限制，具体实现如下：

实现思路 #

通过自定义类型将原函数的参数元组Parameters<T>与新增的可选参数元组拼接成一个新的元组类型，再让返回函数的参数展开这个合并后的元组，既满足参数传递的语法要求，又实现类型约束。

完整代码示例 #

// 定义扩展后的参数元组类型：原参数 + 末尾可选参数
type ExtendedParams<T extends (...args: any[]) => any> = [...Parameters<T>, doLog?: boolean];

// 泛型扩展函数
function extendWithLogging<T extends (...args: any[]) => any>(baseFn: T): (...args: ExtendedParams<T>) => ReturnType<T> {
  return (...args: any[]) => {
    // 分离可选参数与原参数
    const lastArg = args[args.length - 1];
    let doLog = true;
    let originalArgs = args;

    // 判断最后一个参数是否是可选的doLog
    if (typeof lastArg === 'boolean') {
      doLog = lastArg;
      originalArgs = args.slice(0, -1);
    }

    // 执行日志逻辑
    if (doLog) {
      console.log('函数执行参数:', originalArgs);
    }

    // 调用原函数并返回结果
    return baseFn(...originalArgs as Parameters<T>);
  };
}

// 测试用例：原函数
function calculate(a: number, b: string, c: boolean): string {
  return `${a}_${b}_${c}`;
}

// 生成扩展后的函数
const calculateWithLog = extendWithLogging(calculate);

// 调用方式（两种都支持）
calculateWithLog(10, 'test', true); // 默认开启日志
calculateWithLog(20, 'demo', false, false); // 手动关闭日志

关键说明 #

1. 元组拼接类型：[...Parameters<T>, doLog?: boolean]将原函数的参数元组完整保留，再在末尾追加可选参数doLog，TypeScript允许这种元组扩展语法，完美规避了剩余参数必须在最后的语法限制。
2. 参数分离逻辑：在函数体内需要判断最后一个参数是否为新增的可选参数（通过类型或业务规则），分离出原参数后再调用原函数，确保逻辑正确性。
3. 类型安全：返回函数的类型严格继承原函数的返回值类型ReturnType<T>，同时参数类型完全匹配原参数+可选参数的组合，保证调用时的类型提示与校验。

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