TypeScript中如何从函数参数类型中排除指定索引的参数？

问题场景 #

现有以下TypeScript代码：

function fun1(a: number, b: string, c: () => void) {}

function fun2(...args: Parameters<typeof fun1>) {}

需求是将fun1参数类型中指定索引（此处为索引0）的参数排除，作为fun2的参数类型，最终期望得到：

function fun2(b: string, c: () => void) {}

尝试使用Omit<Parameters<typeof fun1>, "0">实现，但该方法无效。

原因分析 #

Parameters<typeof fun1>返回的是元组类型，而Omit是为对象类型设计的工具类型。它会把元组当作键为索引字符串的对象处理，但返回结果是对象类型，而非元组，因此无法作为函数剩余参数的类型使用。

解决方案 #

方法1：固定索引的直接推断 #

如果要排除的索引是固定的（比如这里的0），可以直接通过元组解构推断剩余参数类型：

function fun1(a: number, b: string, c: () => void) {}

// 提取fun1的参数元组，排除索引0的元素
type Fun1Params = Parameters<typeof fun1>;
type Fun2Params = Fun1Params extends [any, ...infer Rest] ? Rest : never;

function fun2(...args: Fun2Params) {}

此时fun2的参数类型会自动推导为(b: string, c: () => void)，完全符合需求。

方法2：通用的索引排除工具类型 #

如果需要支持排除任意索引的参数，可以编写一个通用的类型工具：

// 通用类型：排除元组中指定索引的元素
type ExcludeTupleIndex<T extends any[], I extends number> = 
  T extends [...infer Head, infer Tail]
    ? I extends Head['length']
      ? Head
      : [...ExcludeTupleIndex<Head, I>, Tail]
    : [];

// 使用示例
function fun1(a: number, b: string, c: () => void) {}

// 排除fun1参数元组中索引0的元素
type Fun2Params = ExcludeTupleIndex<Parameters<typeof fun1>, 0>;
function fun2(...args: Fun2Params) {}

这个工具类型通过递归遍历元组，定位并移除指定索引的元素，最终返回剩余元素组成的新元组。

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