TypeScript：添加第二个抽象方法为何影响派生类参数类型检查？

我遇到一个TypeScript的特殊行为：抽象类中第二个抽象方法的存在，会影响第一个方法参数的类型检查。以下是两个对比案例：

案例1（无错误） #

abstract class A {
  abstract method(a: A): void
  // abstract method2(a: B): (keyof this)[]  // 注释掉
}

class B extends A {
  b: number | undefined
  method2(a: B): (keyof this)[] {
    return []
  }
  method(a: B) {}
}

案例2（存在错误） #

abstract class A {
  abstract method(a: A): void
  abstract method2(a: B): (keyof this)[]  // 取消注释
}

class B extends A {
  b: number | undefined
  method2(a: B): (keyof this)[] {
    return []
  }
  method(a: B) {}  // 此处报错
}

案例2中的报错信息 #

Property 'method' in type 'B' is not assignable to the same property in base type 'A'.
Type '(a: B) => void' is not assignable to type '(a: A) => void'.
Types of parameters 'a' and 'a' are incompatible.
Property 'b' is missing in type 'A' but required in type 'B'.

两个案例仅有的区别是抽象类中是否保留method2的定义。这一现象的核心在于抽象类A中第二个抽象方法的定义改变了TypeScript对A的类型推断逻辑：

1. 案例1的宽松模式：当A只有method这一个抽象方法时，TypeScript会启用协变参数类型的宽松检查。由于B是A的子类，TypeScript允许B中的method用更具体的B类型替代父类的A类型——这是TypeScript为提升开发便利性提供的语法糖。

2. 案例2的严格模式：新增的method2使用了keyof this这种多态this类型，这会强制TypeScript将A视为具备多态性的抽象类，此时会严格遵循函数参数类型的逆变规则：父类方法的参数类型必须是子类方法参数类型的超集（即子类方法的参数不能比父类更具体）。

具体来说，keyof this要求A的子类必须保证method2的返回类型是自身属性的键集合，这触发了TypeScript对整个类的严格类型检查。此时B中的method用B作为参数类型就违反了逆变规则：父类A的method可以接受任何A类型的实例，而B的method只能接受B类型，无法处理其他A的子类实例，因此报错。

环境信息 #

• TypeScript版本：5.7.2
• tsconfig.json配置：

{
  "compilerOptions": {
    "target": "es2016",
    "lib": ["dom", "dom.iterable", "esnext"],
    "resolveJsonModule": true,
    "allowJs": true,
    "strict": true,
    "skipLibCheck": true,
    "jsx": "react",
    "declaration": true,
    "declarationDir": "types",
    "sourceMap": true,
    "outDir": "dist",
    "moduleResolution": "node",
    "allowSyntheticDefaultImports": true,
    "emitDeclarationOnly": true
  }
}

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