TypeScript泛型事件监听包装器报错：扩展参数需为元组类型

代码示例 #

function existingFunc(arg1: number, arg2: string): number {
    return arg1 + arg2.length;
}

function wrapperFunc(...args: Parameters<typeof existingFunc>): ReturnType<typeof existingFunc> {
    return existingFunc(...args);
}

type EventMap = {
    DEBUG: (msg: string) => number;
    TICK: (num: number, num2: number) => string;
    NOTI: () => number;
};

function wrap<E extends keyof EventMap> (event: E, listener: EventMap[E]) {
    const wrapped = (...args: Parameters<typeof listener>) => {
        listener(...args); // 第17行触发错误
    }

    return wrapped;
}

错误信息 #

A spread argument must either have a tuple type or be passed to a rest parameter. (2556)

原因分析 #

核心差异在于泛型上下文的类型推断限制：

• wrapperFunc中，Parameters<typeof existingFunc>是具体的元组类型（[number, string]），TypeScript能明确识别这是固定长度、固定类型的元组，因此允许将其扩展后传递给existingFunc的参数列表。
• 泛型函数wrap中，listener的类型依赖于泛型参数E，此时Parameters<typeof listener>的类型在编译阶段无法被解析为具体元组，TypeScript只能将其推断为普通数组类型（类似unknown[]）。当尝试把普通数组扩展后传递给固定参数列表的函数时，TypeScript无法保证数组的长度、类型与函数参数匹配，因此抛出错误。

修复方法 #

方法1：明确关联泛型的元组类型

直接基于EventMap[E]获取参数元组，让TypeScript明确这是匹配的元组类型：

function wrap<E extends keyof EventMap> (event: E, listener: EventMap[E]) {
    const wrapped = (...args: Parameters<EventMap[E]>) => {
        listener(...args);
    }
    return wrapped;
}

方法2：使用类型断言显式声明

通过类型断言告诉TypeScript，当前数组就是匹配的参数元组：

function wrap<E extends keyof EventMap> (event: E, listener: EventMap[E]) {
    const wrapped = (...args: Parameters<typeof listener>) => {
        listener(...(args as Parameters<typeof listener>));
    }
    return wrapped;
}

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