Проверьте переменную на тип Union во время выполнения в Python 3.6

Вы можете использовать атрибут __args__ для Union, который содержит tuple "возможного содержимого:

>>> from typing import Union

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

Аргумент __args__ не задокументирован, поэтому его можно рассматривать как «вмешательство в детали реализации», но это кажется лучшим способом, чем разбор repr.

В Python 3.8 и более поздних версиях подход, предложенный MSeifert и Richard Xia можно улучшить, не используя недокументированные атрибуты __origin__ и __args__. Эта функциональность обеспечивается новыми функциями typing.get_args(tp) и typing.get_origin(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

P.S.: Я знаю, что вопрос касается Python 3.6 (вероятно, потому что это была самая новая версия на тот момент), но я попал сюда, когда искал решение как пользователь Python 3.8. Я предполагаю, что другие могут оказаться в такой же ситуации, поэтому я подумал, что добавление нового ответа здесь имеет смысл.

Существующий принятый ответ MSeifert (https://stackoverflow.com/a/45959000/7433423) не отличает Unions от другие универсальные типы, и во время выполнения трудно определить, является ли аннотация типа Union или каким-либо другим универсальным типом, таким как Mapping, из-за поведения isinstance() и issubclass() на параметризованных типах Union.

Похоже, что универсальные типы будут иметь недокументированный атрибут __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

Вы можете использовать модуль typeguard, который можно установить вместе с pip. Он предоставляет вам функцию check_argument_types или декоратор функций @typechecked. который должен выполнять проверку типов во время выполнения для вас: https://github.com/agronholm/typeguard

from typing import Union
from typeguard import check_argument_types, typechecked

def check_and_do_stuff(a: Union[str, int]) -> None:
    check_argument_types() 
    # do stuff ...

@typechecked
def check_decorator(a: Union[str, int]) -> None:
    # do stuff ...

check_and_do_stuff("hello")
check_and_do_stuff(42)
check_and_do_stuff(3.14)  # raises TypeError

Если вы хотите проверить тип одной переменной по другой причине, вы можете напрямую использовать функцию typeguard check_type:

from typing import Union
from typeguard import check_type

MyType = Union[str, int]

check_type("arg", "string", MyType, None)  # OK
check_type("arg", 42, MyType, None)  # OK
check_type("arg", 3.5, MyType, None)  # raises TypeError

Аргументы "arg" и None в этом примере не используются. Обратите внимание, что функция check_type не задокументирована как общедоступная функция этого модуля, поэтому ее API может быть изменен.

Я предполагаю, что Union - это не сам тип, а описание типа.

Но мы можем запросить тип, просто используя type(Union) (также работает в 2.7)

>>> from typing import Union
>>> type(Union)
typing.Union
>>> x = Union[int, str]
>>> isinstance(x, type(Union))
True