TypeScript实现接口时未检查方法参数的原因咨询

这其实是TypeScript里一个挺容易让人踩坑的设计细节，咱们掰开了说：

先看你第一个让人困惑的例子：

interface IFoo { 
  func(x: string | number): void 
} 
class Foo implements IFoo { 
  func(x: string) { x.toLowerCase() } 
} 
const foo: IFoo = new Foo() 
foo.func(3) // 运行时报错，但编译时没提示

TypeScript在检查类实现接口的方法时，采用了一个特殊的类型兼容规则——方法参数双向协变。简单说就是，类里的方法参数类型可以比接口定义的更窄（就像例子里把string | number缩成string），也可以更宽，TypeScript编译时不会拦着你。

为什么要这么设计呢？主要是为了兼容传统面向对象编程里的常见场景，比如子类重写父类方法时，有时候开发者会特意用更具体的参数类型来做针对性处理，TypeScript不想在这种场景下过度严格，避免不必要的编译错误。但这也带来了副作用，就像你例子里的情况：当你把类实例赋值给接口类型的变量后，调用方法传入接口允许的类型（比如number），就会在运行时炸锅，因为类的方法根本处理不了这个类型。

再看你第二个对比的例子：

// 两种定义方式等价
type IFunc = (x: string | number) => void 
interface IFunc { (x: string | number): void } 
const func: IFunc = (x: string) => x.toLowerCase() // 编译时报错，这才符合预期

这里为什么就报错了？因为这是函数类型的直接赋值，TypeScript对这种场景的检查是严格遵循参数逆变规则的：如果一个函数要赋值给某个函数类型，它的参数类型必须比目标类型更宽（或者说兼容），这样才能保证调用时传入的任何目标类型的参数，这个函数都能处理。你这里右边的函数只能处理string，却要赋值给能处理string|number的类型，TypeScript当然会直接报错，避免运行时问题。

总结一下就是：TypeScript对类的方法实现和独立函数的类型检查，用了两套不同的兼容规则，这就是为什么两个例子结果不一样的核心原因。

内容来源于stack exchange