Python类型提示：子类修改成员类型触发mypy报错，需调整实现吗？

我写了下面这段Python代码：

class A:
    def __init__(self, a: int) -> None:
        self.a: int = a
class B(A):
    def __init__(self, a: float) -> None:
        self.a: float = a

运行Mypy检查时出现了错误：

typehintancestor.py:8: error: Incompatible types in assignment (expression has type "float", variable has type "int")

这里的第8行是子类B的self.a: float = a这一行。想请教下，这是Mypy的缺陷，还是我需要调整类B的实现方式？

这可不是Mypy的缺陷哦，它是在严格遵循里氏替换原则和静态类型检查的核心规则——子类应该能被安全地替换成父类来使用，如果子类把父类的属性类型从int改成float，就会破坏这种替换性：比如当你把一个B实例当成A来用的时候，调用方会预期a是int类型，但实际却是float，这就可能引发意料之外的类型错误。

你可以通过以下几种合理的方式调整实现：

• 使用泛型类（推荐方案）
  让父类支持泛型，这样子类可以指定具体的类型，既保留继承关系，又能保证类型安全：

  from typing import TypeVar, Generic
  
  T = TypeVar('T', int, float)
  
  class A(Generic[T]):
      def __init__(self, a: T) -> None:
          self.a: T = a
  
  class B(A[float]):
      def __init__(self, a: float) -> None:
          super().__init__(a)
  

  这样Mypy就能正确识别两个类中a的类型，不会再抛出错误。

• 新增子类专属属性（如果逻辑允许）
  如果你不需要子类完全继承父类的属性语义，可以给子类新增一个独立属性，比如b: float，而不是覆盖父类的a：

  class A:
      def __init__(self, a: int) -> None:
          self.a: int = a
  
  class B(A):
      def __init__(self, a: float) -> None:
          super().__init__(int(a))  # 可根据实际需求处理父类的a属性
          self.b: float = a
  

• 使用类型转换（不推荐，仅特殊场景）
  如果你确定这种类型覆盖是业务逻辑允许的、不会引发问题，可以用cast来告诉Mypy忽略类型检查，但这会绕过静态类型的保护，可能隐藏潜在风险：

  from typing import cast
  
  class A:
      def __init__(self, a: int) -> None:
          self.a: int = a
  
  class B(A):
      def __init__(self, a: float) -> None:
          self.a = cast(int, a)
  

总的来说，泛型是最优雅且符合类型系统规则的解决方案，能在保留继承关系的同时保证类型安全。

内容的提问来源于stack exchange，提问作者Torstein I. Bø