如何解决mypy中类型明确却报不支持操作数类型的问题？

先看示例代码：

class MyClass:
    def __init__(self, optional_arg: float | None = None) -> None:
        self.optional_arg = optional_arg

        self._parse_args()

    def _parse_args(self) -> None:
        if self.optional_arg is None:
            self.optional_arg = 0.5

    def multiply(self) -> float:
        # mypy is complaining with the below statement:
        # error: Unsupported operand types for * ("float" and "None")  [operator]
        # Right operand is of type "Optional[float]"
        return 0.5 * self.optional_arg

当用optional_arg=None实例化该类时，_parse_args方法会将self.optional_arg设置为float类型，调用multiply时它必然是float，但mypy仍报错称该参数可能为None。以下是几种Pythonic的解决方式：

方法一：初始化时直接处理参数 #

把_parse_args的逻辑整合到__init__中，让mypy直接推断出变量的最终类型：

class MyClass:
    def __init__(self, optional_arg: float | None = None) -> None:
        self.optional_arg = optional_arg if optional_arg is not None else 0.5

    def multiply(self) -> float:
        return 0.5 * self.optional_arg  # mypy不再报错

这种方式最简洁，符合Python“显式优于隐式”的风格，mypy能清晰追踪到变量从初始化开始就确定为float类型。

方法二：使用断言或类型转换 #

如果需要保留_parse_args方法，可以通过断言在运行时和类型检查时同时确认变量类型：

def multiply(self) -> float:
    assert self.optional_arg is not None, "optional_arg必须被初始化为float类型"
    return 0.5 * self.optional_arg

或者用typing.cast仅给mypy提供类型提示（不影响运行逻辑）：

from typing import cast

def multiply(self) -> float:
    return 0.5 * cast(float, self.optional_arg)

方法三：显式标注实例变量类型 #

在类中直接给optional_arg标注最终类型为float，mypy会以此为准进行类型检查：

class MyClass:
    optional_arg: float  # 显式标注实例变量的最终类型

    def __init__(self, optional_arg: float | None = None) -> None:
        self.optional_arg = optional_arg
        self._parse_args()

    def _parse_args(self) -> None:
        if self.optional_arg is None:
            self.optional_arg = 0.5

    def multiply(self) -> float:
        return 0.5 * self.optional_arg  # mypy不再报错

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