Python类型没有得到强制执行

Question

我正在测试 ^Python3.6 的打字功能，但它似乎什么也没做，我可以做到这一点而不会出错：

my_var: int = 0
my_var = 'str'
# no error

def ret_var(my_var: int) -> int:
    return my_var
ret_var(my_var)
# also no error

我怎样才能得到这个抛出一个异常或至少一个警告？

Answer 1

类型注释本身并没有做任何事情来强制类型，它们所做的只是准备您的代码以供类型检查器（例如 Mypy）评估，同时允许以编程方式读取函数注释以用于更智能的装饰器之类的东西。

如果出于某种原因你想在不使用类型检查器的情况下开始强制类型，你可以装饰你的函数。我在github 上有一个这样的装饰器，除了标准注释外，它还支持Union[]、Optional[] 和Any：

用法：

from type_enforcer import enforce_types


@enforce_types
def foo(x: int, y: float) -> int:
    return int(x * y)

>>> try:
>>>     foo(5, 2.0)
>>> except TypeError as e:
>>>     print(str(e))
10

>>> try:
>>>     foo(5, 2)
>>> except TypeError as e:
>>>     print(str(e))
Argument y supplied wrong type: expected float, got int.