python - 确定对象的类型是否与通过类型模块定义的嵌套类型匹配

Question

使用typing模块，可以指定任意嵌套类型，例如List[str]或Dict[str, Dict[str, float]]。有没有办法确定对象的类型是否与这种类型匹配？类似的东西

>>> from typing import List
>>> isinstance(['a', 'b'], List[str])
# Traceback (most recent call last):
#   File "<stdin>", line 1, in <module>
#   File "/home/cbieganek/anaconda3/lib/python3.6/typing.py", line 1162, in __instancecheck__
#     return issubclass(instance.__class__, self)
#   File "/home/cbieganek/anaconda3/lib/python3.6/typing.py", line 1148, in __subclasscheck__
#     raise TypeError("Parameterized generics cannot be used with class "
# TypeError: Parameterized generics cannot be used with class or instance checks

我真的没想到会isinstance()为此工作，但我想知道是否有其他可接受的方式来做这件事。

Answer 1

泛型作为类型提示的一部分出现在 python 中。使用List[str]的便捷方式是变量或函数参数的类型提示：

my_list: List[str] = ['1', '2']

或者

def do_something(strings: List[str])->None:
    ...

大多数现代 IDE，如 PyCharm 或 Athom 都有支持 Python 代码静态类型检查的插件，也可以查看mypy。如果需要严格的运行时类型检查，可以迭代列表并检查每个项目类型，但这不是一个好的设计。