TypeScript 中如何为 SignalR invoke 方法实现入参自动推断的类型配置？

现有定义的核心问题是把方法名、入参、返回值拆成了互相独立的泛型参数，TS无法建立三者的关联，必须通过统一的方法映射表把三者强绑定，就能实现完全基于方法名的自动类型推断，省去手动传泛型的冗余步骤。

1. 搭建统一的方法元数据映射表 #

把所有可调用的服务端方法，按「方法名 -> 入参结构 + 返回值结构」的规则，收拢到同一个映射接口里，所有后续的类型推导都基于这个表完成：

interface InvokeMethodMap {
  // 有入参的方法条目
  GetEvent: {
    params: GetEventArgs; // 直接复用项目里已有的入参类型定义即可
    response: GetEventResponseType;
  };
  GetUser: {
    params: GetUserArgs;
    response: GetUserResponseType;
  };
  // 无入参的方法，将params标记为void
  GetSystemConfig: {
    params: void;
    response: SystemConfigType;
  };
}

// 原来需要单独维护的方法名联合类型，直接从映射表推导即可，避免两边内容不同步
type InvokeMethodNameTypes = keyof InvokeMethodMap;

后续新增服务端方法时，只需要在这个映射表里补一条对应记录即可，不需要调整invoke本身的类型定义。

2. 重写invoke函数的类型定义 #

替换掉原来两个独立的泛型参数，改成基于方法名字面量做类型推导的结构，同时通过条件判断处理无入参方法的参数校验逻辑：

type InvokeType = <MethodName extends keyof InvokeMethodMap>(
  methodName: MethodName,
  // 剩余参数的条件判断：如果方法本身无入参，就不允许传第二个参数
  ...args: InvokeMethodMap[MethodName]['params'] extends void 
    ? [] 
    : [InvokeMethodMap[MethodName]['params']]
) => Promise<InvokeMethodMap[MethodName]['response']>;

配置完成后的实际调用体验 #

调整后调用时完全不需要手动传泛型，所有类型会自动匹配：

// 调用GetEvent时：
// - 输入方法名时会自动弹出可选的方法列表提示
// - 第二个入参会被自动校验为GetEventArgs的结构，字段缺失、类型错误都会有即时报错
// - 返回值会自动推导为GetEventResponseType，不需要手动声明泛型
const eventData = await invoke("GetEvent", { eventId: "xxx" });

// 调用无入参的GetSystemConfig时：
// - TS会明确提示方法不需要第二个参数，乱传参数反而会触发类型错误
// - 返回值自动匹配SystemConfigType结构
const config = await invoke("GetSystemConfig");

和旧写法的对比优势 #

调整后相比原来的写法，体验提升主要体现在三点：

• 避免类型错配：旧写法下如果手动传错了泛型、和方法名不匹配，TS完全不会拦截；新写法下所有类型都从方法名推导，两者永远强绑定
• 减少冗余代码：不需要每次调用都手动传两个泛型参数，简化调用代码
• 校验更严格：无入参的方法不会出现“可以随便传任意参数”的宽松问题，参数校验更贴合实际的服务端接口规则

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