Python泛型类特化：如何让复合类型CT感知派生类类型？

问题原因分析 #

你遇到的核心问题是错误地用TypeVar定义复合类型，导致派生类继承时无法自动替换泛型参数。正确的复合类型应该用**泛型别名（Generic Alias）**来定义，而非TypeVar。TypeVar的作用是声明可被替换的类型变量，不是用来封装复合结构的。

正确实现方案 #

方案1：使用泛型别名定义复合类型

将复合类型CT直接定义为带类型变量的泛型结构，这样派生类指定基类的泛型参数后，类型注解会自动推导为具体类型。

import typing as ty

# 声明类型变量T
T = ty.TypeVar('T')
# 定义复合类型CT为泛型别名：dict[str, T]
CT = ty.Dict[str, T]

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

class DerivedMyClass(MyClass[float]):
    pass

# 获取类型提示
print(ty.get_type_hints(DerivedMyClass.__init__))
# 输出: {'data': typing.Dict[str, float], 'return': None}

方案2：派生类显式覆写类型注解

如果需要保留基类的泛型设计，也可以在派生类中显式覆写__init__方法的类型注解，直接指定具体的复合类型：

import typing as ty

T = ty.TypeVar('T')
CT = ty.Dict[str, T]

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

class DerivedMyClass(MyClass[float]):
    def __init__(self, data: ty.Dict[str, float]) -> None:
        super().__init__(data)

print(ty.get_type_hints(DerivedMyClass.__init__))
# 输出: {'data': typing.Dict[str, float], 'return': None}

关键说明 #

• 不要用TypeVar定义复合类型：CT = ty.TypeVar('CT', bound=dict[str, T])这种写法是错误的，TypeVar是用来声明类型占位符，不是用来封装现有类型结构的。
• 泛型别名会自动推导：当基类MyClass[T]被实例化为MyClass[float]时，泛型别名CT[T]会被自动替换为CT[float]，ty.get_type_hints能正确解析这个替换后的类型。

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