输入类型是否有规范的“isinstance”实现？

Question

您不能在isinstance 检查中使用typing 之类的Dict[str, int] 类型：

Python 3.7.6 (default, Dec 30 2019, 19:38:28)
Type 'copyright', 'credits' or 'license' for more information
IPython 7.12.0 -- An enhanced Interactive Python. Type '?' for help.

In [1]: from typing import Dict

In [2]: myvar = {"a": 1}

In [3]: isinstance(myvar, Dict[str, int])
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
<ipython-input-3-a8fee57141ae> in <module>
----> 1 isinstance(myvar, Dict[str, int])

但是，任何进行类型检查的库都需要能够执行类似于isinstance(myvar, Dict[str, int]) 的操作（...我意识到它应该被称为与isinstance 不同的名称，这不是完全相同的东西）

我觉得打字的等效功能必须存在于某个地方，也许在mypy项目中？ （但是里面有很多复杂的代码，我暂时没找到）

除了 mypy 之外还有很多需要这个的项目，例如 pydantic 和 AFAICT 之类的库，它们都有复杂的手动实现，并且似乎有很多边缘案例（或者只是......“案例”）必须列举和覆盖。这会导致错误/有限的类型识别，例如https://github.com/bloomberg/attrs-strict/issues/27

似乎需要对这个功能进行规范的实现。是否已经存在于我没有找到的某个地方？

我给你一个来自 Python 标准库的激励示例：

https://docs.python.org/3/library/functools.html#functools.singledispatch

对于带有类型注解的函数，装饰器会自动推断第一个参数的类型：

>>> @fun.register
... def _(arg: int, verbose=False):
...     if verbose:
...         print("Strength in numbers, eh?", end=" ")
...     print(arg)
...
>>> @fun.register
... def _(arg: list, verbose=False):
...     if verbose:
...         print("Enumerate this:")
...     for i, elem in enumerate(arg):
...         print(i, elem)

嗯，这很酷。但这是作弊，因为这些天我们通常不会使用 list 内置注释第二个函数，而是使用 List[str]... 之类的东西，这是行不通的，因为 singledispatch 只是在做一个幼稚的 @987654337 @检查，这无法处理键入泛型。所以singledispatch 并不像它声称的那样真正支持通过类型注释进行调度。

Answer 1

不，没有这种规范的检查。正如评论者所说，为静态类型检查引入了类型，我认为许多核心开发人员认为它应该保持这种状态。

我能想到的最接近的是 pydantic 的parse_obj_as。不同之处在于它会尝试将对象强制转换为特定类型，如果失败则会引发错误，但它非常接近。

用法：

from pydantic import parse_obj_as
from typing import Dict

parse_obj_as(Dict[str, int], {'xxx': 1, 'yyy': 2})
#> {'xxx': 1, 'yyy': 2}

parse_obj_as(Dict[str, int], {'xxx': 1, 123: '12'})
#> {'xxx': 1, '123': 12}

parse_obj_as(Dict[str, int], ['not a dict'])
#> ValidationError: 1 validation error for ParsingModel[Dict[str, int]]
#> __root__
#>   value is not a valid dict (type=type_error.dict)

文档here.

注意：我构建了pydantic，所以我有点偏见。