如何将TypeScript订阅事件的Rest参数收窄为指定类型？

你当前的实现存在核心类型不匹配：底层subscribe的回调接收多个独立参数（比如myEvent对应number和string两个参数），但你定义的EventDefs把事件映射成了对象类型，导致args（数组）无法直接适配回调的参数要求。以下是两种可行的解决方案：

方案1：让回调接收位置参数（与底层用法对齐） #

调整类型定义，将事件对应的参数定义为元组类型，直接匹配底层的参数传递方式：

// 定义事件到参数元组的映射
type EventDefs = {
  "myEvent": [number, string];
};

type Event = keyof EventDefs;

function typedSubscribe<T extends Event>(
  eventName: T,
  callback: (...args: EventDefs[T]) => void
): void {
  subscribe(eventName, (...args: unknown[]) => {
    // 已知参数符合预期，直接断言为对应元组类型
    callback(...(args as EventDefs[T]));
  });
}

使用示例：

typedSubscribe("myEvent", (myNumber, myString) => {
  // myNumber 自动推断为 number，myString 为 string
  console.log(myNumber + 1, myString.toUpperCase());
});

方案2：让回调接收对象类型（保持你原有的类型设计） #

如果希望回调仍接收对象参数，需要在封装层将底层的参数数组转换为对象，同时通过类型断言收窄数组类型：

type MyEvent = {
  myNumber: number;
  myString: string;
};

// 先定义事件到参数元组的映射，用于匹配底层传递的参数
type EventArgTuples = {
  "myEvent": [number, string];
};

// 关联事件与对应的对象类型
type EventDefs = {
  "myEvent": MyEvent;
};

type Event = keyof EventDefs;

function typedSubscribe<T extends Event>(
  eventName: T,
  callback: (payload: EventDefs[T]) => void
): void {
  subscribe(eventName, (...args: unknown[]) => {
    // 断言参数数组为对应元组，解构后构造对象
    const [myNumber, myString] = args as EventArgTuples[T];
    callback({ myNumber, myString });
  });
}

使用示例：

typedSubscribe("myEvent", (payload) => {
  // payload 自动推断为 MyEvent 类型
  console.log(payload.myNumber, payload.myString);
});

关键说明 #

因为底层系统无类型且你确认参数传递是正确的，这里使用as类型断言是安全的——它告诉TypeScript："我已经确认这个值的类型符合预期，不需要再做检查"。如果想增加安全性，也可以在封装层添加简单的参数长度校验（比如判断args.length是否等于对应元组的长度），但这属于额外的运行时保障，不影响类型系统的正确性。

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