泛型类型的 get_type_hints

如何解决泛型类型的 get_type_hints

假设下面的类定义，

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

我想得到这个类的特定绑定版本的类型提示，比如

# 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] 不是模块、类、方法或函数”。现在，我可以做类似的事情

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

但是，在这种情况下，some_property 和 some_other_properties 作为 TypeVars 返回，而不是特定的绑定类型（int 和 str）。

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

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

解决方法

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

typing.get_type_hints() 可以做什么的范围似乎有限制。我觉得很奇怪，这种类型的构造在其他情况下似乎不是问题。一些快速测试发现它可以很好地处理您的 Test 类型作为另一个类类型的子类。

我修改了您的示例以创建一个新函数 my_type_hints() 并使用提供的类型动态创建一个临时类对象，因为它只是子元素。

我相信以下内容可以解决您的问题。我不知道这是否是一个全面的解决方案，但我相信它可能比深入研究 __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=}' )