Python用typing.Generic+TypeVar实现类型安全泛型类，仅用于静态检查，不生成代码；需显式声明TypeVar并继承Generic[T]，支持协变/逆变和类型约束，但运行时类型擦除。
Python 没有编译期模板，但可以用 typing.Generic + typing.TypeVar 实现类型安全的泛型类，效果接近 C++ 模板类的“接口契约”部分——不是代码生成，而是类型检查时约束行为。
用 TypeVar 和 Generic 定义泛型类
这是最常用、最直接的替代方式。它不改变运行时行为，但能让 mypy 或 IDE（如 VS Code + Pylance）识别类型参数，并在错误使用时提前报错。
常见错误现象：定义了泛型类却没标注类型变量，导致子类或实例调用时丢失类型信息，mypy 无法检查 append、get 等操作是否类型匹配。
- 必须显式声明
TypeVar，不能直接用字符串或Any -
Generic[T]要写在继承列表里，且必须是第一个（若多继承，Generic应靠前） - 类型变量名建议大写单字母（如
T,K,V），避免与实际变量混淆
from typing import Generic, TypeVar
T = TypeVar('T')
class Stack(Generic[T]):
def __init__(self) -> None:
self._items: list[T] = []
def push(self, item: T) -> None:
self._items.append(item)
def pop(self) -> T:
return self._items.pop()
这样定义后，Stack[int]() 和 Stack[str]() 在类型检查中会被视为不同类型，push("hello") 到 Stack[int] 会报错。
为什么不能用 __class_getitem__ 手动实现模板实例化？
有人尝试重载 __class_getitem__ 来模拟 C++ 模板特化（比如返回新类），但这是危险且不推荐的——它绕过了类型检查器，破坏 mypy 的推理能力，且容易引发元类冲突或 pickle 失败。
让 macOS 自动化像说话一样简单 —— 用代码控制你的 Mac，无需学习 AppleScript 系统要求 macOS 14+ (Sonoma) Python 3.9+ 需要开启：辅助功能 + 屏幕录制权限
使用场景：仅在极少数需要运行时动态构造类（如 ORM 映射类生成）时才考虑，但那已不属于“模板类语义”，而是元编程。
-
__class_getitem__返回的是实例，不是类型；mypy不会把它当作Generic类处理 - IDE 无法跳转到泛型方法定义，补全失效
- 类型别名（如
IntStack = Stack[int]）会失效，因为没走标准泛型路径
TypeVar 的约束和协变性要按需开启
默认 TypeVar('T') 是不变的（invariant），即 Stack[Animal] 和 Stack[Dog] 互不兼容——这符合大多数容器的安全要求。但如果你明确需要子类兼容（比如只读序列），就得用 covariant=True。
常见错误现象：把 List[Cat] 传给期望 List[Animal] 的函数，却没报错（或相反地误报错），本质是没设对方差。
- 只读容器（如
Sequence）适合协变：TypeVar('T', covariant=True) - 可写容器（如
list、自定义Stack）应保持默认不变，否则类型不安全 - 若需限制类型范围（如只能是数字），用
TypeVar('N', int, float)或bound=Number
真正容易被忽略的是：泛型类的类型参数在运行时完全擦除，isinstance(obj, Stack[int]) 永远为 False——Python 的泛型只服务于静态检查，不是运行时机制。如果业务逻辑依赖运行时类型分发（比如根据泛型参数选不同算法），得另加字段或协议（Protocol）配合 isinstance 判断。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
