TypeScript类型错误：[number,...Type]无法赋值给Type参数

我有一个内部包含另一个发射器的事件发射器，定义如下：

export class ShardedGateway extends EventEmitter<ShardedGatewayEvents> {
  shards: Record<number, Gateway> = {};
  // ...
}

我希望让ShardedGateway携带ID触发事件，因此修改了Event#on方法：

on<K extends keyof ShardedGatewayEvents>(
    eventName: K,
    listener: (...args: ShardedGatewayEvents[K]) => void,
  ): this;

并实现了如下代码：

Object.entries(this.shards).forEach(([shardID, shard]) => {
        shard.on(eventName, (...args) => {
          listener(Number(shardID), ...args);
        });
      });

同时定义了对应的类型：

export type ShardedGatewayEvents = {
  [K in keyof GatewayEvents]: [number, ...GatewayEvents[K]];
};

但在listener函数参数处，TypeScript提示错误：Argument of type '[number, ...GatewayEvents[K]]' is not assignable to parameter of type 'ShardedGatewayEvents[K]'。

逻辑上代码应该能正常运行，但找不到解决方法。

这个错误源于TypeScript在泛型约束下无法自动识别[number, ...GatewayEvents[K]]与ShardedGatewayEvents[K]的等价性，以下两种方案可以解决：

方案一：使用类型断言 #

直接通过类型断言告诉TypeScript参数类型是兼容的：

shard.on(eventName, (...args) => {
  listener(...[Number(shardID), ...args] as ShardedGatewayEvents[K]);
});

方案二：调整泛型参数约束 #

将on方法的泛型参数K绑定到GatewayEvents的键上，让类型推导更明确：

on<K extends keyof GatewayEvents>(
  eventName: K,
  listener: (...args: ShardedGatewayEvents[K]) => void,
): this {
  Object.entries(this.shards).forEach(([shardID, shard]) => {
    shard.on(eventName, (...args) => {
      listener(Number(shardID), ...args);
    });
  });
  return this;
}

修改后，TypeScript能清晰识别ShardedGatewayEvents[K]的结构，错误会自动消失。

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