Python 3 类型，自定义可变参数泛型类型，具有任意数量的包含类型，怎么样？

Question

该类typing.Tuple可以与任意数量的类型参数一起使用，例如Tuple[int, str, MyClass]或Tuple[str, float]。我如何实现我自己的可以像这样使用的类？我了解如何继承typing.Generic. 下面的代码演示了这一点。

from typing import TypeVar, Generic


T = TypeVar("T")


class Thing(Generic[T]):
    def __init__(self, value: T):
        self.value = value


def f(thing: Thing[int]):
    print(thing.value)


if __name__ == '__main__':
    t = Thing("WTF")
    f(t)

t上面的代码可以工作，但是类型检查器（在我的例子中是 PyCharm）会捕获应该是类型Thing[int]而不是 的事实Thing[str]。这一切都很好，但是如何让该类Thing支持任意数量的类型参数，就像Tuple那样？

Answer 1

• 在您的示例中，t是 类型Thing，而不是Thing[str]。所以这个对象接受任何 的东西T。
• 您可以像这样对其进行参数化：t2 = Thing[str]("WTF")
• 现在，对于你的问题，我认为你想使用打字。联盟像这样：t3=Thing[Union[str,int,float]]("WTF")

顺便说一下，您可以通过使用typing_inspect中的get_generic_type()来检查泛型的类型

>>> get_generic_type(t)
__main__.Thing
>>> get_generic_type(t2)
__main__.Thing[str]
>>> get_generic_type(t3)
__main__.Thing[typing.Union[str, int, float]]