为什么TypeScript允许具体类以更窄参数类型实现抽象类方法？

这本质是TypeScript对**方法参数的双向协变（bivariance）**规则导致的，默认情况下它和独立函数的参数处理逻辑不一样：

• 方法与独立函数的参数差异：TypeScript里，类的方法参数默认是双向协变的——既允许用比父类方法更宽的参数类型，也允许用更窄的。而独立函数的参数是逆变的（只能用更宽或相等的类型，不能缩窄）。你代码里的yy是类的方法，所以TypeScript允许用Y（比X更窄）来实现父类的X参数。

• 双向协变的初衷：这个设计是为了兼容JavaScript生态里大量的继承场景——很多JS库的子类方法会随意调整参数类型，TypeScript默认开启双向协变是为了不破坏这些既有代码的编译，但代价就是牺牲了部分类型安全性，就像你遇到的情况：编译时不报错，但运行时传入{a:1}会因为访问x.b抛出undefined错误。

• 如何修复类型安全问题：如果你想严格控制参数类型，开启strictFunctionTypes编译选项。这个选项会让类的方法参数也遵循逆变规则，此时你的YY类实现会直接编译报错，提示Y类型不能赋值给X类型（因为逆变要求参数类型必须是父类参数的超类型或相等）。

开启strictFunctionTypes后的报错示例：

Property 'yy' in type 'YY' is not assignable to the same property in base type 'XX'.
  Type '(x: Y) => void' is not assignable to type '(x: X) => void'.
    Types of parameters 'x' and 'x' are incompatible.
      Type 'X' is not assignable to type 'Y'.
        Property 'b' is missing in type 'X' but required in type 'Y'.(2416)

这样就能在编译阶段拦截住这个类型不安全的实现，避免运行时错误。

内容的提问来源于stack exchange，提问作者Ricardo Baptista