Python泛型类是否有类型提示？动态生成类的类型标注方案

一、动态创建类返回module的类型提示优化 #

不用Any的话，可以通过**协议（Protocol）**结合类型变量（TypeVar）来定义更具体的类型约束，让类型检查工具识别返回模块的结构：

1. 定义模块结构的协议 #

如果动态生成的模块包含固定名称和结构的类，先写一个协议描述该类的必要接口，再定义模块的协议：

from typing import Protocol, TypeVar

# 定义动态生成类的协议
class GeneratedClassProtocol(Protocol):
    def core_method(self) -> str:
        ...  # 描述类必须有的方法/属性

T = TypeVar('T', bound=GeneratedClassProtocol)

# 定义返回模块的协议
class GeneratedModuleProtocol(Protocol):
    DynamicClass: type[T]  # 模块中固定存在的类

# 给动态创建类的方法添加类型注解
def create_dynamic_class() -> GeneratedModuleProtocol:
    # 原遗留代码的动态创建逻辑
    ...

这样调用方使用返回的模块时，类型检查器能识别DynamicClass的类型，而非宽泛的Any。

2. 基于基类的约束 #

如果动态生成的类都继承自某个已知基类，直接用Type[BaseClass]约束模块中的类：

from typing import ModuleType, Type

class BaseDynamic:
    def base_func(self) -> None:
        ...

def create_dynamic_class() -> ModuleType:
    # 生成的类继承自BaseDynamic
    ...

# 使用时断言类型（或在协议中指定）
module = create_dynamic_class()
dynamic_cls: Type[BaseDynamic] = module.DynamicClass

3. 直接返回类而非模块（若允许调整） #

如果原方法的逻辑允许修改，可让函数直接返回生成的类，而非包裹它的模块，这样类型提示更直观：

from typing import Type, TypeVar

T = TypeVar('T', bound=BaseDynamic)

def create_dynamic_class() -> Type[T]:
    # 动态创建类并直接返回
    ...

二、Python泛型类的类型提示支持 #

Python完全支持泛型类的类型提示，主流类型检查工具（mypy、pyright）都能很好地识别。

1. 基础泛型类定义 #

用typing.Generic和类型变量（TypeVar）实现：

from typing import Generic, TypeVar

T = TypeVar('T')

class Storage(Generic[T]):
    def __init__(self, data: T) -> None:
        self.data = data

    def get(self) -> T:
        return self.data

2. 泛型类的使用 #

可以显式指定类型参数，也能让类型检查器自动推断：

# 显式指定类型
str_storage: Storage[str] = Storage("test")
# 自动推断类型
num_storage = Storage(42)  # 类型为Storage[int]

3. 带约束的泛型 #

用TypeVar的bound参数限定类型参数的范围：

from typing import TypeVar, Generic

U = TypeVar('U', bound=BaseDynamic)

class DynamicStorage(Generic[U]):
    def __init__(self, instance: U) -> None:
        self.instance = instance

    def call_base_func(self) -> None:
        self.instance.base_func()

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