如何为rpc-websockets的函数参数匹配索引签名接口定义？

可以实现严格类型的参数定义，核心思路是通过类型断言+运行时校验或包装函数封装来绕过库的内部类型限制，同时保留类型系统的优势。以下是具体方案：

方案一：类型断言结合运行时校验 #

直接在注册方法中对参数做类型断言，同时添加运行时检查确保参数符合预期（避免因传入非法数据导致运行时错误）：

// 定义你需要的严格参数类型
type AddParams = { num1: number; num2: number };

// 注册RPC方法
server.register("add", (params: unknown, socketId: string) => {
  // 运行时类型守卫，确保参数结构和类型正确
  if (
    typeof params === "object" &&
    params !== null &&
    "num1" in params &&
    "num2" in params &&
    typeof (params as AddParams).num1 === "number" &&
    typeof (params as AddParams).num2 === "number"
  ) {
    const { num1, num2 } = params as AddParams;
    return num1 + num2;
  }
  // 参数不符合要求时抛出错误
  throw new Error("参数格式错误：需要 { num1: number, num2: number }");
});

这里把params的类型声明为unknown，再通过类型守卫逐步缩小类型范围，最后断言为目标类型，既满足库的类型要求，又能在编译时获得完整的类型提示。

方案二：封装类型安全的注册函数 #

如果需要多次注册类型化的RPC方法，可以封装一个通用的包装函数，统一处理类型转换和校验：

// 封装类型安全的注册工具函数
function registerTyped<Params>(
  server: RPCServer,
  methodName: string,
  handler: (params: Params, socketId: string) => unknown
) {
  server.register(methodName, (params: any, socketId: string) => {
    // 可选：在这里添加通用的运行时校验逻辑
    return handler(params as Params, socketId);
  });
}

// 使用封装后的函数注册方法
type AddParams = { num1: number; num2: number };
registerTyped<AddParams>(server, "add", ({ num1, num2 }, socketId) => {
  return num1 + num2;
});

这个包装函数将库的原生register方法做了一层类型封装，让你可以直接指定参数类型，编译时自动获得类型提示，同时内部的类型断言可以绕过库的类型限制。

为什么之前的尝试会报错？ #

你遇到的类型不兼容问题，本质是TypeScript的类型安全机制：库要求的IRPCMethodParams是一个宽泛的索引签名类型，而你定义的具体参数类型（如{num1: number, num2: number}）是更严格的子类型。当你把接受严格参数的函数赋值给接受宽泛参数的位置时，TypeScript会拒绝——因为库可能传入不包含num1/num2的参数，导致你的函数出错。通过上述方案，我们主动承担了参数校验的责任，同时保留了类型系统的优势。

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