Python中子类覆写父类方法的类型标注规范相关问题

所有规则的底层逻辑是里氏替换原则：所有能使用父类实例的场景，替换为子类实例后代码必须能正常运行，不会触发类型错误。
结合你给出的代码示例：

class Bsup:
  def foo(self, x: A) -> B:
     ...

class Asub (Bsup):
  def foo(self, x: X) -> Y:
    ...

参数类型标注规则 #

子类方法的对应参数类型X必须是父类参数类型A的超类（即逆变规则），不需要和父类完全一致。
举个实际例子：如果父类foo方法接受Cat类型参数，子类可以把参数类型设为Animal（Animal是Cat的父类），这种写法符合要求：原本父类可以接收所有Cat实例的调用，换成子类后接收范围更大，原有调用逻辑不会出错。
❌ 禁止把参数类型收窄：比如父类参数是A，子类参数设为A的子类，会导致原有父类可接收的合法参数在子类中不被支持，违反LSP，类型检查器会直接报错。
如果子类方法需要新增额外参数，必须给新增参数加默认值，或者用*args/**kwargs兼容父类的调用方式，否则也会触发类型错误。

返回值类型标注规则 #

子类方法的返回类型Y必须是父类返回类型B的子类（即协变规则），不需要和父类完全一致。
举个实际例子：如果父类foo方法返回Animal类型，子类可以把返回类型设为Cat（Cat是Animal的子类），这种写法符合要求：调用方按照父类签名拿到Animal类型的返回值，子类实际返回的Cat完全兼容Animal的所有属性方法。
❌ 禁止把返回类型放宽：比如父类返回B，子类返回B的父类，会导致调用方按照父类签名用到B特有属性时，实际返回值不存在对应属性，触发类型错误。 #

常见问题解答 #

子类方法类型定义和父类完全一致，还要单独声明类型吗？ #

不需要。主流Python类型检查器（mypy、pyright等）会自动继承父类方法的类型标注，如果你没有给子类方法写任何类型标注，会直接复用父类的签名。如果手动写了和父类完全一样的标注也不会报错，只是会产生冗余代码。 #

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