泛型类generic必须配合typevar使用才有意义，单独继承无效；typevar定义类型参数后传给generic作为基类，方法签名需显式标注t，python 3.12对泛型解析更严格，需注意__class_getitem__兼容性。
泛型类 Generic 必须配合 typing.TypeVar 才能生效
单独继承 Generic 没有意义，Python 不会做类型检查，也不会约束子类行为。真正起作用的是用 TypeVar 定义类型参数，再传给 Generic 做基类。
-
TypeVar定义的变量（如T = TypeVar('T')）才是类型占位符，Generic[T]只是告诉类型检查器“这个类要承载一个可变类型” - 如果直接写
class Box(Generic):，mypy 会报错Generic requires at least one type argument - 运行时
Generic几乎不产生开销，但类型检查器（如 mypy、pyright）依赖它推导方法签名
Generic 类的实例方法必须显式标注类型参数
泛型类内部定义的方法，如果涉及类型参数，不能靠继承自动推导——必须手动在参数和返回值上标注，否则类型检查器无法关联上下文。
Python 3.14.2
下载
Python 3.14.2是Python编程语言在2025年12月5日发布的稳定版本，属于3.14系列的第二个维护更新。该版本包含了18项修复，重点解决了多进程、数据类及正则表达式等模块的回归问题，并修复了CVE-2025-12084等安全漏洞。此版本标志着自由线程模式（移除GIL）正式获得官方支持，是Python发展的重要里程碑。
- 错误写法：
def get(self) -> T:—— 这里T未声明作用域，会报NameError或 mypy 报Invalid type "T" - 正确写法：在类定义中把
T作为类型参数传入，并在方法签名中重复使用：def get(self) -> T:（前提是类已声明为class Box(Generic[T]):） - 若方法不涉及泛型逻辑（比如只操作字符串），可不标注，但此时该方法对所有实例都一样，失去泛型意义
Python 3.12 中 Generic 与 __class_getitem__ 的兼容性要注意
3.12 引入了更严格的泛型解析规则，尤其当类同时实现 __class_getitem__ 时，可能覆盖默认泛型行为。
- 如果你自定义了
__class_getitem__（例如为了支持Box[int]返回新类或实例），必须确保它返回符合Generic协议的对象，否则 mypy 会丢失类型信息 - 推荐做法：优先用标准方式（继承
Generic[T]+ 类型注解），避免重载__class_getitem__；真需要定制，应返回types.GenericAlias或继承typing.GenericAlias - 常见坑：
Box[int]在运行时是Box的别名，不是新类；但若你误在__class_getitem__中返回普通类，IDE 就无法跳转到正确的泛型定义
泛型类不能直接实例化，但类型检查器允许 Generic 本身作为类型提示
写 box: Generic 是无效的，但 box: Generic[T] 同样不行——Generic 是抽象基类，必须带具体类型参数才能用于注解。
- 合法注解：
box: Box[str]、boxes: list[Box[int]] - 非法注解：
box: Generic（mypy 报Missing type parameters for generic type）、box: Generic[T]（T未在作用域中定义） - 函数参数中想接受任意泛型实例？用
typing.Any或协议（Protocol）替代，不要试图用裸Generic
TypeVar ——少一处，类型检查就断链。而且 Python 3.12 对泛型嵌套和协变/逆变的校验更严格，Generic 看似简单，但每个 [T] 都得对得上。Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
