Python泛型类型提示：实例化需重复指定类型？如何校验一致性？

是否必须重复指定目标类型？ #

不是必须的，你可以通过优化工厂方法的写法，实现只传一次目标类型同时保留泛型类型提示。

比如把create_instance改成带参数的静态方法，让类型检查器自动推导泛型参数：

from typing import Dict, Generic, List, Type, TypeVar

T = TypeVar("T")

class DictsToObjectsParser(Generic[T]):
    def __init__(self, object_type: Type[T]):
        self.object_type = object_type

    def try_to_parse_dicts_to_objects(self, list_dict: List[Dict]) -> List[T]:
        return [self.object_type(**d) for d in list_dict]

    @staticmethod
    def create_instance(object_type: Type[T]) -> "DictsToObjectsParser[T]":
        return DictsToObjectsParser[T](object_type)

调用时只需要传入一次类型即可：

parser = DictsToObjectsParser.create_instance(MyClass)

类型检查器会自动根据传入的object_type推导泛型参数T，无需手动写DictsToObjectsParser[MyClass]。

如果你的Python版本≥3.11，还可以用PEP 695的新泛型语法进一步简化，写法更直观：

from typing import Dict, List, Type, TypeVar

type T = TypeVar('T')

class DictsToObjectsParser[T]:
    def __init__(self, object_type: Type[T]):
        self.object_type = object_type

    def try_to_parse_dicts_to_objects(self, list_dict: List[Dict]) -> List[T]:
        return [self.object_type(**d) for d in list_dict]

    @staticmethod
    def create_instance(object_type: Type[T]) -> DictsToObjectsParser[T]:
        return DictsToObjectsParser[T](object_type)

如何在构造函数中校验泛型参数T与object_type的一致性？ #

Python运行时会擦除泛型类型信息，但可以通过typing.get_args和typing.get_origin获取类实例的泛型参数，进而做运行时校验。

修改构造函数如下：

from typing import Dict, Generic, List, Type, TypeVar, get_args, get_origin

T = TypeVar("T")

class DictsToObjectsParser(Generic[T]):
    def __init__(self, object_type: Type[T]):
        self.object_type = object_type
        # 运行时校验泛型参数与传入类型是否匹配
        origin_class = get_origin(self.__class__) or self.__class__
        generic_type_args = get_args(self.__class__)
        
        if generic_type_args:
            declared_type = generic_type_args[0]
            # 若泛型参数使用了约束（如bound），需根据场景调整判断逻辑
            if declared_type is not object_type:
                raise TypeError(f"泛型参数T({declared_type})与传入的object_type({object_type})不一致")

    def try_to_parse_dicts_to_objects(self, list_dict: List[Dict]) -> List[T]:
        return [self.object_type(**d) for d in list_dict]

    @staticmethod
    def create_instance(object_type: Type[T]) -> "DictsToObjectsParser[T]":
        return DictsToObjectsParser[T](object_type)

注意：静态类型检查阶段，类型检查器已经会确保object_type符合Type[T]的约束，运行时校验主要是防止手动创建实例时的错误。如果泛型参数使用了类型约束（比如T = TypeVar("T", bound=BaseModel)），需要根据实际场景调整校验逻辑。

内容的提问来源于stack exchange，提问作者Milo Minderbinder