TypeScript泛型作类型索引时handle参数被错误推导为any

这是TypeScript的既定设计行为，并非类型推导bug：
当类通过implements实现带泛型参数的接口时，TypeScript不会根据传入接口的泛型实参，反向推导类内部方法的参数类型。类的成员类型推导是独立完成的，推导结束后才会和接口定义做兼容性校验。如果方法参数省略类型标注，在未开启noImplicitAny时会默认被推导为any，开启该选项后会直接抛出隐式any的类型错误。
对应复现代码中，DummyHandler实现EventHandler<'test'>时，handle方法的event参数没有显式标注类型，因此不会自动收窄为{ hello: number }，而是落到any类型。

• 显式标注实现类方法的参数类型
  这是最直接、无额外抽象成本的写法，适合单个固定事件处理器的场景：

  class DummyHandler implements EventHandler<'test'> {
    getName() { return '' }
  
    async handle(event: { hello: number }) {
      // event类型正确为 { hello: number }
    }
  }
  

• 将实现类定义为泛型类
  如果需要复用处理器逻辑，可以给类也加上匹配的泛型约束，实例化时再传入具体事件类型，类内部可以直接复用索引访问类型：

  class BaseHandler<E extends keyof Events> implements EventHandler<E> {
    getName() { return '' }
  
    async handle(event: Events[E]) {
      // 类内部event自动匹配Events[E]类型
    }
  }
  
  // 实例化时指定具体事件类型，使用时参数自动收窄
  const testHandler = new BaseHandler<'test'>();
  

• 开启noImplicitAny编译选项
  开启后TS会在所有省略类型、隐式推导为any的位置抛出错误，从编译层面避免漏写类型导致的类型安全问题。

注意：implements子句的作用仅为校验类的结构是否符合接口契约，不会为类的内部成员提供类型推导上下文，不要依赖接口定义自动推导实现类的成员类型。

内容的提问来源于stack exchange，提问作者elad.chen