Python 类型检查未按预期工作

Question

我确定我在这里遗漏了一些明显的东西，但为什么以下脚本实际上有效？

import enum
import typing

class States(enum.Enum):
    a = 1
    b = 2

states = typing.NewType('states', States)

def f(x: states) -> states:
    return x

print(
    f(States.b),
    f(3)
)

据我所知，它应该在调用 f(3) 时失败，但事实并非如此。有人可以阐明这种行为吗？

Answer 1

Python 本身不执行任何检查。这在 "Non- Goals" section 中指定PEP 484 的。执行时(即在运行时期间)，Python 完全忽略您提供的注释并像往常一样动态评估您的语句。

如果你需要类型检查，你应该自己执行。这目前可以通过静态类型检查工具执行，例如 mypy .