如何编写可被mypy接受的含Optional类型注解的类成员变量代码？

问题场景 #

类中初始化一个后续才赋值的成员变量，类型标注为Optional[RemainingTimeCalculator]：

self._remaining_time_calculator: Optional[RemainingTimeCalculator] = None

获取用户输入后完成实例创建：

self._remaining_time_calculator = RemainingTimeCalculator(
    type=Type1,
    some_value_which_is_used_in_calculation=10.0
)

后续更新属性时，Mypy报错：

Mypy: Item "None" of "Optional[RemainingTimeCalculator]" has no attribute "some_value_which_is_used_in_calculation" [union-attr]

由于Mypy是静态分析工具，无法识别变量在访问前已被赋值，可通过以下几种方式解决：

解决方法 #

1. 使用类型断言 #

通过assert明确告诉Mypy变量此时不为None，同时运行时会做校验：

assert self._remaining_time_calculator is not None
self._remaining_time_calculator.some_value_which_is_used_in_calculation = 20.0

如果运行时变量仍为None，会抛出AssertionError，提前暴露问题。

2. 类型缩小（条件判断） #

通过if判断变量是否为None，Mypy会自动缩小分支内的变量类型：

if self._remaining_time_calculator is not None:
    self._remaining_time_calculator.some_value_which_is_used_in_calculation = 20.0

这种方式更安全，不会触发运行时错误，适合无法确保变量一定被赋值的场景。

3. 调整初始化逻辑（推荐） #

如果能通过逻辑保证变量首次访问时已完成初始化，可以改用@property延迟加载，对外暴露非Optional类型：

class YourClass:
    def __init__(self):
        self._remaining_time_calculator: Optional[RemainingTimeCalculator] = None
        # 假设用户输入已在初始化时处理或存储
        self._user_input_type = Type1
        self._user_input_value = 10.0

    @property
    def remaining_time_calculator(self) -> RemainingTimeCalculator:
        if self._remaining_time_calculator is None:
            self._remaining_time_calculator = RemainingTimeCalculator(
                type=self._user_input_type,
                some_value_which_is_used_in_calculation=self._user_input_value
            )
        return self._remaining_time_calculator

后续访问属性时直接使用：

self.remaining_time_calculator.some_value_which_is_used_in_calculation = 20.0

Mypy会认可remaining_time_calculator属性返回的是确定的RemainingTimeCalculator类型。

4. 忽略Mypy检查（不推荐） #

如果确定逻辑无问题且不想修改代码，可以添加注释跳过报错：

self._remaining_time_calculator.some_value_which_is_used_in_calculation = 20.0  # type: ignore[union-attr]

这种方式会关闭该位置的类型检查，可能隐藏潜在的None访问风险，仅作为临时方案使用。

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