在Python 3.6中，在运行时根据联合类型检查变量

Question

我试图编写一个函数装饰器，它使用Python 3.6类型提示来检查参数字典是否尊重类型提示，如果没有清晰描述问题，则会产生错误，用于HTTP API。

问题是，当函数有一个使用Union类型的参数时，我无法在运行时对照它检查变量。

比如我有这个功能

from typing import Union
def bark(myname: str, descr: Union[int, str], mynum: int = 3) -> str:
    return descr + myname * mynum

我可以做到：

isinstance('Arnold', bark.__annotations__['myname'])

但不是：

isinstance(3, bark.__annotations__['descr'])

因为Union不能与is实例或issubclass一起使用。

我找不到使用type对象检查它的方法。我试图自己实现检查，但当吠叫时。__annotations__['desr']显示为键入。在REPL中的Union[int， str]我不能在运行时访问类型列表，如果不使用检查bark的丑陋黑客。__annotations__['desr']。__repr__（）。

是否有适当的方式访问此信息？还是故意让它在运行时不易访问？

Answer 1

MSeifert接受的现有答案(https://stackoverflow.com/a/45959000/7433423)不会将Unions与其他泛型类型区分开来，并且由于参数化Union类型上的isinstance（）和issubclass（）的行为，在运行时很难确定类型批注是Union还是其他泛型类型，如Mapping。

似乎泛型类型将具有一个未记录的__origin__属性，该属性将包含对用于创建它的原始泛型类型的引用。一旦您确认类型注释是参数化的Union，您就可以使用也未记录的__args__属性来获取类型参数。

>>> from typing import Union
>>> type_anno = Union[int, str]
>>> type_anno.__origin__ is Union
True
>>> isinstance(3, type_anno.__args__)
True
>>> isinstance('a', type_anno.__args__)
True

Answer 2

您可以使用Union的__args__属性，其中包含可能内容的元组：

>>> from typing import Union

>>> x = Union[int, str]
>>> x.__args__
(int, str)
>>> isinstance(3, x.__args__)
True
>>> isinstance('a', x.__args__)
True

\uuuu args\uuuu参数没有文档化，因此可以认为它“弄乱了实现细节”，但它似乎比解析repr更好。

Answer 3

在Python3.8及更高版本中，MSeifert和Richard Xia建议的方法可以通过不使用未记录的属性\uuuuuu origin\uuuu和\uuu args\uuu来改进。此功能由新函数键入提供。获取参数（tp）和键入。获取原点（tp）：

>> from typing import Union, get_origin, get_args
>> x = Union[int, str]
>> get_origin(x), get_args(x)
(typing.Union, (<class 'int'>, <class 'str'>))
>> get_origin(x) is Union
True
>> isinstance(3, get_args(x))
True
>> isinstance('a', get_args(x))
True
>> isinstance([], get_args(x))
False

附言：我知道这个问题是关于Python 3.6的（可能是因为这是当时最新的版本），但是当我作为Python 3.8用户搜索解决方案时，我来到了这里。我想其他人可能也有同样的情况，所以我认为在这里增加一个新的答案是有意义的。