Generic是Python中用于声明泛型类的基类，TypeVar是定义类型变量的占位符而非具体类型；二者必须配合使用，仅在静态检查（如mypy）和IDE提示中生效，运行时被擦除，不提供强制类型约束。
Generic 是什么，TypeVar 又不是类型
Python 的 Generic 和 TypeVar 不是用来运行时做类型检查的，它们只在静态类型检查（比如 mypy）或 IDE 提示中起作用。写错不会报错，但会失去类型安全提示，甚至让类型推导失效。
关键点：你得先理解 TypeVar 是一个“占位符”，不是具体类型；Generic 是告诉类型检查器“这个类支持泛型参数”。两者必须配合使用，缺一不可。
-
TypeVar('T')创建一个类型变量，可加约束（如bound=str）或协变标记（covariant=True），但多数场景默认即可 - 类继承
Generic[T]后，类名后才能跟方括号，如Stack[int] - 类内部所有用到
T的地方（参数、返回值、属性）都必须显式标注，否则类型检查器会忽略它
写一个带泛型的 Stack 类
这是最典型的入门例子，但容易漏掉几个关键细节：
from typing import Generic, TypeVar, List
<p>T = TypeVar('T')</p><p><span>立即学习</span>“<a href="https://pan.quark.cn/s/00968c3c2c15" style="text-decoration: underline !important; color: blue; font-weight: bolder;" rel="nofollow" target="_blank">Python免费学习笔记（深入）</a>”；</p><p>class Stack(Generic[T]):
def <strong>init</strong>(self) -> None:
self._items: List[T] = [] # 必须标注 _items 类型为 List[T]，不能只写 List</p><pre class="brush:php;toolbar:false;">def push(self, item: T) -> None: # 参数必须是 T，不是任意类型
self._items.append(item)
def pop(self) -> T: # 返回值必须声明为 T
return self._items.pop()
def peek(self) -> T | None: # Python 3.10+ 写法；3.9 用 Union[T, None]
return self._items[-1] if self._items else None
常见错误：
python-script-generator
下载
快速生成专业的 Python 脚本和应用代码。一键创建完整项目结构，支持CLI、API、爬虫、Bot、Django等多种项目类型，包含完整的项目结构、配置文件、依赖管理、测试、README和文档。
- 忘记给
self._items加类型注解 → mypy 会认为它是List[Any]，后续pop()返回Any，泛型失效 - 在
push中写item: object或不标注 → 类型检查器无法绑定T，调用Stack[int].push('hello')也不会报错 - 用
list替代List[T]→list是运行时类型，不参与泛型推导
多个类型变量怎么处理
需要多个独立泛型参数时，别用 TypeVar('T', 'U') —— 那是定义联合类型，不是两个变量。正确做法是分别定义：
from typing import Generic, TypeVar
<p>K = TypeVar('K')
V = TypeVar('V')</p><p>class KeyValueStore(Generic[K, V]):
def <strong>init</strong>(self) -> None:
self._data: dict[K, V] = {}</p><pre class="brush:php;toolbar:false;">def set(self, key: K, value: V) -> None:
self._data[key] = value
def get(self, key: K) -> V | None:
return self._data.get(key)
注意点：
- 继承写
Generic[K, V]，顺序和使用位置要一致；KVStore[str, int]表示 key 是 str、value 是 int -
dict[K, V]是必需的；写dict或Dict（旧式）会导致类型丢失 - 如果 K 和 V 有逻辑关联（比如只允许
str→int或bytes→float），应改用Protocol或运行时校验，TypeVar本身不支持条件约束
为什么继承 Generic 后 __init__ 里不能用 T 做默认值
因为 T 在运行时是 ~T（一个占位符对象），不是真实类型，所以不能用于实例化或比较：
# ❌ 错误：T 是类型变量，不是值 def __init__(self, default: T = T()) -> None: # TypeError: cannot instantiate TypeVar <h1>✅ 正确：用 None + 类型注解，或提供具体类型默认值（此时已脱离泛型）</h1><p>def <strong>init</strong>(self, default: T | None = None) -> None: self.default = default
更隐蔽的问题：
- 泛型类不能被
isinstance检查 ——isinstance(s, Stack[int])总是 False，因为Stack[int]是类型构造结果，不是真实类 - 如果你需要运行时识别类型（比如序列化），得额外存一个
type_arg: type字段，或用get_args(get_origin(cls))解析，但非常脆弱 - 泛型类的子类如果也想泛型，必须显式继承
Generic[...]并重传类型变量，不能靠父类自动传递
真正难的从来不是写出来，而是想清楚哪些逻辑必须靠运行时判断，哪些可以交给类型系统 —— 而这两者在 Python 里边界模糊，很容易一开始全塞进泛型，后来发现某处必须硬编码类型分支。
