我注意到Python 3.5和Python 3.6增加了很多关于静态类型检查的功能，所以我尝试了以下代码（在python 3.6稳定版本中）。
from typing import List
a: List[str] = []
a.append('a')
a.append(1)
print(a)
a: List[str]），而不是在mypy中使用注释风格（如 # type: List[str]）。我很好奇在本地python 3.6中是否有开关可以实现我上面说的两点。mypy进行类型检查（并且PyCharm的内置检查器也应该可以）。除此之外，mypy还不会限制您仅使用类型注释# type List[str]，您可以像在Python 3.6中那样使用变量注释，因此a: List[str]同样适用。mypy需要安装typed_ast，并使用--fast-parser和--python-version 3.6来执行mypy，正如mypy文档中所述。这可能很快就会改变，但现在您需要它们才能使其顺利运行。--fast-parser和--python-version 3.6。a: List[str]的第二个操作的不兼容性。假设您的文件名为tp_check.py，其中包含以下语句：from typing import List
a: List[str] = []
a.append('a')
a.append(1)
print(a)
使用上述参数运行mypy（您必须先pip install -U typed_ast）：
python -m mypy --fast-parser --python-version 3.6 tp_check.py
捕获错误：
tp_check.py:5: error: Argument 1 to "append" of "list" has incompatible type "int"; expected "str"
正如许多其他关于使用Python进行类型提示的答案所指出的那样，mypy和PyCharm的类型检查器是执行验证的工具，而不是Python本身。目前Python并未使用此信息，它只将其存储为元数据，并在执行期间忽略它。
pydantic 包提供了一个 validate_arguments 装饰器，可以在运行时检查类型提示。您可以将此装饰器添加到所有需要强制执行类型提示的函数或方法中。
我编写了一些代码来帮助自动化整个模块的这个过程，以便我可以启用运行时检查来帮助调试我的测试套件，但是对于使用该库的代码，则关闭它们以避免性能影响。
import sys
import inspect
import types
from pydantic import validate_arguments
class ConfigAllowArbitraryTypes:
"""allows for custom classes to be used in type hints"""
arbitrary_types_allowed = True
def add_runtime_type_checks(module):
"""adds runtime typing checks to the given module/class"""
if isinstance(module, str):
module = sys.modules[module]
for attr in module.__dict__:
obj = getattr(module, attr)
if isinstance(obj, types.FunctionType):
setattr(module, attr, validate_arguments(obj, config=ConfigAllowArbitraryTypes))
elif inspect.isclass(obj):
# recursively add decorator to class methods
add_runtime_type_checks(obj)
add_runtime_type_checks并提供模块名称来添加装饰器。import mymodule
def setup_module(module):
"""executes once"""
add_runtime_type_checks('mymodule')
def test_behavior():
...
pydantic进行类型检查时可能会进行一些意外的转换，因此如果期望的类型是int，而您传递了函数0.2，它将悄悄地将其转换为0而不是失败。原则上，您可以使用typen库的enforce_type_hints装饰器几乎做同样的事情，但它不进行递归检查（因此您不能使用像list[int]这样的类型，只能使用list）。type_enforced支持嵌套类型检查。pip install type_enforced
import type_enforced
from typing import List
@type_enforced.Enforcer
def my_fn(a:List[str]):
a.append('a')
a=[]
b={}
my_fn(a)
my_fn(a)
print(a) # => ['a','a']
my_fn(b) # Raises error - see below
输出：
['a', 'a']
Traceback (most recent call last):
File "/Users/conmak/development/personal/type_enforced/test.py", line 13, in <module>
my_fn(b) # Raises error
^^^^^^^^
File "/Users/conmak/development/personal/type_enforced/type_enforced/enforcer.py", line 171, in __call__
self.__check_type__(assigned_vars.get(key), value, key)
File "/Users/conmak/development/personal/type_enforced/type_enforced/enforcer.py", line 188, in __check_type__
self.__exception__(
File "/Users/conmak/development/personal/type_enforced/type_enforced/enforcer.py", line 129, in __exception__
raise TypeError(f"({self.__fn__.__qualname__}): {message}")
TypeError: (my_fn): Type mismatch for typed variable `a`. Expected one of the following `[<class 'list'>]` but got `<class 'dict'>` instead.