TypeScript 能否通过 super 调用参数推断父类泛型类型参数

TypeScript 原生没有任何机制，可以通过子类构造函数里的super()入参反向推导父类的泛型参数。你遇到的报错本质是静态类型检查顺序导致的：

• 类的类型检查流程是严格自上而下的：首先处理extends后的父类类型，这一步如果发现父类是需要泛型参数的泛型类、且没有拿到有效实参，会直接抛出「缺少泛型参数」的错误，根本不会进入构造函数内部检查super('ready')的传参。
• TS 的泛型推断仅作用于显式的类型调用、函数入参匹配场景，不会穿透静态类型检查边界，去回溯构造函数里的运行时传参做泛型推导。

方案1：继承时显式传递泛型实参（最符合原生设计的写法） #

直接在extends子句中把事件对应的类型传给父类，配合构造函数传参做类型校验，是类继承场景下最稳定的写法：

class ReadyHandler extends EventHandler<'ready'> {
  public constructor() {
    super('ready'); // 如果传入的事件名和泛型指定的类型不匹配，TS会直接报错
  }
  public execute() {
    // 此处execute的参数会自动匹配ClientEvents['ready']的元组类型，实现精确类型约束
  }
}

这种写法完全匹配现有EventHandler类的设计语义，没有版本兼容问题。

方案2：工厂函数模式实现自动类型推断 #

如果希望减少手写泛型的重复工作，可以利用TS对函数参数的推断能力，把类的创建逻辑封装成工厂函数，实现「传入事件名自动推导E类型」的效果：

// 封装通用工厂，入参匹配后自动推导泛型E的类型
function defineEventHandler<E extends keyof ClientEvents>(
  eventName: E,
  execute: (...args: ClientEvents[E]) => void
) {
  return class extends EventHandler<E> {
    execute = execute;
  }
}

// 使用示例：无需手动写泛型，传参即可自动完成类型匹配
const ReadyHandler = defineEventHandler('ready', () => {
  // 无参数回调，匹配ready事件的参数元组
});

const WarnHandler = defineEventHandler('warn', (reason) => {
  // reason的类型会自动匹配ClientEvents['warn']的定义，无需手动标注
});

这种写法完全满足「通过传入的事件名推导关联类型」的需求，没有额外的类型开销。

不要为了消除「缺少泛型参数」的报错，给E设置无意义的默认值（比如写成E extends keyof ClientEvents = keyof ClientEvents）。这种写法虽然能让无泛型的子类通过继承检查，但会导致所有未指定泛型的子类丢失精确类型，execute方法的参数会退化成所有事件参数的联合类型，完全丧失泛型设计的校验价值。

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