如何构建含公共属性类型信息的超类以实现类型提示与静态分析？

这是个很常见的类型提示需求，我来给你一步步拆解如何实现，既让IDE能给出精准的代码提示，又能兼容mypy这类静态分析工具。

基础实现：普通基类方案 #

首先我们定义一个包含公共属性的Animal基类，把Person和Pet共有的name、age属性的类型标注清楚，然后让两个子类继承它：

# Python 3.9+ 可直接使用内置类型，无需导入typing
class Animal:
    # 明确标注公共属性的类型
    name: str
    age: int

    def __init__(self, name: str, age: int):
        self.name = name
        self.age = age

class Person(Animal):
    # 添加子类专属属性的类型标注
    income: float

    def __init__(self, name: str, age: int, income: float):
        # 调用父类构造函数初始化公共属性
        super().__init__(name, age)
        self.income = income

class Pet(Animal):
    def __init__(self, name: str, age: int):
        # 直接复用父类的初始化逻辑
        super().__init__(name, age)

# 测试类型提示的函数
def f(x: Animal) -> None:
    # 此时IDE会提示x.name是str类型，自动补全upper()等字符串方法
    print(x.name.upper())
    # x.age会被识别为int类型，支持数值运算提示
    print(x.age + 1)

为什么这样有效？ #

• IDE（比如PyCharm、VS Code）会读取基类Animal的类型标注，当你在函数f中使用x: Animal时，会自动推导x.name是str、x.age是int，从而给出对应的代码提示。
• mypy会识别继承关系，静态检查传入f的参数是否是Animal的子类，以及属性的类型是否符合预期（比如如果给age传字符串，mypy会直接抛出类型错误）。

进阶实现：抽象基类（可选） #

如果Animal只是个抽象概念，不想让它被直接实例化，可以用Python的abc模块创建抽象基类，同时还能强制子类实现特定方法（比如统一的行为接口）：

from abc import ABC, abstractmethod

class Animal(ABC):
    name: str
    age: int

    def __init__(self, name: str, age: int):
        self.name = name
        self.age = age

    # 定义抽象方法，强制子类必须实现
    @abstractmethod
    def make_sound(self) -> str:
        pass

class Person(Animal):
    income: float

    def __init__(self, name: str, age: int, income: float):
        super().__init__(name, age)
        self.income = income

    # 必须实现父类的抽象方法
    def make_sound(self) -> str:
        return "Hello there!"

class Pet(Animal):
    def __init__(self, name: str, age: int):
        super().__init__(name, age)

    def make_sound(self) -> str:
        return "Woof!"

这个方案的优势： #

• 避免直接实例化Animal（尝试Animal("test", 10)会直接报错），更符合语义。
• 如果子类没有实现抽象方法make_sound，Python在实例化子类时会抛出错误，保证了子类接口的一致性。

关键注意事项 #

• 如果你使用Python 3.8及以下版本，需要从typing模块导入str、int等类型（比如from typing import str, int）；3.9+版本直接用内置类型即可。
• 确保子类的__init__方法调用了super().__init__()，这样公共属性会被正确初始化，类型信息也能被正确继承。

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