TypeScript中接口与基类方法的联合类型参数未触发类型检查？

这是个非常好的问题！你碰到的情况其实是TypeScript默认类型检查里的一个设计权衡点——方法参数的双向协变性。

先给你拆解核心原因：

• TypeScript对「类/接口中的方法」和「普通函数」的参数类型检查规则不一样。普通函数的参数默认遵循逆变规则（子类函数参数必须比父类更宽泛，才能保证兼容性），但为了兼容JavaScript里大量存在的代码模式（比如数组回调只用到部分参数），TypeScript默认给类/接口的方法开了绿灯，允许参数类型双向协变——也就是子类方法的参数既可以比父类宽，也可以比父类窄。

回到你的例子：
不管是实现BaseInterface的DerivedInterface，还是继承BaseClass的DerivedClass，子类把doStuff的参数从string | number收窄成string，在默认配置下TypeScript不会报错。但这会留下运行时隐患：当你用基类型（BaseInterface/BaseClass）引用子类实例，传入number类型的参数时，运行时会因为number没有indexOf方法而抛出错误。

那怎么让编译器检测到这个问题？
你只需要开启TypeScript的strictFunctionTypes编译选项就行。开启之后，TypeScript会对类/接口的方法也应用严格的逆变规则：子类方法的参数类型必须等于或者宽于父类的参数类型，这样才能保证子类方法能处理父类方法允许的所有输入。

开启这个选项后，你的代码会立刻触发编译错误，提示类型“string”的参数不能赋给类型“string | number”的参数，完美帮你提前发现这个运行时风险。

补充一句：为什么默认不开启这个选项？因为很多早期JavaScript项目迁移到TypeScript时，大量依赖“忽略回调参数”这类写法，严格检查会导致这些代码全报错，所以TypeScript团队选择了默认兼容现有代码，把严格检查的选择权交给开发者。

内容来源于stack exchange