python - mypy 给出错误，类型不兼容 "Optional[int]"；预期“Union[SupportsFloat、str、bytes、bytearray]

Question

我在代码中运行 mypy 0710 版本时遇到错误。我制作了一个存在问题的小代码片段，但不确定为什么会出现此错误

a = None
version = 2
if version == 2:
    a = 10
    #print("asdfgh")

if float(a) == 10:
    print("erty")

当我在 mypy 中运行代码时出现错误

tests/test.py:8: 错误:“float”的参数 1 具有不兼容的类型“Optional[int]”；预期“Union[SupportsFloat、str、bytes、bytearray]”

任何帮助将不胜感激

Answer 1

这里的问题是 mypy 不明白你的 version 变量总是恰好是 2，因此不明白你的第一个 if 语句总是 运行。

如果第一个 if 语句仅有时运行，则意味着 a 有时永远不会被分配值 10，并将保持 None。这可能会导致稍后出现类型错误:float(None) 无效。

最简单的修复方法是删除不必要的 if-check:

a = None
version = 2
a = 10

if float(a) == 10:
    print("erty")

...或者添加一个“else”情况，如果 version 不等于 2，则将 a 设置为其他值:

a = None
version = 2
if version == 2:
    a = 10
else:
    a = 99

if float(a) == 10:
    print("erty")

...或者断言 a 将是 int 类型:

a = None
version = 2
if version == 2:
    a = 10

assert isinstance(a, int)

if float(a) == 10:
    print("erty")

我个人会推荐第一个解决方案的一些变体。