Mypy 和海象运算符

问题描述

我使用的是 Python 3.8.5 和 mypy 0.790。

在此代码块上运行 mypy 将引发错误

# mypy_and_the_walrus.py 

z = "asd"

if (p := z):
    print('hello')  # error: invalid Syntax

运行程序没问题:

❯ python -i mypy_and_the_walrus.py         
hello
>>> p
'asd'

我一直无法弄清楚问题是什么。

注意:

我有一个 python 版本设置为 3.8 的 mypy.ini:

# mypy.ini

[mypy]

python_version = 3.8

这对我来说可能是愚蠢的, 但我一直无法找到解决方案。

我发现的唯一解决方案是:

第二个似乎有解决方案,但解决方案是 tha

解决方法

答案在第二个链接中:

Walrus operator fails with 'Syntax Error' #64

然而,答案不是很清楚:

看来我们需要在 Python 3.8 上运行 mypy 本身以支持 Python 3.8 中引入的语法。目前,我们使用 Python 3.7 在沙箱中运行 mypy。我将更新 Docker 映像以解决此问题。

解决办法:

❯ python3.8 -m mypy prac.py 
Success: no issues found in 1 source file