TypeScript代理调用处理器方法的类型报错与类型安全实现

这个报错和Parameters工具类型本身无关，核心是TypeScript对未窄化联合泛型的校验限制：

• 当泛型H被约束为keyof Handlers时，函数内部的H是没有被窄化的联合类型，即"add" | "count"
• 此时Parameters<Handlers[H]["handler"]>推导结果是多个元组组成的联合类型[string] | [number]，而非单个确定的元组
• TypeScript无法证明这个联合类型的参数，和当前通过myHandlers[name]取到的handler签名是一一对应的，会判定存在“拿add的参数调用count方法”的类型风险，因此抛出“参数不是元组类型”的错误
• 外部调用时，TS会根据传入的具体name值窄化泛型到具体的单个key，所以外部的参数自动提示、类型校验都是正常的，只有函数内部的跨联合类型匹配校验失败

以下两种方案都可以完整保留外部调用的类型提示、参数校验能力，同时消除内部类型报错，后续新增handler时不需要修改代理方法的类型定义：

方案1：最小范围类型断言（代码最简洁） #

仅在函数内部对取到的handler做窄范围类型断言，完全不影响外部的类型安全：

function callHandler<H extends keyof Handlers>(
  name: H,
  ...params: Parameters<Handlers[H]["handler"]>
): ReturnType<Handlers[H]["handler"]> {
  const handler = myHandlers[name].handler as (
    ...args: Parameters<Handlers[H]["handler"]>
  ) => ReturnType<Handlers[H]["handler"]>;
  return handler(...params);
}

该方案下类型校验完全符合预期：

• 调用callHandler("add", "test")正常通过，返回值自动推导为string类型
• 调用callHandler("count", "abc")会直接抛出类型错误，提示第二个参数需要传入number类型

方案2：映射类型关联签名（约束更严谨） #

先提取所有handler的函数签名构成映射类型，从类型层面建立方法名、参数、返回值的绑定关系，仅需要极小范围的类型断言：

// 提取所有内置handler的原生调用签名
type HandlerSignatureMap = {
  [K in keyof Handlers]: Handlers[K]["handler"];
};

function callHandler<K extends keyof HandlerSignatureMap>(
  name: K,
  ...params: Parameters<HandlerSignatureMap[K]>
): ReturnType<HandlerSignatureMap[K]> {
  // 此处断言仅在函数内部生效，不会泄露到外部影响调用方类型安全
  return myHandlers[name].handler(...(params as any));
}

这个方案的类型鲁棒性更强，适合后续handler会持续扩展的场景。

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