为何TypeScript不强制实现接口的类遵循接口函数参数定义？

示例代码 #

interface ServiceI {
  execute(req: string): string;
}
class A implements ServiceI {
  execute() {
   return "12"
  }
}

为什么不触发报错？ #

这是TypeScript类型系统的设计规则——类实现接口时，方法的参数列表允许比接口定义的更短，核心原因是这种实现符合安全的子类型替换逻辑：

• 当你把A的实例赋值给ServiceI类型的变量时，调用execute会传入一个string参数，但A的execute只是忽略了该参数，这在JavaScript中本身就是合法行为，不会引发运行时错误。
• 接口的契约是"调用时传入string类型参数，会返回string类型值"，而A的execute无论是否接收参数，都能稳定返回string，完全满足接口的要求。

反过来，如果类的方法参数比接口定义的多，TypeScript就会报错——因为用接口类型调用时不会传入额外参数，类方法会收到undefined，这可能导致不可预期的问题。

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