Python继承场景下变量类型提示的正确Pythonic写法咨询

PyCharm抛出Unresolved attribute reference '_var1' for class 'Main'提示，核心是代码存在两处不规范实现：

• 父类Main的__init__方法中，仅对_var1添加了Union[A, B]类型注解，没有做实际赋值。Python的类型注解仅用于静态检查提示，不会真正创建实例属性，静态检查工具扫描父类定义时找不到_var1的实际初始化逻辑，就会判定属性不存在。MyPy未报错是因为它对未赋值的类型注解容忍度更高，不代表写法符合规范。
• 子类调用父类构造的逻辑存在问题：先在子类中给self._var1赋值再调用父类构造属于顺序颠倒，同时硬编码父类名Main.__init__(self)的写法可维护性差，不符合Python面向对象最佳实践。
  另外你贴出的代码中set_values方法的文档字符串缩进错误，属于语法问题，运行时会直接报错，需要修正缩进。

方案1：调整继承初始化逻辑（最贴合现有代码结构） #

把属性初始化的逻辑收敛到父类构造中，子类通过super()调用父类构造时传入对应实现类的实例即可，从根源解决静态检查报错问题：

from typing import Union
from my_package import A, B

class Main:
    def __init__(self, var_impl: Union[A, B]) -> None:
        """基类构造，接收具体实现实例初始化私有属性"""
        self._var1 = var_impl
    
    def set_values(self, value: str) -> None:
        """设置值，统一调用实现类的公共方法"""
        self._var1.function_caller(value)

class First(Main):
    def __init__(self) -> None:
        """传入A类实例调用父类初始化"""
        super().__init__(A())

class Second(Main):
    def __init__(self) -> None:
        """传入B类实例调用父类初始化"""
        super().__init__(B())

主程序逻辑仅需修正导入写法即可正常运行，MyPy、PyCharm均不会报类型或属性错误：

from first import First
from second import Second

my_class = First() if arg['value'] == 'first' else Second()
my_class.set_values('test')

方案2：用Protocol做结构化类型约束（更灵活的Pythonic写法） #

如果A、B两个类仅需要实现function_caller方法，不需要强绑定继承关系，可以用typing.Protocol定义接口约束，耦合度更低：

from typing import Protocol

# 定义接口协议：只要实现了匹配签名的function_caller方法，就符合类型要求
class VarImpl(Protocol):
    def function_caller(self, value: str) -> None:
        ...

class Main:
    _var1: VarImpl
    def set_values(self, value: str) -> None:
        self._var1.function_caller(value)

class First(Main):
    def __init__(self) -> None:
        self._var1 = A()

class Second(Main):
    def __init__(self) -> None:
        self._var1 = B()

这种写法下静态检查工具会自动校验子类中_var1的实例是否符合协议要求，既保留原有代码的结构习惯，也不会出现属性未解析的提示。

• 子类重写__init__方法时，优先用super()调用父类构造，不要硬编码父类名，后续修改继承关系时不需要同步修改构造调用代码。
• 调用父类构造的顺序要符合逻辑：除非明确知道父类构造的实现逻辑，否则优先在子类__init__的第一行调用super().__init__()，避免父类初始化逻辑覆盖子类赋值。
• 如果基类仅用于定义接口、不需要直接实例化，也可以用abc.ABC搭配抽象方法做接口约束，适合强类型校验的场景。

内容的提问来源于stack exchange，提问作者P. Solar