get_type_hints 泛型

Question

假设下面的class定义，

import typing
from dataclasses import dataclass

T1 = typing.TypeVar('T1')
T2 = typing.TypeVar('T2')

@dataclass
class Test(Generic[T1, T2]):
  some_property: T2
  some_other_property: T1

我想获得此 class 的特定绑定版本的类型提示，例如

# I would like to get back: {'some_property': str, 'some_other_property': int}
hints = typing.get_type_hints(Test[int,str])

不幸的是，这在 python 3.9 中不起作用，引发类型错误“Test[int,str] 不是模块，class，方法或函数”。现在，我可以做类似

的事情

hints = typing.get_type_hints(typing.get_origin(Test[int,str]))

但是，在那种情况下，some_property 和 some_other_properties 被 return 编辑为 TypeVars，而不是特定的绑定类型（int 和 str）。

手动绑定这些似乎有点烦人； Test[int,str] 是 typing._GenericAlias 类型，它似乎有一个属性 _ _ args _ _ 即 [int, str]。理论上我可以尝试按照它们从 get_type_hints(get_origin()) 开始出现的顺序将它们绑定回类型变量，但我不确定这是否可靠。

是否有 get_type_hints 的等价物 return 完全绑定类型提示？或者任何其他合理的方式来做到这一点？

Answer 1

我升级到 3.9.2 并没有解决我的问题。

typing.get_type_hints() 的功能范围似乎有限制。我认为这种类型构造在其他情况下似乎不是问题，这很奇怪。一些快速测试发现它可以像处理另一种 class 类型的 child 一样处理您的测试类型。

我修改了您的示例以创建一个新函数 my_type_hints() 并且它动态地创建了一个具有提供的类型的临时 class object 因为它只是 child元素.

我相信以下内容可以解决您的问题。我不知道它是否是一个全面的解决方案，但我相信它可能比深入研究 __args__、__origin__ 等

更可靠

from typing import Any, Generic, get_type_hints, TypeVar
from dataclasses import dataclass

T1 = TypeVar('T1')
T2 = TypeVar('T2')

@dataclass
class Test ( Generic[T1,T2] ):
    some_property: T2
    some_other_property: T1

def my_type_hints ( obj: Any ) -> Any:
    class X:
        x: obj
    return get_type_hints ( X )['x']

hints = my_type_hints ( Test[int,str] )
print ( f'{hints=}' )

get_type_hints 泛型

get_type_hints for generic type

python

python-3.9