Linter检测子类实例变量为另一子类实例时报错问题咨询

问题1：这是否是Linter本身的问题？ #

不是。静态类型检查器的逻辑是按照你标注的类型做校验：你在父类SuperClass中已经将sub_class_variable的类型标注为SuperClassVariable，检查器默认只会识别该父类中存在的属性，不会自动推断子类中传入的实际是子类实例，报错属于静态类型检查的正常逻辑，不是工具本身的bug。

问题2：有没有办法可以消除该Linter报错？ #

最优方案是用泛型定义父类，让类型检查器可以识别不同子类对应的变量类型，修改后代码如下：

from abc import ABC
from typing import TypeVar, Generic

class SuperClassVariable(ABC):
    def __init__(self, shared_value: str):
        self.shared_value = shared_value

# 定义绑定了父类的类型变量
T = TypeVar('T', bound=SuperClassVariable)

class SubClassVariable1(SuperClassVariable):
    def __init__(self, shared_value: str, sub_class_value_1: str):
        super().__init__(shared_value=shared_value)
        self.sub_class_value_1 = sub_class_value_1


class SubClassVariable2(SuperClassVariable):
    def __init__(self, shared_value: str, sub_class_value_2: str):
        super().__init__(shared_value=shared_value)
        self.sub_class_value_2 = sub_class_value_2


# 父类改为继承泛型基类
class SuperClass(ABC, Generic[T]):
    def __init__(self, sub_class_variable: T):
        self.sub_class_variable = sub_class_variable


# 子类继承时指定具体的变量类型
class SubClass1(SuperClass[SubClassVariable1]):
    def __init__(self, sub_class_variable: SubClassVariable1):
        super().__init__(sub_class_variable=sub_class_variable)


class SubClass2(SuperClass[SubClassVariable2]):
    def __init__(self, sub_class_variable: SubClassVariable2):
        super().__init__(sub_class_variable=sub_class_variable)

修改后访问sub_class_1.sub_class_variable.sub_class_value_1这类属性时，类型检查器就能正确识别属性，不会再报错。
如果不想改类结构，也可以用临时方案：访问属性前用typing.cast做强制类型转换，或者在子类中重新标注sub_class_variable的类型，不过这两种方案的可维护性都不如泛型方案。

问题3：该写法是否属于不良设计/实践，是否需要优化？ #

原写法逻辑上可以正常运行，但是不符合静态类型安全的规范：子类实际依赖的是子类变量的独有属性，但父类的类型注解没有体现这种差异，后续维护时如果有人误修改父类的入参逻辑，很容易引入运行时错误。
建议用上面的泛型方案优化，既保留了原有的继承复用逻辑，也满足了类型安全要求，属于Python面向对象编程的标准最佳实践。

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