如何解决mypy执行算术运算类型校验时未识别前置非空判断的问题

mypy 无法推导 input_values 字典的取值和 self.a、self.b 实例属性的关联关系，因此你通过字典做的非空校验无法被 mypy 识别，它仍然会认为 self.b 可能为 None。

• 方案1：直接校验实例属性（最推荐，无额外开销，逻辑最清晰）
  直接修改校验逻辑，绕过字典中转，mypy 可直接识别实例属性的非空判断：

@property
def test_property(self) -> float:
    if self.a is None or self.b is None:
        raise KeyError('missing values')
    return self.a + self.b

• 方案2：添加 assert 断言收窄类型
  如果不想修改原有校验逻辑，可以在校验后添加断言明确告知 mypy 属性非空：

@property
def test_property(self) -> float:
    if None in self.input_values.values():
        raise KeyError('missing values')
    assert self.a is not None
    assert self.b is not None
    return self.a + self.b

• 方案3：使用 typing.cast 强制声明类型
  如果确定运行时属性一定非空，可以用 cast 直接强制指定类型，不会产生运行时代码开销：
  首先从 typing 导入 cast：

from typing import Optional, Union, Dict, cast

修改运算逻辑：

@property
def test_property(self) -> float:
    if None in self.input_values.values():
        raise KeyError('missing values')
    return cast(float, self.a) + cast(float, self.b)

• 方案4：单行注释标记忽略检查（最不推荐，仅临时调试用）
  在报错行末尾添加 # type: ignore[operator] 直接跳过该行的类型检查，不建议长期使用，会屏蔽其他真实类型错误：

return self.a + self.b  # type: ignore[operator]

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