Python类属性继承类型标注及PyCharm linter警告问题咨询

你的代码运行逻辑完全正确，该警告属于静态类型推导的局限性导致的误报，不存在实际运行问题。
父类M的__init__方法中仅将self.c的类型标记为C，静态检查工具只会基于显式声明的类型做校验，不会默认推导子类传入的是C的子类实例，因此会认为self.c只有C类定义的方法，找不到C1独有的c1_fun方法。该警告不影响实际运行，本质是现有类型标注的信息不足以支撑静态推导，并非代码逻辑有错误。

你提到的泛型（Generic）是最符合规范的最佳实践，通过将父类定义为接受C及其子类类型的泛型类，即可补全静态推导需要的类型信息，修改后的代码如下：

from typing import Type, Generic, TypeVar

# 定义类型变量，上限为C类，仅允许传入C及其子类
T = TypeVar('T', bound=C)


class C:
    @staticmethod
    def c_fun():
        return 23


class C1(C):
    @staticmethod
    def c1_fun():
        return 42


# 父类声明为泛型类，绑定类型变量T
class M(Generic[T]):
    def __init__(self, c: Type[T]):
        self.c: T = c()  # 标注self.c的类型为T，跟随传入的类动态变化


# 子类继承时指定具体的泛型类型为C1
class M1(M[C1]):
    def __init__(self, c: Type[C1]):
        super().__init__(c=c)

    def m1_fun(self):
        print(self.c.c1_fun())  # 静态检查工具可正确识别self.c为C1类型，无警告

    def show_type(self):
        print(type(self.c))


M1(c=C1).m1_fun()  # Output: 42
M1(c=C1).show_type()  # Output: <class '__main__.C1'>

该方案完全没有重复执行实例化逻辑，仅通过类型标注补全了信息，符合Python类型标注规范，所有主流静态检查工具（PyCharm内置linter、mypy等）都能正确识别。

如果场景简单不想引入泛型，也可以选择两种轻量解决方案：

• 显式类型断言：在M1访问self.c前加一行assert isinstance(self.c, C1)，静态检查工具会自动识别后续self.c的类型为C1
• 子类属性覆盖标注：直接在M1类内加一行c: C1，相当于覆盖父类的属性类型声明，无需修改初始化逻辑

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