使用TypeScript抽象类遇TypeError，编译器未检测方法签名差异

为什么TypeScript没有报错？ #

TypeScript默认对类的方法采用双向协变的类型检查规则，而非严格的函数参数逆变规则。这一设计是为了兼容类方法重载的常见场景，但也会导致你遇到的问题：

• 当类实现接口或继承抽象类时，方法的参数类型既可以是父类型参数的子类型（协变），也可以是超类型（逆变）。
• 你的TestImplementation中execute方法的参数{ word: string, age: number }是抽象类TestAbstract中execute参数{ word: string }的子类型，双向协变规则下TypeScript判定两者兼容，因此未触发编译报错。
• 但运行时，myfunc传入的对象仅包含word属性，p.age为undefined，调用toExponential()就会抛出TypeError。

解决方案 #

1. 启用严格函数类型检查 #

在tsconfig.json中添加strictFunctionTypes选项，强制类方法遵循严格的函数参数逆变规则，此时TypeScript会检测到参数类型不兼容并报错：

{
  "compilerOptions": {
    "target": "es2016",
    "module": "commonjs",
    "esModuleInterop": true,
    "forceConsistentCasingInFileNames": true,
    "strict": true,
    "strictFunctionTypes": true, // 新增该选项
    "skipLibCheck": true
  }
}

启用后，编译器会提示TestImplementation的execute方法参数不符合抽象类的定义——子类方法的参数类型必须是父类型参数的超类型（即可以接受父类型方法能处理的所有输入），而不是更严格的子类型。

2. 修正参数类型保证兼容性 #

如果需要TestImplementation兼容抽象类的调用场景，可将age设为可选属性，并在使用前做存在性判断：

abstract class TestAbstract {
  abstract execute(p: { word: string }): { name: string };
}

class TestImplementation extends TestAbstract {
  execute(p: {
    word: string,
    age?: number // 设为可选属性
  }): {
    name: string
    email: string
  } {
    console.log('TestImplementation - execute', p)
    if (p.age !== undefined) { // 先判断属性存在
      p.age.toExponential()
    }
    return {
      name: 'John Doe',
      email: ''
    }
  }
}

function myfunc (c: TestAbstract) {
  c.execute({ word: '000.000.000-00' })
}

myfunc(new TestImplementation()) // 运行正常

3. 限定调用时的参数类型 #

如果age必须是必填参数，那么需要调整myfunc的参数类型为具体实现类，确保调用时传入完整参数：

function myfunc (c: TestImplementation) {
  c.execute({ word: '000.000.000-00', age: 30 })
}

myfunc(new TestImplementation()) // 编译、运行均正常

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