泛型类中Pydantic泛型构造函数未正确识别泛型参数的问题

你遇到的这个问题我之前也踩过类似的坑！核心原因是Python泛型系统和Pydantic的类型解析逻辑没能很好衔接——当你用GetValue[int]调用get_value时，Pydantic根本没拿到T对应的具体int类型，自然不会帮你做字符串转整数的转换。

咱们拆解下背后的逻辑：

• 对于非泛型的GetInt或者直接调用TestModel[int](a=x)，Pydantic明确知道a字段的类型是int，所以会自动执行类型转换；
• 但在泛型类GetValue的类方法里，TestModel[T]中的T只是一个TypeVar占位符，Python不会自动把GetValue[int]里的int绑定到这个T上给Pydantic用，Pydantic只能把a当成Any处理，所以传入的字符串"1"就原封不动保留了。

要解决这个问题，关键是让Pydantic在运行时能获取到GetValue[int]里的具体类型参数int，这里可以利用Python泛型类的__orig_class__属性，它会保存带有具体类型参数的原始泛型类信息。修改后的代码如下：

from typing import Any, Generic, TypeVar, get_args

from pydantic import BaseModel

X = TypeVar("X")


class TestModel(BaseModel, Generic[X]):
    a: X


T = TypeVar("T")


class GetValue(Generic[T]):

    @classmethod
    def get_value(cls, x: Any) -> TestModel[T]:
        # 从泛型类实例中提取具体的类型参数
        concrete_type = get_args(cls.__orig_class__)[0]
        return TestModel[concrete_type](a=x)


class GetInt:
    @classmethod
    def get_value(cls, x: Any) -> TestModel[int]:
        return TestModel[int](a=x)


# 现在这些断言都会通过
res = GetValue[int].get_value("1")
assert type(res.a) == int

res_2 = GetInt.get_value("1")
assert type(res_2.a) == int

assert res.a == res_2.a  # 现在两个值相等了

x: Any = "1"
res_3 = TestModel[int](a=x)
assert type(res_3.a) == int

简单解释下这段修改：

• cls.__orig_class__是Python 3.9+为泛型类添加的特殊属性，当你创建GetValue[int]这样的具体泛型类时，它会存储GetValue[int]这个完整的泛型类型；
• get_args函数则从这个完整类型中提取出我们传入的具体参数int；
• 最后用这个具体的int来实例化TestModel，Pydantic就能正确识别类型并执行转换了。

刚好你的Python版本是3.12.5，完全支持这个特性。

备注：内容来源于stack exchange，提问作者Beaudry Chase