如何为对象方法参数实现类型安全的TypeScript泛型包装函数

你的核心需求是让wrapper函数能严格校验传入参数是否匹配目标对象method方法的类型，之前的写法之所以无法实现类型安全，是因为泛型约束逻辑没有把参数类型和method的类型做强绑定。

修正后的实现方案 #

直接通过泛型提取目标对象method的参数类型，以此约束wrapper的剩余参数：

function wrapper<T extends { method: (...args: any[]) => any }>(
  obj: T,
  ...args: Parameters<T['method']>
) {
  obj.method(...args);
}

如果想更明确地捕获method的函数类型，也可以用这种写法：

function wrapper<T, M extends (...args: any[]) => any>(
  obj: T & { method: M },
  ...args: Parameters<M>
) {
  obj.method(...args);
}

效果验证 #

用你的测试代码验证，现在错误的参数传递会被TypeScript直接拦截：

class Class1 {
  method() {}
}

class Class2 {
  method(x: string) {}
}

class Class3 {
  method(x: number, y: string) {}
}

// ✅ 合法调用
wrapper(new Class1());
wrapper(new Class2(), 'hello');
wrapper(new Class3(), 10, 'hello');

// ❌ 类型错误：Argument of type 'string' is not assignable to parameter of type 'number'
wrapper(new Class3(), '10', 'hello');

原写法问题说明 #

你之前的代码里，P extends Parameters<F>的约束并没有强制P必须完全等于Parameters<F>，TypeScript类型系统允许子类型赋值，再加上泛型推断时的松散匹配，导致错误参数无法被拦截。而直接使用Parameters<T['method']>可以精准获取method的参数类型，让剩余参数类型和method的参数类型完全对齐，从而实现严格的类型校验。

内容的提问来源于stack exchange，提问作者Ahmet Yazıcı