TypeScript类实现接口时，类方法为何无法从接口推断参数类型

type MyFunction<T> = (req: string, res: number) => T;

interface ITest {
  store: MyFunction<void>;
}

class Test implements ITest {
  store(req, res) { // req、res被推断为隐式any类型
      req.codePointAt()
      res.toFixed()
  }
}

这是TypeScript的固有设计限制，implements关键字的作用仅为校验类的最终结构是否符合接口约束，不会将接口定义的类型反向注入到类的成员定义中，因此无法自动推导出类方法的参数类型。
你的示例中，TS只会在Test类整体定义完成后，检查store方法的最终类型是否匹配ITest的要求，不会在你定义store方法时提前给出参数类型提示，开启noImplicitAny编译选项时还会直接抛出隐式any的错误。

你可以采用以下任意一种方式规避这个问题：

• 直接为类方法的参数标注对应类型

class Test implements ITest {
  store(req: string, res: number) {
      req.codePointAt()
      res.toFixed()
  }
}

• 将方法定义为类属性，复用接口中已声明的类型触发上下文推断

class Test implements ITest {
  store: ITest['store'] = (req, res) => {
      req.codePointAt()
      res.toFixed()
  }
}

• 若使用TS 4.9及以上版本，也可借助satisfies运算符实现自动推导

const Test = class {
  store(req, res) {
      req.codePointAt()
      res.toFixed()
  }
} satisfies { new(): ITest };

内容的提问来源于stack exchange，提问作者Hiran Júnior